Limit Search Results
Author
SpringerLink (Online service)
(1172)
Apduhan, Bernady O. editor.
(15)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(15)
Küng, Josef. editor.
(11)
Shi, Yuhui. editor.
(11)
Language
Publication Date
-
Subject
Artificial intelligence.
(430)
Computer science.
(323)
Application software.
(247)
Computer Communication Networks.
(199)
Computer science -- Mathematics.
(199)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1306 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
Cover image for Evolutionary Artificial Intelligence Proceedings of ICEAI 2024
Evolutionary Artificial Intelligence Proceedings of ICEAI 2024
Author 
Asirvatham, David. editor. Ntalianis, Klimis. editor. (orcid)0000-0002-2175-3306 Falkowski-Gilski, Przemyslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5210-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
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:
54. 
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:
55. 
Cover image for Applied Antifragility in Natural Systems From Principles to Applications
Applied Antifragility in Natural Systems From Principles to Applications
Author 
Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90391-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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:
57. 
Cover image for Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings
Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings
Author 
Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-8312-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
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:
59. 
Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II
Author 
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81244-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
Author 
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81241-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action