|
|
|
Algorithms and Complexity [electronic resource] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings / edited by Marios Mavronicolas.
by Mavronicolas, Marios [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
|
|
|
|
Biomedical and Computational Biology [electronic resource] : Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers / edited by Shiping Wen, Cihui Yang.
by Wen, Shiping [editor.] | Yang, Cihui [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
|
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings / edited by James D. Carswell, Stewart Fotheringham, Gavin McArdle.
by Carswell, James D [editor.] | Fotheringham, Stewart [editor.] | McArdle, Gavin [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
|
|
|
|
Service-Oriented Computing - ICSOC 2017 Workshops [electronic resource] : ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, Revised Selected Papers / edited by Lars Braubach, Juan M. Murillo, Nima Kaviani, Manuel Lama, Loli Burgueño, Naouel Moha, Marc Oriol.
by Braubach, Lars [editor.] | Murillo, Juan M [editor.] | Kaviani, Nima [editor.] | Lama, Manuel [editor.] | Burgueño, Loli [editor.] | Moha, Naouel [editor.] | Oriol, Marc [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
|
|
|
|
Emerging Technologies for Authorization and Authentication [electronic resource] : Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings / edited by Andrea Saracino, Paolo Mori.
by Saracino, Andrea [editor.] | Mori, Paolo [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
|
|
|
|
Modelling, Analysis, and Simulation of Computer and Telecommunication Systems [electronic resource] : 28th International Symposium, MASCOTS 2020, Nice, France, November 17-19, 2020, Revised Selected Papers / edited by Maria Carla Calzarossa, Erol Gelenbe, Krysztof Grochla, Ricardo Lent, Tadeusz Czachórski.
by Calzarossa, Maria Carla [editor.] | Gelenbe, Erol [editor.] | Grochla, Krysztof [editor.] | Lent, Ricardo [editor.] | Czachórski, Tadeusz [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Spatial Data and Intelligence [electronic resource] : First International Conference, SpatialDI 2020, Virtual Event, May 8-9, 2020, Proceedings / edited by Xiaofeng Meng, Xing Xie, Yang Yue, Zhiming Ding.
by Meng, Xiaofeng [editor.] | Xie, Xing [editor.] | Yue, Yang [editor.] | Ding, Zhiming [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
|
|
|
|
Human Centered Computing [electronic resource] : 7th International Conference, HCC 2021, Virtual Event, December 9-11, 2021, Revised Selected Papers / edited by Qiaohong Zu, Yong Tang, Vladimir Mladenovic, Aisha Naseer, Jizheng Wan.
by Zu, Qiaohong [editor.] | Tang, Yong [editor.] | Mladenovic, Vladimir [editor.] | Naseer, Aisha [editor.] | Wan, Jizheng [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
|
|
|
|
Model-Based Safety and Assessment [electronic resource] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings / edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova.
by Seguin, Christel [editor.] | Zeller, Marc [editor.] | Prosvirnova, Tatiana [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
|
|
|
|
A Journey from Process Algebra via Timed Automata to Model Learning [electronic resource] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / edited by Nils Jansen, Mariëlle Stoelinga, Petra van den Bos.
by Jansen, Nils [editor.] | Stoelinga, Mariëlle [editor.] | van den Bos, Petra [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
|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings / edited by Mohamed Kassab, Marion Berbineau, Alexey Vinel, Magnus Jonsson, Fabien Garcia, José Soler.
by Kassab, Mohamed [editor.] | Berbineau, Marion [editor.] | Vinel, Alexey [editor.] | Jonsson, Magnus [editor.] | Garcia, Fabien [editor.] | Soler, José [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
|
|
|
|
OpenMP: Heterogenous Execution and Data Movements [electronic resource] : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / edited by Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller.
by Terboven, Christian [editor.] | de Supinski, Bronis R [editor.] | Reble, Pablo [editor.] | Chapman, Barbara M [editor.] | Müller, Matthias S [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
|
|
|
|
Geographic Information Science [electronic resource] : 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings / edited by Jennifer A. Miller, David O'Sullivan, Nancy Wiegand.
by Miller, Jennifer A [editor.] | O'Sullivan, David [editor.] | Wiegand, Nancy [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
|
|
|
|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich.
by Hildebrandt, Thomas [editor.] | Ravara, António [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings / edited by Michael Felderer, Daniel Méndez Fernández, Burak Turhan, Marcos Kalinowski, Federica Sarro, Dietmar Winkler.
by Felderer, Michael [editor.] | Méndez Fernández, Daniel [editor.] | Turhan, Burak [editor.] | Kalinowski, Marcos [editor.] | Sarro, Federica [editor.] | Winkler, Dietmar [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
|
|
|
|
Models, Languages, and Tools for Concurrent and Distributed Programming [electronic resource] : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / edited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese.
by Boreale, Michele [editor.] | Corradini, Flavio [editor.] | Loreti, Michele [editor.] | Pugliese, Rosario [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
|
|
|
|
Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / edited by Roger Chamberlain, Walid Taha, Martin Törngren.
by Chamberlain, Roger [editor.] | Taha, Walid [editor.] | Törngren, Martin [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
|
|
|
|
Intelligent Computing Theories and Application [electronic resource] : 18th International Conference, ICIC 2022, Xi'an, China, August 7-11, 2022, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Junfeng Jing, Prashan Premaratne, Vitoantonio Bevilacqua, Abir Hussain.
by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Jing, Junfeng [editor.] | Premaratne, Prashan [editor.] | Bevilacqua, Vitoantonio [editor.] | Hussain, Abir [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
|
|
|
|
Ubiquitous Networking [electronic resource] : 5th International Symposium, UNet 2019, Limoges, France, November 20-22, 2019, Revised Selected Papers / edited by Oussama Habachi, Vahid Meghdadi, Essaid Sabir, Jean-Pierre Cances.
by Habachi, Oussama [editor.] | Meghdadi, Vahid [editor.] | Sabir, Essaid [editor.] | Cances, Jean-Pierre [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
|
