Limit Search Results
Author
SpringerLink (Online service)
(53)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Kumar, Vipin. editor. (orcid)0000-0002-9040-2665
(7)
Li, Keqiu. editor.
(7)
Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759
(7)
Language
Publication Date
-
2025
(31)
2024
(21)
2023
(1)
Subject
Algorithms.
(53)
Computer networks .
(46)
Artificial intelligence.
(28)
Computer Communication Networks.
(27)
Computer science -- Mathematics.
(23)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
53 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
Author 
Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81202-6
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 Combinatorial Algorithms 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings
Combinatorial Algorithms 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings
Author 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98740-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
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:
7. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part IV
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part IV
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1545-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part II
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1528-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part III
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1542-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part I
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1525-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part V
Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part V
Author 
Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1548-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part III
Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part III
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81596-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action