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 Graph-Based Representations in Pattern Recognition 14th IAPR-TC-15 International Workshop, GbRPR 2025, Caen, France, June 25-27, 2025, Proceedings
Graph-Based Representations in Pattern Recognition 14th IAPR-TC-15 International Workshop, GbRPR 2025, Caen, France, June 25-27, 2025, Proceedings
Author 
Brun, Luc. editor. (orcid)0000-0002-1658-0527 Carletti, Vincenzo. editor. (orcid)0000-0002-9130-5533 Bougleux, Sébastien. editor. (orcid)0000-0002-4581-7570 Gaüzère, Benoît. editor. (orcid)0000-0001-9980-2641 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94139-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
Cover image for Multi-objective Optimization Techniques : Variants, Hybrids, Improvements, and Applications
Multi-objective Optimization Techniques : Variants, Hybrids, Improvements, and Applications
Author 
Rashid, Tarik A., editor.
Preferred Shelf Number 
QA9.58
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003601555
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for AUTOMATIC GENERATION OF ALGORITHMS
AUTOMATIC GENERATION OF ALGORITHMS
Author 
Parada, Victor.
Preferred Shelf Number 
QA76.9 .A43
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003542896
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
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:
56. 
Cover image for Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part I
Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part I
Author 
Didyk, Piotr. editor. (orcid)0000-0003-0768-8939 Hou, Junhui. editor. (orcid)0000-0003-3431-2021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5809-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part II
Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part II
Author 
Didyk, Piotr. editor. (orcid)0000-0003-0768-8939 Hou, Junhui. editor. (orcid)0000-0003-3431-2021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5812-1
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part III
Computational Visual Media 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part III
Author 
Didyk, Piotr. editor. (orcid)0000-0003-0768-8939 Hou, Junhui. editor. (orcid)0000-0003-3431-2021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5815-2
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings
Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings
Author 
Schmid, Ulrich. editor. (orcid)0000-0001-9831-8583 Kuznets, Roman. editor. (orcid)0000-0001-5894-8724 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91736-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for The Semantic Web 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part II
The Semantic Web 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part II
Author 
Curry, Edward. editor. Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Poveda-Villalón, Maria. editor. (orcid)0000-0003-3587-0367 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Ojo, Adegboyega. editor. (orcid)0000-0003-0565-2115
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94578-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action