|
|
|
PRIMA 2020: Principles and Practice of Multi-Agent Systems [electronic resource] : 23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings / edited by Takahiro Uchiya, Quan Bai, Iván Marsá Maestre.
by Uchiya, Takahiro [editor.] | Bai, Quan [editor.] | Marsá Maestre, Iván [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 Information Systems and Industrial Management [electronic resource] : 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15-17, 2022, Proceedings / edited by Khalid Saeed, Jiří Dvorský.
by Saeed, Khalid [editor.] | Dvorský, Jiří [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
|
|
|
|
Human-Centered Artificial Intelligence [electronic resource] : Advanced Lectures / edited by Mohamed Chetouani, Virginia Dignum, Paul Lukowicz, Carles Sierra.
by Chetouani, Mohamed [editor.] | Dignum, Virginia [editor.] | Lukowicz, Paul [editor.] | Sierra, Carles [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
|
|
|
|
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
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings / edited by Alessio Ferrari, Birgit Penzenstadler.
by Ferrari, Alessio [editor.] | Penzenstadler, Birgit [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
|
|
|
|
Security and Trust Management [electronic resource] : 18th International Workshop, STM 2022, Copenhagen, Denmark, September 29, 2022, Proceedings / edited by Gabriele Lenzini, Weizhi Meng.
by Lenzini, Gabriele [editor.] | Meng, Weizhi [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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita.
by Higashino, Teruo [editor.] | Katayama, Yoshiaki [editor.] | Masuzawa, Toshimitsu [editor.] | Potop-Butucaru, Maria [editor.] | Yamashita, Masafumi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
by de Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | de Roever, Willem-Paul [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2016 [electronic resource] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang.
by Sampaio, Augusto [editor.] | Wang, Farn [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Model and Data Engineering [electronic resource] : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings / edited by Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos.
by Ait Ameur, Yamine [editor.] | Bellatreche, Ladjel [editor.] | Papadopoulos, George A [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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings / edited by Pascal Felber, Vijay Garg.
by Felber, Pascal [editor.] | Garg, Vijay [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
|
|
|
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I / edited by Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir, Igor Walukiewicz.
by Aceto, Luca [editor.] | Damgaard, Ivan [editor.] | Goldberg, Leslie Ann [editor.] | Halldorsson, Magnus M [editor.] | Ingolfsdottir, Anna [editor.] | Walukiewicz, Igor [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
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I / edited by Xiaofeng Gao, Hongwei Du, Meng Han.
by Gao, Xiaofeng [editor.] | Du, Hongwei [editor.] | Han, Meng [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
|
|
|
|
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
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2019 Conferences [electronic resource] : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019, Proceedings / edited by Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis, Claudio Agostino Ardagna, Robert Meersman.
by Panetto, Hervé [editor.] | Debruyne, Christophe [editor.] | Hepp, Martin [editor.] | Lewis, Dave [editor.] | Ardagna, Claudio Agostino [editor.] | Meersman, Robert [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2019 [electronic resource] : 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part VI / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino.
by Misra, Sanjay [editor.] | Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Stankova, Elena [editor.] | Korkhov, Vladimir [editor.] | Torre, Carmelo [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Tarantino, Eufemia [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
|
|
|
|
Service-Oriented Computing - ICSOC 2018 Workshops [electronic resource] : ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12-15, 2018, Revised Selected Papers / edited by Xiao Liu, Michael Mrissa, Liang Zhang, Djamal Benslimane, Aditya Ghose, Zhongjie Wang, Antonio Bucchiarone, Wei Zhang, Ying Zou, Qi Yu.
by Liu, Xiao [editor.] | Mrissa, Michael [editor.] | Zhang, Liang [editor.] | Benslimane, Djamal [editor.] | Ghose, Aditya [editor.] | Wang, Zhongjie [editor.] | Bucchiarone, Antonio [editor.] | Zhang, Wei [editor.] | Zou, Ying [editor.] | Yu, Qi [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
|
|
|
|
Formal Methods. FM 2019 International Workshops [electronic resource] : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas.
by Sekerinski, Emil [editor.] | Moreira, Nelma [editor.] | Oliveira, José N [editor.] | Ratiu, Daniel [editor.] | Guidotti, Riccardo [editor.] | Farrell, Marie [editor.] | Luckcuck, Matt [editor.] | Marmsoler, Diego [editor.] | Campos, José [editor.] | Astarte, Troy [editor.] | Gonnord, Laure [editor.] | Cerone, Antonio [editor.] | Couto, Luis [editor.] | Dongol, Brijesh [editor.] | Kutrib, Martin [editor.] | Monteiro, Pedro [editor.] | Delmas, 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
|
|
|
|
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [electronic resource] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers / edited by Loek Cleophas, Mieke Massink.
by Cleophas, Loek [editor.] | Massink, Mieke [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
|
|
|
|
Resilience in the Digital Age [electronic resource] / edited by Fred S. Roberts, Igor A. Sheremet.
by Roberts, Fred S [editor.] | Sheremet, Igor A [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
|
