Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Search-Based Software Engineering [electronic resource] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings / edited by Paolo Arcaini, Tao Yue, Erik M. Fredericks. by Series: Lecture Notes in Computer Science ; 14415
Edition: 1st ed. 2024.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
Computing and Combinatorics [electronic resource] : 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part I / edited by Weili Wu, Guangmo Tong. by Series: Lecture Notes in Computer Science ; 14422
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Computing and Combinatorics [electronic resource] : 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part II / edited by Weili Wu, Guangmo Tong. by Series: Lecture Notes in Computer Science ; 14423
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part I / edited by Weili Wu, Jianxiong Guo. by Series: Lecture Notes in Computer Science ; 14461
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part II / edited by Weili Wu, Jianxiong Guo. by Series: Lecture Notes in Computer Science ; 14462
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Advances in Optimization and Applications [electronic resource] : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18–22, 2023, Revised Selected Papers / edited by Nicholas Olenev, Yuri Evtushenko, Milojica Jaćimović, Michael Khachay, Vlasta Malkova. by Series: Communications in Computer and Information Science ; 1913
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings / edited by Holger Hermanns, Jun Sun, Lei Bu. by Series: Lecture Notes in Computer Science ; 14464
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part IV / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann. by Series: Lecture Notes in Computer Science ; 14498
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28–September 1, 2023, Proceedings, Part II / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann. by Series: Lecture Notes in Computer Science ; 14496
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff. by Series: Lecture Notes in Computer Science ; 14500
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff. by Series: Lecture Notes in Computer Science ; 14499
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part I / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann. by Series: Lecture Notes in Computer Science ; 14495
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Advances in Computational Intelligence. MICAI 2023 International Workshops [electronic resource] : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings / edited by Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce, Ramón Zatarain Cabada, Martín Montes Rivera, Efrén Mezura-Montes. by Series: Lecture Notes in Artificial Intelligence ; 14502
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part III / edited by Bin Sheng, Lei Bi, Jinman Kim, Nadia Magnenat-Thalmann, Daniel Thalmann. by Series: Lecture Notes in Computer Science ; 14497
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
Explainable Artificial Intelligence and Process Mining Applications for Healthcare [electronic resource] : Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings / edited by Jose M. Juarez, Carlos Fernandez-Llatas, Concha Bielza, Owen Johnson, Primoz Kocbek, Pedro Larrañaga, Niels Martin, Jorge Munoz-Gama, Gregor Štiglic, Marcos Sepulveda, Alfredo Vellido. by
- Juarez, Jose M [editor.]
- Fernandez-Llatas, Carlos [editor.]
- Bielza, Concha [editor.]
- Johnson, Owen [editor.]
- Kocbek, Primoz [editor.]
- Larrañaga, Pedro [editor.]
- Martin, Niels [editor.]
- Munoz-Gama, Jorge [editor.]
- Štiglic, Gregor [editor.]
- Sepulveda, Marcos [editor.]
- Vellido, Alfredo [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 2020
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part I / edited by Stephen Smith, João Correia, Christian Cintrano. by Series: Lecture Notes in Computer Science ; 14634
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Artificial Intelligence. ECAI 2023 International Workshops [electronic resource] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II / edited by Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova. by
- Nowaczyk, Sławomir [editor.]
- Biecek, Przemysław [editor.]
- Chung, Neo Christopher [editor.]
- Vallati, Mauro [editor.]
- Skruch, Paweł [editor.]
- Jaworek-Korjakowska, Joanna [editor.]
- Parkinson, Simon [editor.]
- Nikitas, Alexandros [editor.]
- Atzmüller, Martin [editor.]
- Kliegr, Tomáš [editor.]
- Schmid, Ute [editor.]
- Bobek, Szymon [editor.]
- Lavrac, Nada [editor.]
- Peeters, Marieke [editor.]
- van Dierendonck, Roland [editor.]
- Robben, Saskia [editor.]
- Mercier-Laurent, Eunika [editor.]
- Kayakutlu, Gülgün [editor.]
- Owoc, Mieczyslaw Lech [editor.]
- Mason, Karl [editor.]
- Wahid, Abdul [editor.]
- Bruno, Pierangela [editor.]
- Calimeri, Francesco [editor.]
- Cauteruccio, Francesco [editor.]
- Terracina, Giorgio [editor.]
- Wolter, Diedrich [editor.]
- Leidner, Jochen L [editor.]
- Kohlhase, Michael [editor.]
- Dimitrova, Vania [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 1948
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part II / edited by Stephen Smith, João Correia, Christian Cintrano. by Series: Lecture Notes in Computer Science ; 14635
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Progress in Cryptology – INDOCRYPT 2023 [electronic resource] : 24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part II / edited by Anupam Chattopadhyay, Shivam Bhasin, Stjepan Picek, Chester Rebeiro. by Series: Lecture Notes in Computer Science ; 14460
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Artificial Intelligence in Music, Sound, Art and Design [electronic resource] : 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings / edited by Colin Johnson, Sérgio M. Rebelo, Iria Santos. by Series: Lecture Notes in Computer Science ; 14633
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bio-Inspired Computing: Theories and Applications [electronic resource] : 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I / edited by Linqiang Pan, Yong Wang, Jianqing Lin. by Series: Communications in Computer and Information Science ; 2061
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Bio-Inspired Computing: Theories and Applications [electronic resource] : 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part II / edited by Linqiang Pan, Yong Wang, Jianqing Lin. by Series: Communications in Computer and Information Science ; 2062
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Modelling and Mining Networks [electronic resource] : 19th International Workshop, WAW 2024, Warsaw, Poland, June 3–6, 2024, Proceedings / edited by Megan Dewar, Bogumił Kamiński, Daniel Kaszyński, Łukasz Kraiński, Paweł Prałat, François Théberge, Małgorzata Wrzosek. by Series: Lecture Notes in Computer Science ; 14671
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Brain Inspired Cognitive Systems [electronic resource] : 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings / edited by Jinchang Ren, Amir Hussain, Iman Yi Liao, Rongjun Chen, Kaizhu Huang, Huimin Zhao, Xiaoyong Liu, Ping Ma, Thomas Maul. by Series: Lecture Notes in Artificial Intelligence ; 14374
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part II / edited by Bistra Dilkina. by Series: Lecture Notes in Computer Science ; 14743
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
NASA Formal Methods [electronic resource] : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings / edited by Nathaniel Benz, Divya Gopinath, Nija Shi. by Series: Lecture Notes in Computer Science ; 14627
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
