|
|
|
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 Dimitrova, Rayna [editor.] | Lahav, Ori [editor.] | Wolff, Sebastian [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
|
|
|
|
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 Dimitrova, Rayna [editor.] | Lahav, Ori [editor.] | Wolff, Sebastian [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
|
|
|
|
Performance Evaluation Methodologies and Tools [electronic resource] : 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6-7, 2023, Proceedings / edited by Evangelia Kalyvianaki, Marco Paolieri.
by Kalyvianaki, Evangelia [editor.] | Paolieri, Marco [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
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020, 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. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Distributed Computing and Intelligent Technology [electronic resource] : 20th International Conference, ICDCIT 2024, Bhubaneswar, India, January 17-20, 2024, Proceedings / edited by Stéphane Devismes, Partha Sarathi Mandal, V. Vijaya Saradhi, Bhanu Prasad, Anisur Rahaman Molla, Gokarna Sharma.
by Devismes, Stéphane [editor.] | Mandal, Partha Sarathi [editor.] | Saradhi, V. Vijaya [editor.] | Prasad, Bhanu [editor.] | Molla, Anisur Rahaman [editor.] | Sharma, Gokarna [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
|
|
|
|
Cognitive Computing and Cyber Physical Systems [electronic resource] : 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part II / edited by Prakash Pareek, Nishu Gupta, M. J. C. S. Reis.
by Pareek, Prakash [editor.] | Gupta, Nishu [editor.] | Reis, M. J. C. S [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
|
|
|
|
Cognitive Computing and Cyber Physical Systems [electronic resource] : 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part I / edited by Prakash Pareek, Nishu Gupta, M. J. C. S. Reis.
by Pareek, Prakash [editor.] | Gupta, Nishu [editor.] | Reis, M. J. C. S [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
|
|
|
|
Transactions on Computational Science XXXIX [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan.
by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Tools for Design, Implementation and Verification of Emerging Information Technologies [electronic resource] : 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings / edited by Jianghua Liu, Lei Xu, Xinyi Huang.
by Liu, Jianghua [editor.] | Xu, Lei [editor.] | Huang, Xinyi [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
|
|
|
|
Love and Sex with Robots [electronic resource] : Second International Conference, LSR 2016, London, UK, December 19-20, 2016, Revised Selected Papers / edited by Adrian David Cheok, Kate Devlin, David Levy.
by Cheok, Adrian David [editor.] | Devlin, Kate [editor.] | Levy, David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Interactive Storytelling [electronic resource] : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008, Proceedings / edited by Ulrike Spierling, Nicolas Szilas.
by Spierling, Ulrike [editor.] | Szilas, Nicolas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov.
by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Mobile, Secure, and Programmable Networking [electronic resource] : 9th International Conference, MSPN 2023, Paris, France, October 26-27, 2023, Revised Selected Papers / edited by Samia Bouzefrane, Soumya Banerjee, Fabrice Mourlin, Selma Boumerdassi, Éric Renault.
by Bouzefrane, Samia [editor.] | Banerjee, Soumya [editor.] | Mourlin, Fabrice [editor.] | Boumerdassi, Selma [editor.] | Renault, Éric [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
|
|
|
|
New Trends in Image Analysis and Processing - ICIAP 2019 [electronic resource] : ICIAP International Workshops, BioFor, PatReCH, e-BADLE, DeepRetail, and Industrial Session, Trento, Italy, September 9-10, 2019, Revised Selected Papers / edited by Marco Cristani, Andrea Prati, Oswald Lanz, Stefano Messelodi, Nicu Sebe.
by Cristani, Marco [editor.] | Prati, Andrea [editor.] | Lanz, Oswald [editor.] | Messelodi, Stefano [editor.] | Sebe, Nicu [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
|
|
|
|
Mathematical Software - ICMS 2020 [electronic resource] : 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings / edited by Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff.
by Bigatti, Anna Maria [editor.] | Carette, Jacques [editor.] | Davenport, James H [editor.] | Joswig, Michael [editor.] | de Wolff, Timo [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
|
|
|
|
Innovations and Interdisciplinary Solutions for Underserved Areas [electronic resource] : 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings / edited by Amar Seeam, Visham Ramsurrun, Suraj Juddoo, Amreesh Phokeer.
by Seeam, Amar [editor.] | Ramsurrun, Visham [editor.] | Juddoo, Suraj [editor.] | Phokeer, Amreesh [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
|
|
|
|
PRIMA 2022: Principles and Practice of Multi-Agent Systems [electronic resource] : 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings / edited by Reyhan Aydoğan, Natalia Criado, Jérôme Lang, Victor Sanchez-Anguix, Marc Serramia.
by Aydoğan, Reyhan [editor.] | Criado, Natalia [editor.] | Lang, Jérôme [editor.] | Sanchez-Anguix, Victor [editor.] | Serramia, Marc [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Security and Privacy in Cyber-Physical Systems and Smart Vehicles [electronic resource] : First EAI International Conference, SmartSP 2023, Chicago, USA, October 12-13, 2023, Proceedings / edited by Yu Chen, Chung-Wei Lin, Bo Chen, Qi Zhu.
by Chen, Yu [editor.] | Lin, Chung-Wei [editor.] | Chen, Bo [editor.] | Zhu, Qi [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
|
|
|
|
Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings / edited by Vladimír Mařík, Wolfgang Wahlster, Thomas Strasser, Petr Kadera.
by Mařík, Vladimír [editor.] | Wahlster, Wolfgang [editor.] | Strasser, Thomas [editor.] | Kadera, Petr [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Distributed Ledger Technology [electronic resource] : 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers / edited by Naipeng Dong, Babu Pillai, Guangdong Bai, Mark Utting.
by Dong, Naipeng [editor.] | Pillai, Babu [editor.] | Bai, Guangdong [editor.] | Utting, Mark [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
|
