Limit Search Results
Author
SpringerLink (Online service)
(32)
Alfnes, Erlend. editor.
(2)
Romero, David. editor.
(2)
Romsdal, Anita. editor.
(2)
Strandhagen, Jan Ola. editor.
(2)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Author 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521073.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Preferred Shelf Number 
XX(521137.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Metaverse - METAVERSE 2023 19th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
Metaverse - METAVERSE 2023 19th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
Author 
He, Sheng. editor. Lai, Jiacai. editor. Zhang, Liang-Jie. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521176.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44754-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II
Author 
Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number 
XX(521364.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49011-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Digital Transformation Core Technologies and Emerging Topics from a Computer Science Perspective
Digital Transformation Core Technologies and Emerging Topics from a Computer Science Perspective
Author 
Vogel-Heuser, Birgit. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520204.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-65004-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers
Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers
Author 
Narváez, Fabián R. editor. Urgilés, Fernando. editor. Bastos-Filho, Teodiano Freire. editor. Salgado-Guerrero, Juan Pablo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520321.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32213-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Advanced Communication and Intelligent Systems Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part I
Advanced Communication and Intelligent Systems Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part I
Author 
Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520699.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45121-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Author 
Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520625.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
XX(520973.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42293-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Computer Security. ESORICS 2022 International Workshops CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Computer Security. ESORICS 2022 International Workshops CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Author 
Katsikas, Sokratis. editor. (orcid) Cuppens, Frédéric. editor. Kalloniatis, Christos. editor. (orcid) Mylopoulos, John. editor. Pallas, Frank. editor.
Preferred Shelf Number 
XX(520983.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25460-4
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
Author 
Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.
Preferred Shelf Number 
XX(520990.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35190-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Author 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521127.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Availability 
Online Library~1
Available:
Copies: