Limit Search Results
Author
SpringerLink (Online service)
(18)
Amini, Massih-Reza. editor.
(1)
Aziz, Ahmed. editor. (orcid)
(1)
Bebis, George. editor.
(1)
Bhurchandi, Kishor. editor.
(1)
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520889.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III
Author 
Amini, Massih-Reza. editor. Canu, Stéphane. editor. Fischer, Asja. editor. Guns, Tias. editor. Kralj Novak, Petra. editor.
Preferred Shelf Number 
XX(520902.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26409-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
Cover image for Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part II
Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. (orcid) Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
XX(521138.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42508-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Author 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521140.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I
Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I
Author 
Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.
Preferred Shelf Number 
XX(521353.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47969-4
Format: 
Availability 
Online Library~1
Available:
Copies: