|
|
|
Advances in Computer Games [electronic resource] : 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers / edited by Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer.
by Hartisch, Michael [editor.] | Hsueh, Chu-Hsuan [editor.] | Schaeffer, Jonathan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings / edited by Ryuhei Uehara, Katsuhisa Yamanaka, Hsu-Chun Yen.
by Uehara, Ryuhei [editor.] | Yamanaka, Katsuhisa [editor.] | Yen, Hsu-Chun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings / edited by Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen.
by Kaliszyk, Cezary [editor.] | Brady, Edwin [editor.] | Kohlhase, Andrea [editor.] | Sacerdoti Coen, Claudio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Structures of Computing [electronic resource] : A Guide to Practice-Oriented Theory / by Egon Börger, Vincenzo Gervasi.
by Börger, Egon [author.] | Gervasi, Vincenzo [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science - ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part V / edited by João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot.
by Rodrigues, João M. F [editor.] | Cardoso, Pedro J. S [editor.] | Monteiro, Jânio [editor.] | Lam, Roberto [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
LATIN 2024: Theoretical Informatics [electronic resource] : 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II / edited by José A. Soto, Andreas Wiese.
by Soto, José A [editor.] | Wiese, Andreas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
LATIN 2024: Theoretical Informatics [electronic resource] : 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I / edited by José A. Soto, Andreas Wiese.
by Soto, José A [editor.] | Wiese, Andreas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Human and Artificial Rationalities [electronic resource] : Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings / edited by Jean Baratgin, Baptiste Jacquet, Hiroshi Yama.
by Baratgin, Jean [editor.] | Jacquet, Baptiste [editor.] | Yama, Hiroshi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence. IJCAI 2019 International Workshops [electronic resource] : Macao, China, August 10-12, 2019, Revised Selected Best Papers / edited by Amal El Fallah Seghrouchni, David Sarne.
by El Fallah Seghrouchni, Amal [editor.] | Sarne, David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings / edited by Farhad Arbab, Sung-Shik Jongmans.
by Arbab, Farhad [editor.] | Jongmans, Sung-Shik [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Search-Based Software Engineering [electronic resource] : 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings / edited by Mike Papadakis, Silvia Regina Vergilio.
by Papadakis, Mike [editor.] | Vergilio, Silvia Regina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers / edited by Ana Paula Rocha, Luc Steels, Jaap van den Herik.
by Rocha, Ana Paula [editor.] | Steels, Luc [editor.] | van den Herik, Jaap [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
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). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
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 I / 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). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger.
by Stoelinga, Mariëlle [editor.] | Pinger, Ralf [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Taming the Infinities of Concurrency [electronic resource] : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday / edited by Stefan Kiefer, Jan Křetínský, Antonín Kučera.
by Kiefer, Stefan [editor.] | Křetínský, Jan [editor.] | Kučera, Antonín [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012, Proceedings / edited by Mario Giacobini, Leonardo Vanneschi, William S. Bush.
by Giacobini, Mario [editor.] | Vanneschi, Leonardo [editor.] | Bush, William S [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
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 Smith, Stephen [editor.] | Correia, João [editor.] | Cintrano, Christian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Groupware: Design, Implementation, and Use [electronic resource] : 12th International Workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006, Proceedings / edited by Yannis A. Dimitriadis, Ilze Zigurs, Eduardo Gómez-Sánchez.
by Dimitriadis, Yannis A [editor.] | Zigurs, Ilze [editor.] | Gómez-Sánchez, Eduardo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
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 Smith, Stephen [editor.] | Correia, João [editor.] | Cintrano, Christian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
