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
37. 
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:
38. 
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:
39. 
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:
40. 
Cover image for ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 3
ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 3
Author 
Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8602-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings
Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings
Author 
Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 Yung, Moti. editor. (orcid)0000-0003-0848-0873 Shao, Jun. editor. (orcid)0000-0001-8352-0973 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85593-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Author 
Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84924-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
Cover image for Artificial Intelligence in HCI 6th International Conference, AI-HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV
Artificial Intelligence in HCI 6th International Conference, AI-HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV
Author 
Degen, Helmut. editor. (orcid)0000-0002-5200-8165 Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93429-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VI
Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VI
Author 
Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-8295-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Pattern Recognition 17th Mexican Conference, MCPR 2025, Guanajuato, Mexico, June 25-28, 2025, Proceedings
Pattern Recognition 17th Mexican Conference, MCPR 2025, Guanajuato, Mexico, June 25-28, 2025, Proceedings
Author 
López-Monroy, Adrián Pastor. editor. (orcid)0000-0003-1018-4221 Rosales-Pérez, Alejandro. editor. (orcid)0000-0003-1768-339X Carrasco-Ochoa, Jesús Ariel. editor. (orcid)0000-0002-9982-7758 Martínez-Trinidad, José Francisco. editor. (orcid)0000-0001-7973-9075 Olvera-López, José Arturo. editor. (orcid)0000-0003-0639-1463
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96255-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III
Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III
Author 
Santos, Manuel Filipe. editor. Machado, José. editor. (orcid)0000-0003-4121-6169 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Cortez, Paulo. editor. (orcid)0000-0002-7991-2090 Moreira, Pedro Miguel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73503-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part I
Progress in Artificial Intelligence 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part I
Author 
Santos, Manuel Filipe. editor. Machado, José. editor. (orcid)0000-0003-4121-6169 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Cortez, Paulo. editor. (orcid)0000-0002-7991-2090 Moreira, Pedro Miguel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73497-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action