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
1. 
Cover image for Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part II
Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. 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-6005-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part I
Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. 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-6008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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 V
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 V
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-91092-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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 III
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 III
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-91131-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part III
Information and Communication Technology 13th International Symposium, SOICT 2024, Danang, Vietnam, December 13-15, 2024, Proceedings, Part III
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-4288-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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 III
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 III
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-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Security and Privacy 3rd International Conference, ICSP 2024, Jamshedpur, India, November 20-21, 2024, Proceedings
Security and Privacy 3rd International Conference, ICSP 2024, Jamshedpur, India, November 20-21, 2024, Proceedings
Author 
Mesnager, Sihem. editor. (orcid)0000-0003-4008-2031 Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 Debnath, Sumit Kumar. editor. (orcid)0000-0001-6374-1410 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90587-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Intelligent Computers, Algorithms, and Applications 4th BenchCouncil International Symposium, IC 2024, Guangzhou, China, December 4-6, 2024, Revised Selected Papers
Intelligent Computers, Algorithms, and Applications 4th BenchCouncil International Symposium, IC 2024, Guangzhou, China, December 4-6, 2024, Revised Selected Papers
Author 
Luo, Chunjie. editor. Li, Weiping. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6310-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Learning and Collaboration Technologies 12th International Conference, LCT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Learning and Collaboration Technologies 12th International Conference, LCT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
Author 
Smith, Brian K. editor. Borge, Marcela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93746-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Human-Computer Interaction Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
Author 
Kurosu, Masaaki. editor. Hashizume, Ayako. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93835-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action