Limit Search Results
Author
SpringerLink (Online service)
(2232)
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
English
(2232)
Publication Date
-
2025
(681)
2024
(667)
2017
(426)
2016
(348)
2015
(54)
Subject
Computer Communication Networks.
(1778)
Artificial intelligence.
(885)
Application software.
(883)
Computer and Information Systems Applications.
(883)
Computer Engineering and Networks.
(619)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2232 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
Cover image for Provable and Practical Security 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part I
Provable and Practical Security 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part I
Author 
Liu, Joseph K. editor. Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Sun, Shi-Feng. editor. Liu, Xiaoning. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0954-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Information Security Applications 25th International Conference, WISA 2024, Jeju Island, South Korea, August 21-23, 2024, Revised Selected Papers
Information Security Applications 25th International Conference, WISA 2024, Jeju Island, South Korea, August 21-23, 2024, Revised Selected Papers
Author 
Lee, Jong-Hyouk. editor. (orcid)0000-0002-1753-1284 Emura, Keita. editor. (orcid)0000-0002-8969-3581 Lee, Sokjoon. editor. (orcid)0000-0002-4632-8322 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1624-4
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V
Author 
Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0777-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Fifth International Conference on Computing and Network Communications Proceedings of CoCoNet 2023, Volume 1
Fifth International Conference on Computing and Network Communications Proceedings of CoCoNet 2023, Volume 1
Author 
M. Thampi, Sabu. editor. (orcid)0000-0001-6453-5520 Siarry, Patrick. editor. (orcid)0000-0002-5722-4115 Atiquzzaman, Mohammed. editor. Trajkovic, Ljiljana. editor. Lloret Mauri, Jaime. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4540-1
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
55. 
Cover image for SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
Author 
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82670-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Emerging Electronics and Automation Select Proceedings of the 3rd International Conference, E2A 2023, Volume 1
Emerging Electronics and Automation Select Proceedings of the 3rd International Conference, E2A 2023, Volume 1
Author 
Stroe, Daniel-Ioan. editor. Nasimuddin, Dr. editor. Laskar, Shahedul Haque. editor. Pandey, Shivendra Kumar. editor. (orcid)0000-0002-0576-3301 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6802-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
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:
58. 
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:
59. 
Cover image for Post-Quantum Cryptography 16th International Workshop, PQCrypto 2025, Taipei, Taiwan, April 8-10, 2025, Proceedings, Part I
Post-Quantum Cryptography 16th International Workshop, PQCrypto 2025, Taipei, Taiwan, April 8-10, 2025, Proceedings, Part I
Author 
Niederhagen, Ruben. editor. Saarinen, Markku-Juhani O. editor. (orcid)0000-0002-2555-235X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86599-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
Author 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87054-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action