Limit Search Results
Author
SpringerLink (Online service)
(268)
IGI Global, publisher.
(5)
Shah, Nazir. editor. (orcid)0000-0003-0126-9944
(5)
Zhang, Yinjun. editor.
(5)
Auer, Michael E. editor.
(4)
Language
English
(354)
Publication Date
-
Subject
Artificial intelligence.
(92)
Computational intelligence.
(46)
Electronic books.
(35)
Application software.
(25)
Computer and Information Systems Applications.
(24)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
354 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Advanced Applications on Qualitative and Quantitative Methods in Information Science Selected Papers from the 16th QQML International Conference
Advanced Applications on Qualitative and Quantitative Methods in Information Science Selected Papers from the 16th QQML International Conference
Author 
Katsirikou, Anthi. editor. (orcid)0000-0003-3474-8896 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-02932-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Sustainable resource management in next-generation computational constrained networks
Sustainable resource management in next-generation computational constrained networks
Author 
Dash, Subhasis, editor.
Preferred Shelf Number 
TK5105.5 .S87 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394212798
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Systems, Smart Technologies, and Innovation for Society Proceedings of CITIS 2024
Systems, Smart Technologies, and Innovation for Society Proceedings of CITIS 2024
Author 
Inga Ortega, Esteban Mauricio. editor. (orcid)0000-0002-0837-0642 García Herranz, Nuria. editor. (orcid)0000-0002-0760-2974 Robles-Bykbaev, Vladimir Espartaco. editor. (orcid)0000-0002-7645-8793 Gallego Diaz, Eduardo. editor. (orcid)0000-0001-8338-4959 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87065-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Ethics and Fairness in Medical Imaging Second International Workshop on Fairness of AI in Medical Imaging, FAIMI 2024, and Third International Workshop on Ethical and Philosophical Issues in Medical Imaging, EPIMI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6-10, 2024, Proceedings
Ethics and Fairness in Medical Imaging Second International Workshop on Fairness of AI in Medical Imaging, FAIMI 2024, and Third International Workshop on Ethical and Philosophical Issues in Medical Imaging, EPIMI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6-10, 2024, Proceedings
Author 
Puyol-Antón, Esther. editor. (orcid)0000-0002-9789-6629 Zamzmi, Ghada. editor. (orcid)0000-0003-4723-5539 Feragen, Aasa. editor. (orcid)0000-0002-9945-981X King, Andrew P. editor. (orcid)0000-0002-9965-7015 Cheplygina, Veronika. editor. (orcid)0000-0003-0176-9324
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72787-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advanced Technologies and the University of the Future
Advanced Technologies and the University of the Future
Author 
Vendrell Vidal, Eduardo. editor. Cukierman, Uriel R. editor. (orcid)0000-0003-0350-3159 Auer, Michael E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71530-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Vision Metrics Survey, Taxonomy, and Analysis of Computer Vision, Visual Neuroscience, and Visual AI
Computer Vision Metrics Survey, Taxonomy, and Analysis of Computer Vision, Visual Neuroscience, and Visual AI
Author 
Krig, Scott. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3393-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Robotics Goes MOOC Impact
Robotics Goes MOOC Impact
Author 
Siciliano, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77267-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Integrated Circuit Design Tape-out Process with Open-Source Tools
Integrated Circuit Design Tape-out Process with Open-Source Tools
Author 
Ortega Cisneros, Susana. author. Baungarten Leon, Emilio Isaac. author. (orcid)0000-0001-6243-219X Mejia Alvarez, Pedro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92108-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets