Limit Search Results
Author
SpringerLink (Online service)
(4850)
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277
(87)
Ricci, Elisa. editor. (orcid)0000-0002-0228-1147
(87)
Roth, Stefan. editor. (orcid)0000-0001-9002-9832
(87)
Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241
(87)
Language
Publication Date
-
2025
(535)
2024
(492)
2011
(436)
2010
(388)
2012
(374)
Subject
Computer science.
(2860)
Computer networks .
(1778)
Artificial intelligence.
(1573)
Software engineering.
(1478)
Information systems.
(1057)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4854 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Author 
Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80889-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VI
Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VI
Author 
Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91095-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Foundations and Practice of Security 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part I
Foundations and Practice of Security 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part I
Author 
Adi, Kamel. editor. (orcid)0000-0003-2869-0333 Bourdeau, Simon. editor. (orcid)0000-0001-6660-3398 Durand, Christel. editor. Viet Triem Tong, Valérie. editor. (orcid)0000-0003-4838-2952 Dulipovici, Alina. editor. (orcid)0000-0002-8847-5056
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87499-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part IV
Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part IV
Author 
Buntine, Wray. editor. (orcid)0000-0001-9292-1015 Fjeld, Morten. editor. (orcid)0000-0002-9562-5147 Tran, Truyen. editor. (orcid)0000-0001-6531-8907 Tran, Minh-Triet. editor. (orcid)0000-0003-3046-3041 Huynh Thi Thanh, Binh. editor. (orcid)0000-0003-1976-6113
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4291-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Recent Challenges in Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part I
Recent Challenges in Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Matsuo, Tokuro. editor. (orcid)0009-0000-3551-8799 Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5881-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Recent Challenges in Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part II
Recent Challenges in Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Matsuo, Tokuro. editor. (orcid)0009-0000-3551-8799 Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5884-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Recent Challenges in Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part III
Recent Challenges in Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part III
Author 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Matsuo, Tokuro. editor. (orcid)0009-0000-3551-8799 Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5887-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLV
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLV
Author 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72995-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part IX
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part IX
Author 
Huang, De-Shuang. editor. Zhang, Chuanlei. editor. Zhang, Qinhu. editor. Pan, Yijie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9884-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XII
Advanced Intelligent Computing Technology and Applications 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XII
Author 
Huang, De-Shuang. editor. Zhang, Qinhu. editor. Zhang, Chuanlei. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-9894-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action