Limit Search Results
Author
SpringerLink (Online service)
(157)
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
Design and Analysis of Algorithms.
(93)
Artificial intelligence.
(65)
Computer networks .
(54)
Computer science -- Mathematics.
(49)
Computer Communication Networks.
(35)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
171 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 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:
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 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:
41. 
Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025, Proceedings, Part I
Integrated Uncertainty in Knowledge Modelling and Decision Making 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025, Proceedings, Part I
Author 
Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815 Honda, Katsuhiro. editor. (orcid)0000-0001-9080-5942 Le, Bac. editor. (orcid)0000-0002-4306-6945 Inuiguchi, Masahiro. editor. (orcid)0000-0001-9970-1621 Huynh, Hieu T. editor. (orcid)0000-0002-2097-0704
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4606-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers
Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers
Author 
Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86585-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
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:
45. 
Cover image for Applied Algorithms Second International Conference, ICAA 2025, Kolkata, India, January 8-10, 2025, Proceedings
Applied Algorithms Second International Conference, ICAA 2025, Kolkata, India, January 8-10, 2025, Proceedings
Author 
Nandy, Subhas C. editor. De, Rajat K. editor. (orcid)0000-0001-6080-1131 Gupta, Prosenjit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Author 
Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88946-2
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings
String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings
Author 
Lipták, Zsuzsanna. editor. (orcid)0000-0002-3233-0691 Moura, Edleno. editor. (orcid)0000-0002-7860-9575 Figueroa, Karina. editor. (orcid)0000-0002-4680-5950 Baeza-Yates, Ricardo. editor. (orcid)0000-0003-3208-9778 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72200-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Control Strategies for Non-minimum Phase Systems
Control Strategies for Non-minimum Phase Systems
Author 
Yadav, Manish. author. Giri, Ashutosh K. author. Ozana, Stepan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2351-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets