Limit Search Results
Author
SpringerLink (Online service)
(27)
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776
(4)
Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162
(4)
Acosta, Maribel. editor. (orcid)0000-0002-1209-2868
(3)
Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733
(3)
Language
Publication Date
-
2025
(17)
2024
(10)
Subject
Algorithms.
(27)
Application software.
(17)
Computer and Information Systems Applications.
(17)
Artificial intelligence.
(15)
Computer networks .
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings
Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings
Author 
Schmid, Ulrich. editor. (orcid)0000-0001-9831-8583 Kuznets, Roman. editor. (orcid)0000-0001-5894-8724 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91736-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Guide to Distributed Algorithms Design, Analysis and Implementation Using Python
Guide to Distributed Algorithms Design, Analysis and Implementation Using Python
Author 
Erciyes, K. author. (orcid)0000-0001-9111-7156 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-79018-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The Semantic Web 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part I
The Semantic Web 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part I
Author 
Curry, Edward. editor. Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Poveda-Villalón, Maria. editor. (orcid)0000-0003-3587-0367 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Ojo, Adegboyega. editor. (orcid)0000-0003-0565-2115
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94575-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Bio-inspired Information and Communications Technologies 15th EAI International Conference, BICT 2024, Quzhou, China, August 15-16, 2024, Proceedings
Bio-inspired Information and Communications Technologies 15th EAI International Conference, BICT 2024, Quzhou, China, August 15-16, 2024, Proceedings
Author 
Chen, Yifan. editor. (orcid)0000-0002-2776-9456 Yang, Kun. editor. Sun, Yue. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81599-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part I
Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part I
Author 
Finocchi, Irene. editor. (orcid)0000-0002-6394-6798 Georgiadis, Loukas. editor. (orcid)0000-0002-9706-7409 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92932-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II
Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II
Author 
Finocchi, Irene. editor. (orcid)0000-0002-6394-6798 Georgiadis, Loukas. editor. (orcid)0000-0002-9706-7409 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92935-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98685-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98679-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98668-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Author 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98682-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Technologies and Applications of Artificial Intelligence 29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6-7, 2024, Proceedings, Part II
Technologies and Applications of Artificial Intelligence 29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6-7, 2024, Proceedings, Part II
Author 
Chu, Wei-Ta. editor. (orcid)0000-0001-5722-7239 Shen, Chih-Ya. editor. Shuai, Hong-Han. editor. (orcid)0000-0003-2216-077X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4596-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Technologies and Applications of Artificial Intelligence 29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6-7, 2024, Proceedings, Part I
Technologies and Applications of Artificial Intelligence 29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6-7, 2024, Proceedings, Part I
Author 
Chu, Wei-Ta. editor. (orcid)0000-0001-5722-7239 Shen, Chih-Ya. editor. Shuai, Hong-Han. editor. (orcid)0000-0003-2216-077X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4589-3
Format: 
Availability 
Online Library~1
Available:
Copies: