|
|
|
Computational Advances in Bio and Medical Sciences [electronic resource] : 9th International Conference, ICCABS 2019, Miami, FL, USA, November 15-17, 2019, Revised Selected Papers / edited by Ion Măndoiu, T. M. Murali, Giri Narasimhan, Sanguthevar Rajasekaran, Pavel Skums, Alexander Zelikovsky.
by Măndoiu, Ion [editor.] | Murali, T. M [editor.] | Narasimhan, Giri [editor.] | Rajasekaran, Sanguthevar [editor.] | Skums, Pavel [editor.] | Zelikovsky, Alexander [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
|
|
|
|
Applied Reconfigurable Computing. Architectures, Tools, and Applications [electronic resource] : 16th International Symposium, ARC 2020, Toledo, Spain, April 1-3, 2020, Proceedings / edited by Fernando Rincón, Jesús Barba, Hayden K. H. So, Pedro Diniz, Julián Caba.
by Rincón, Fernando [editor.] | Barba, Jesús [editor.] | So, Hayden K. H [editor.] | Diniz, Pedro [editor.] | Caba, Julián [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
|
|
|
|
Service-Oriented Computing - ICSOC 2020 Workshops [electronic resource] : AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings / edited by Hakim Hacid, Fatma Outay, Hye-young Paik, Amira Alloum, Marinella Petrocchi, Mohamed Reda Bouadjenek, Amin Beheshti, Xumin Liu, Abderrahmane Maaradji.
by Hacid, Hakim [editor.] | Outay, Fatma [editor.] | Paik, Hye-young [editor.] | Alloum, Amira [editor.] | Petrocchi, Marinella [editor.] | Bouadjenek, Mohamed Reda [editor.] | Beheshti, Amin [editor.] | Liu, Xumin [editor.] | Maaradji, Abderrahmane [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
|
|
|
|
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection [electronic resource] : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings / edited by Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini.
by Demazeau, Yves [editor.] | Holvoet, Tom [editor.] | Corchado, Juan M [editor.] | Costantini, Stefania [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
|
|
|
|
Computational Science - ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part IV / edited by Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Groen, Derek [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities [electronic resource] : 10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I / edited by Norbert A. Streitz, Shin'ichi Konomi.
by Streitz, Norbert A [editor.] | Konomi, Shin'ichi [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
|
|
|
|
Software Architecture [electronic resource] : 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022, Proceedings / edited by Ilias Gerostathopoulos, Grace Lewis, Thais Batista, Tomáš Bureš.
by Gerostathopoulos, Ilias [editor.] | Lewis, Grace [editor.] | Batista, Thais [editor.] | Bureš, Tomáš [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
|
|
|
|
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops [electronic resource] : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6-9, 2022, Proceedings / edited by Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch.
by Trapp, Mario [editor.] | Schoitsch, Erwin [editor.] | Guiochet, Jérémie [editor.] | Bitsch, Friedemann [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers / edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture.
by Cerone, Antonio [editor.] | Autili, Marco [editor.] | Bucaioni, Alessio [editor.] | Gomes, Cláudio [editor.] | Graziani, Pierluigi [editor.] | Palmieri, Maurizio [editor.] | Temperini, Marco [editor.] | Venture, Gentiane [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Linking Theory and Practice of Digital Libraries [electronic resource] : 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings / edited by Omar Alonso, Helena Cousijn, Gianmaria Silvello, Mónica Marrero, Carla Teixeira Lopes, Stefano Marchesin.
by Alonso, Omar [editor.] | Cousijn, Helena [editor.] | Silvello, Gianmaria [editor.] | Marrero, Mónica [editor.] | Teixeira Lopes, Carla [editor.] | Marchesin, Stefano [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
|
|
|
|
Advances in New Technologies, Interactive Interfaces, and Communicability [electronic resource] : First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers / edited by Francisco V. Cipolla Ficarra, Carlos de Castro Lozano, Mauricio Pérez Jiménez, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra.
by Cipolla Ficarra, Francisco V [editor.] | de Castro Lozano, Carlos [editor.] | Pérez Jiménez, Mauricio [editor.] | Nicol, Emma [editor.] | Kratky, Andreas [editor.] | Cipolla-Ficarra, Miguel [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
|
|
|
|
Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Collective Intelligence XXV [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Cezary Orłowski, Artur Ziółkowski.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Orłowski, Cezary [editor.] | Ziółkowski, Artur [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Autonomic and Trusted Computing [electronic resource] : 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings / edited by Jose M. Alcaraz Calero, Laurence T. Yang, Felix Gomez-Marmol, Luis Javier García Villalba, Andy Xiaolin Li, Yan Wang.
by Alcaraz Calero, Jose M [editor.] | Yang, Laurence T [editor.] | Gomez-Marmol, Felix [editor.] | García Villalba, Luis Javier [editor.] | Li, Andy Xiaolin [editor.] | Wang, Yan [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
|
|
|
|
Ambient Intelligence [electronic resource] : Second International Joint Conference, AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011, Proceedings / edited by David Keyson, Mary Lou Maher, Norbert Streitz, Adrian David Cheok, Juan Carlos Augusto, Reiner Wichert, Gwenn Englebienne, Hamid Aghajan, Ben Kröse.
by Keyson, David [editor.] | Maher, Mary Lou [editor.] | Streitz, Norbert [editor.] | Cheok, Adrian David [editor.] | Augusto, Juan Carlos [editor.] | Wichert, Reiner [editor.] | Englebienne, Gwenn [editor.] | Aghajan, Hamid [editor.] | Kröse, Ben [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
|
|
|
|
Electronic Government [electronic resource] : 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings / edited by Marijn Janssen, Karin Axelsson, Olivier Glassey, Bram Klievink, Robert Krimmer, Ida Lindgren, Peter Parycek, Hans J. Scholl, Dmitrii Trutnev.
by Janssen, Marijn [editor.] | Axelsson, Karin [editor.] | Glassey, Olivier [editor.] | Klievink, Bram [editor.] | Krimmer, Robert [editor.] | Lindgren, Ida [editor.] | Parycek, Peter [editor.] | Scholl, Hans J [editor.] | Trutnev, Dmitrii [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
|
|
|
|
Software Engineering for Self-Adaptive Systems [electronic resource] / edited by Betty H. C. Cheng, Rogério de Lemos, Paola Inverardi, Jeff Magee.
by Cheng, Betty H. C [editor.] | de Lemos, Rogério [editor.] | Inverardi, Paola [editor.] | Magee, Jeff [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
