Limit Search Results
Author
SpringerLink (Online service)
(50)
Iliadis, Lazaros. editor. (orcid)
(3)
Montani, Stefania. editor.
(3)
Dominguez, Manuel. editor.
(2)
Fujita, Hamido. editor. (orcid)
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
53 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X
Author 
Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521166.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44204-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II
Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II
Author 
Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521194.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43153-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Author 
Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521244.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
Author 
García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)
Preferred Shelf Number 
XX(521307.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40725-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Author 
Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521322.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47994-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part I
Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part I
Author 
Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521400.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36819-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers
Author 
Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.
Preferred Shelf Number 
XX(520663.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26886-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Vision and Image Processing 7th International Conference, CVIP 2022, Nagpur, India, November 4-6, 2022, Revised Selected Papers, Part II
Computer Vision and Image Processing 7th International Conference, CVIP 2022, Nagpur, India, November 4-6, 2022, Revised Selected Papers, Part II
Author 
Gupta, Deep. editor. Bhurchandi, Kishor. editor. Murala, Subrahmanyam. editor. Raman, Balasubramanian. editor. Kumar, Sanjeev. editor.
Preferred Shelf Number 
XX(520239.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31417-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I
Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I
Author 
Maglogiannis, Ilias. editor. Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520425.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34111-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520864.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action