Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
Cover image for Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Author 
Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.
Preferred Shelf Number 
XX(521216.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Author 
Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520865.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32808-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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: