|
|
|
Networked Systems [electronic resource] : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings / edited by Chryssis Georgiou, Rupak Majumdar.
by Georgiou, Chryssis [editor.] | Majumdar, Rupak [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
|
|
|
|
Static Analysis [electronic resource] : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings / edited by David Pichardie, Mihaela Sighireanu.
by Pichardie, David [editor.] | Sighireanu, Mihaela [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
|
|
|
|
Model Checking Software [electronic resource] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / edited by Alfons Laarman, Ana Sokolova.
by Laarman, Alfons [editor.] | Sokolova, Ana [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
|
|
|
|
Computer Performance Engineering [electronic resource] : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings / edited by Katja Gilly, Nigel Thomas.
by Gilly, Katja [editor.] | Thomas, Nigel [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2022 [electronic resource] : 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part I / edited by Shweta Agrawal, Dongdai Lin.
by Agrawal, Shweta [editor.] | Lin, Dongdai [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Ubiquitous Networking [electronic resource] : 8th International Symposium, UNet 2022, Montreal, QC, Canada, October 25-27, 2022, Revised Selected Papers / edited by Essaid Sabir, Halima Elbiaze, Francisco Falcone, Wessam Ajib, Mohamed Sadik.
by Sabir, Essaid [editor.] | Elbiaze, Halima [editor.] | Falcone, Francisco [editor.] | Ajib, Wessam [editor.] | Sadik, Mohamed [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
|
|
|
|
Computer Vision - ACCV 2022 Workshops [electronic resource] : 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers / edited by Yinqiang Zheng, Hacer Yalim Keleş, Piotr Koniusz.
by Zheng, Yinqiang [editor.] | Keleş, Hacer Yalim [editor.] | Koniusz, Piotr [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I / edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
by Jeannot, Emmanuel [editor.] | Namyst, Raymond [editor.] | Roman, Jean [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part II / edited by Xianmin Zhang, Honghai Liu, Zhong Chen, Nianfeng Wang.
by Zhang, Xianmin [editor.] | Liu, Honghai [editor.] | Chen, Zhong [editor.] | Wang, Nianfeng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
From Animals to Animats 15 [electronic resource] : 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings / edited by Poramate Manoonpong, Jørgen Christian Larsen, Xiaofeng Xiong, John Hallam, Jochen Triesch.
by Manoonpong, Poramate [editor.] | Larsen, Jørgen Christian [editor.] | Xiong, Xiaofeng [editor.] | Hallam, John [editor.] | Triesch, Jochen [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
|
|
|
|
Advances in Neural Networks - ISNN 2018 [electronic resource] : 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, Proceedings / edited by Tingwen Huang, Jiancheng Lv, Changyin Sun, Alexander V. Tuzikov.
by Huang, Tingwen [editor.] | Lv, Jiancheng [editor.] | Sun, Changyin [editor.] | Tuzikov, Alexander V [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / edited by Dang Van Hung, Oleg Sokolsky.
by Hung, Dang Van [editor.] | Sokolsky, Oleg [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
|
|
|
|
Smart Card Research and Advanced Applications [electronic resource] : 19th International Conference, CARDIS 2020, Virtual Event, November 18-19, 2020, Revised Selected Papers / edited by Pierre-Yvan Liardet, Nele Mentens.
by Liardet, Pierre-Yvan [editor.] | Mentens, Nele [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
|
|
|
|
Mobile, Secure, and Programmable Networking [electronic resource] : 6th International Conference, MSPN 2020, Paris, France, October 28-29, 2020, Revised Selected Papers / edited by Samia Bouzefrane, Maryline Laurent, Selma Boumerdassi, Eric Renault.
by Bouzefrane, Samia [editor.] | Laurent, Maryline [editor.] | Boumerdassi, Selma [editor.] | Renault, Eric [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
|
|
|
|
Computers Helping People with Special Needs [electronic resource] : 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part II / edited by Klaus Miesenberger, Georgios Kouroupetroglou, Katerina Mavrou, Roberto Manduchi, Mario Covarrubias Rodriguez, Petr Penáz.
by Miesenberger, Klaus [editor.] | Kouroupetroglou, Georgios [editor.] | Mavrou, Katerina [editor.] | Manduchi, Roberto [editor.] | Covarrubias Rodriguez, Mario [editor.] | Penáz, Petr [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] : 13th International Conference, ICAART 2021, Virtual Event, February 4-6, 2021, 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. 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
|
|
|
|
AIxIA 2022 - Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings / edited by Agostino Dovier, Angelo Montanari, Andrea Orlandini.
by Dovier, Agostino [editor.] | Montanari, Angelo [editor.] | Orlandini, Andrea [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
|
|
|
|
Interactive Collaborative Robotics [electronic resource] : 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings / edited by Andrey Ronzhin, Aminagha Sadigov, Roman Meshcheryakov.
by Ronzhin, Andrey [editor.] | Sadigov, Aminagha [editor.] | Meshcheryakov, Roman [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling.
by Calvaresi, Davide [editor.] | Najjar, Amro [editor.] | Omicini, Andrea [editor.] | Aydogan, Reyhan [editor.] | Carli, Rachele [editor.] | Ciatto, Giovanni [editor.] | Mualla, Yazan [editor.] | Främling, Kary [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Human-Centered Software Engineering [electronic resource] : 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers / edited by Cristian Bogdan, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe Palanque, Marco Winckler.
by Bogdan, Cristian [editor.] | Kuusinen, Kati [editor.] | Lárusdóttir, Marta Kristín [editor.] | Palanque, Philippe [editor.] | Winckler, Marco [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
|
