Limit Search Results
Author
SpringerLink (Online service)
(203)
Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333
(14)
Antona, Margherita. editor.
(10)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Language
English
(203)
Publication Date
-
Subject
Computer Communication Networks.
(139)
Artificial intelligence.
(137)
Application software.
(85)
Computer and Information Systems Applications.
(85)
Computer Engineering and Networks.
(76)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
203 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for PRICAI 2024: Trends in Artificial Intelligence 21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024, Kyoto, Japan, November 18-24, 2024, Proceedings, Part V
PRICAI 2024: Trends in Artificial Intelligence 21st Pacific Rim International Conference on Artificial Intelligence, PRICAI 2024, Kyoto, Japan, November 18-24, 2024, Proceedings, Part V
Author 
Hadfi, Rafik. editor. (orcid)0000-0003-2352-1936 Anthony, Patricia. editor. (orcid)0000-0002-4991-3340 Sharma, Alok. editor. (orcid)0000-0002-7668-3501 Ito, Takayuki. editor. (orcid)0000-0001-5093-3886 Bai, Quan. editor. (orcid)0000-0003-1214-6317
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0128-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Author 
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78116-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part I
Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part I
Author 
Bramer, Max. editor. (orcid)0009-0002-5189-8845 Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77915-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part II
Artificial Intelligence XLI 44th SGAI International Conference on Artificial Intelligence, AI 2024, Cambridge, UK, December 17-19, 2024, Proceedings, Part II
Author 
Bramer, Max. editor. (orcid)0009-0002-5189-8845 Stahl, Frederic. editor. (orcid)0000-0002-4860-0203 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77918-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Machine Vision and Augmented Intelligence Select Proceedings of MAI 2023
Machine Vision and Augmented Intelligence Select Proceedings of MAI 2023
Author 
Kumar Singh, Koushlendra. editor. (orcid)0000-0002-5614-6098 Singh, Sangeeta. editor. (orcid)0000-0002-1185-0540 Srivastava, Subodh. editor. Bajpai, Manish Kumar. editor. (orcid)0000-0003-2258-2390 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4359-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Author 
Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74776-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings
Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings
Author 
Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81226-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Advances in Artificial Intelligence - IBERAMIA 2024 18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings
Advances in Artificial Intelligence - IBERAMIA 2024 18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings
Author 
Correia, Luís. editor. (orcid)0000-0003-2439-1168 Rosá, Aiala. editor. Garijo, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80366-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Machine Intelligence and Smart Systems Third International Conference, MISS 2023, Bhopal, India, January 24-25, 2023, Revised Selected Papers, Part II
Machine Intelligence and Smart Systems Third International Conference, MISS 2023, Bhopal, India, January 24-25, 2023, Revised Selected Papers, Part II
Author 
Gupta, Manish. editor. Agrawal, Shikha. editor. Gupta, Kamlesh. editor. Agrawal, Jitendra. editor. Cengis, Korhan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69115-7
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Psychology, Learning, Technology Second International Conference, PLT 2022, Foggia, Italy, November 17-18, 2022, Revised Selected Papers
Psychology, Learning, Technology Second International Conference, PLT 2022, Foggia, Italy, November 17-18, 2022, Revised Selected Papers
Author 
Di Fuccio, Raffaele. editor. (orcid)0000-0001-8886-3967 Toto, Giusi Antonia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81706-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action