Limit Search Results
Author
SpringerLink (Online service)
(423)
Li, Keqiu. editor.
(6)
Tari, Zahir. editor.
(6)
Wu, Hongyi. editor.
(6)
Li, Xiaodong. editor.
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(193)
Computer science -- Mathematics.
(136)
Application software.
(134)
Computer and Information Systems Applications.
(134)
Computer networks .
(131)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
505 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Author 
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-7956-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
Author 
Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94706-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Author 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Quantum Computing and Quantum Machine Learning for Engineers and Developers
Quantum Computing and Quantum Machine Learning for Engineers and Developers
Author 
Van Griensven Thé, Jesse. author. Fraser, Roydon Andrew. author. Rosas-Bustos, Jose. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98245-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Machine Learning and Deep Learning Modeling and Algorithms with Applications in Medical and Health Care
Machine Learning and Deep Learning Modeling and Algorithms with Applications in Medical and Health Care
Author 
Diwakar, Manoj. editor. Ravi, Vinayakumar. editor. Singh, Prabhishek. editor. Pham, Hoang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98728-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for The impact of algorithmic technologies on healthcare
The impact of algorithmic technologies on healthcare
Author 
Dubey, Parul, editor Madankar, Mangala, editor Dubey, Pushkar, editor Hung, Bui Thanh, editor
Preferred Shelf Number 
R859.7 .A78
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394305490
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Author 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers
Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers
Author 
Dąbrowski, Andrzej. editor. (orcid)0000-0002-1524-4871 Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. (orcid)0000-0002-6480-5751 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82380-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Algorithmic Foundations for Social Advancement Recent Progress on Theory and Practice
Algorithmic Foundations for Social Advancement Recent Progress on Theory and Practice
Author 
Minato, Shin-ichi. editor. Uno, Takeaki. editor. Yasuda, Norihito. editor. Horiyama, Takashi. editor. Kawarabayashi, Ken-ichi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0668-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
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:
23. 
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:
24. 
Cover image for Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings
Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings
Author 
Gamard, Guilhem. editor. Leroy, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97548-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets