Limit Search Results
Author
SpringerLink (Online service)
(341)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Language
English
(372)
Publication Date
-
Subject
Algorithms.
(150)
Computational intelligence.
(121)
Computer networks .
(76)
Application software.
(65)
Computer science.
(62)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
372 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Recent Challenges in Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part III
Recent Challenges in Intelligent Information and Database Systems 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part III
Author 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Matsuo, Tokuro. editor. (orcid)0009-0000-3551-8799 Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5887-9
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life
Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life
Author 
Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-46510-0
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 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:
41. 
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:
42. 
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:
43. 
Cover image for Artificial Intelligence in Ophthalmology
Artificial Intelligence in Ophthalmology
Author 
Grzybowski, Andrzej. editor. (orcid)0000-0002-3724-2391 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83756-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97567-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97570-7
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97573-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Integrating Artificial Intelligence, Security for Environmental and Business Sustainability Volume 1
Integrating Artificial Intelligence, Security for Environmental and Business Sustainability Volume 1
Author 
Hamdan, Allam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91424-9
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Artificial Intelligence in Modern Healthcare System
Artificial Intelligence in Modern Healthcare System
Author 
Kumar, Ashish. author. Singh, Divya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6703-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action