|
|
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings / edited by Valentina Castiglioni, Adrian Francalanza.
by Castiglioni, Valentina [editor.] | Francalanza, Adrian [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
|
|
|
|
Artificial Intelligence in Education [electronic resource] : 21st International Conference, AIED 2020, Ifrane, Morocco, July 6-10, 2020, Proceedings, Part I / edited by Ig Ibert Bittencourt, Mutlu Cukurova, Kasia Muldner, Rose Luckin, Eva Millán.
by Bittencourt, Ig Ibert [editor.] | Cukurova, Mutlu [editor.] | Muldner, Kasia [editor.] | Luckin, Rose [editor.] | Millán, Eva [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
|
|
|
|
Information Security Education - Challenges in the Digital Age [electronic resource] : 16th IFIP WG 11.8 World Conference on Information Security Education, WISE 2024, Edinburgh, UK, June 12-14, 2024, Proceedings / edited by Lynette Drevin, Wai Sze Leung, Suné von Solms.
by Drevin, Lynette [editor.] | Leung, Wai Sze [editor.] | von Solms, Suné [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
|
|
|
|
From Reactive Systems to Cyber-Physical Systems [electronic resource] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky.
by Bartocci, Ezio [editor.] | Cleaveland, Rance [editor.] | Grosu, Radu [editor.] | Sokolsky, Oleg [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings / edited by Ilaria Castellani, Francesco Tiezzi.
by Castellani, Ilaria [editor.] | Tiezzi, Francesco [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
|
|
|
|
From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries [electronic resource] : 24th International Conference on Asian Digital Libraries, ICADL 2022, Hanoi, Vietnam, November 30 - December 2, 2022, Proceedings / edited by Yuen-Hsien Tseng, Marie Katsurai, Hoa N. Nguyen.
by Tseng, Yuen-Hsien [editor.] | Katsurai, Marie [editor.] | Nguyen, Hoa N [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
|
|
|
|
Towards Autonomous Robotic Systems [electronic resource] : 23rd Annual Conference, TAROS 2022, Culham, UK, September 7-9, 2022, Proceedings / edited by Salvador Pacheco-Gutierrez, Alice Cryer, Ipek Caliskanelli, Harun Tugal, Robert Skilton.
by Pacheco-Gutierrez, Salvador [editor.] | Cryer, Alice [editor.] | Caliskanelli, Ipek [editor.] | Tugal, Harun [editor.] | Skilton, Robert [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 Computer and Communication Networks [electronic resource] : 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers / edited by Vladimir M. Vishnevskiy, Konstantin E. Samouylov, Dmitry V. Kozyrev.
by Vishnevskiy, Vladimir M [editor.] | Samouylov, Konstantin E [editor.] | Kozyrev, Dmitry V [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
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part II / edited by Zhe Liu, Fan Wu, Sajal K. Das.
by Liu, Zhe [editor.] | Wu, Fan [editor.] | Das, Sajal K [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
|
|
|
|
Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health [electronic resource] : 6th International Conference, DHM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II / edited by Vincent G. Duffy.
by Duffy, Vincent G [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
|
|
|
|
Artificial Intelligence Applications and Innovations [electronic resource] : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part IV / edited by Ilias Maglogiannis, Lazaros Iliadis, John Macintyre, Markos Avlonitis, Antonios Papaleonidas.
by Maglogiannis, Ilias [editor.] | Iliadis, Lazaros [editor.] | Macintyre, John [editor.] | Avlonitis, Markos [editor.] | Papaleonidas, Antonios [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
|
|
|
|
E-Voting and Identity [electronic resource] : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings / edited by Rolf Haenni, Reto E. Koenig, Douglas Wikström.
by Haenni, Rolf [editor.] | Koenig, Reto E [editor.] | Wikström, Douglas [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
|
|
|
|
Artificial Intelligence Applications and Innovations [electronic resource] : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part I / edited by Ilias Maglogiannis, Lazaros Iliadis, John Macintyre, Markos Avlonitis, Antonios Papaleonidas.
by Maglogiannis, Ilias [editor.] | Iliadis, Lazaros [editor.] | Macintyre, John [editor.] | Avlonitis, Markos [editor.] | Papaleonidas, Antonios [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
|
|
|
|
Artificial Intelligence Applications and Innovations [electronic resource] : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part II / edited by Ilias Maglogiannis, Lazaros Iliadis, John Macintyre, Markos Avlonitis, Antonios Papaleonidas.
by Maglogiannis, Ilias [editor.] | Iliadis, Lazaros [editor.] | Macintyre, John [editor.] | Avlonitis, Markos [editor.] | Papaleonidas, Antonios [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
|
|
|
|
Accountability and Security in the Cloud [electronic resource] : First Summer School, Cloud Accountability Project, A4Cloud, Malaga, Spain, June 2-6, 2014, Revised Selected Papers and Lectures / edited by Massimo Felici, Carmen Fernández-Gago.
by Felici, Massimo [editor.] | Fernández-Gago, Carmen [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
|
|
|
|
High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima.
by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [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
|
|
|
|
Traffic Monitoring and Analysis [electronic resource] : 7th International Workshop, TMA 2015, Barcelona, Spain, April 21-24, 2015. Proceedings / edited by Moritz Steiner, Pere Barlet-Ros, Olivier Bonaventure.
by Steiner, Moritz [editor.] | Barlet-Ros, Pere [editor.] | Bonaventure, Olivier [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
|
|
|
|
Knowledge Management in Organisations [electronic resource] : 18th International Conference, KMO 2024, Kaohsiung, Taiwan, July 29 - August 1, 2024, Proceedings / edited by Lorna Uden, I-Hsien Ting.
by Uden, Lorna [editor.] | Ting, I-Hsien [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
|
|
|
|
Information Security [electronic resource] : 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014, Proceedings / edited by Sherman S.M. Chow, Jan Camenisch, Lucas C.K. Hui, Siu Ming Yiu.
by Chow, Sherman S.M [editor.] | Camenisch, Jan [editor.] | Hui, Lucas C.K [editor.] | Yiu, Siu Ming [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
|
|
|
|
Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I / edited by Martin Andreoni.
by Andreoni, Martin [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
|
