Limit Search Results
Author
SpringerLink (Online service)
(237)
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
-
Subject
Algorithms.
(103)
Artificial intelligence.
(95)
Design and Analysis of Algorithms.
(93)
Computer networks .
(63)
Computational intelligence.
(45)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
307 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
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:
39. 
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:
40. 
Cover image for Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part III
Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part III
Author 
Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-8180-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Advances in Dependable Systems and Networks Proceedings of the Twentieth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 30 - July 3, 2025, Brunów, Poland
Advances in Dependable Systems and Networks Proceedings of the Twentieth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 30 - July 3, 2025, Brunów, Poland
Author 
Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jaroslaw. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92734-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Resilience, Earthquake Engineering and Structural Health Monitoring ICONREM 2024
Resilience, Earthquake Engineering and Structural Health Monitoring ICONREM 2024
Author 
Cimellaro, Gian Paolo. editor. Zhou, Ying. editor. Cardoni, Alessandro. editor. Ansari, Farhad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-08407-1
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Numbers and Computers
Numbers and Computers
Author 
Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67482-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Graph-Theoretic Concepts in Computer Science 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024, Revised Selected Papers
Graph-Theoretic Concepts in Computer Science 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024, Revised Selected Papers
Author 
Kráľ, Daniel. editor. (orcid)0000-0001-8680-0890 Milanič, Martin. editor. (orcid)0000-0002-8222-8097 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75409-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design
Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design
Author 
Ren, Jianfeng. author. Li, Andric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3201-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
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:
48. 
Cover image for Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II
Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II
Author 
Huang, Letian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6403-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action