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
Select an Action
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 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:
2. 
Cover image for Explainable artificial intelligence in the healthcare industry
Explainable artificial intelligence in the healthcare industry
Preferred Shelf Number 
R859.7 .A78 E97 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249312
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 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:
5. 
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:
6. 
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:
7. 
Cover image for A Gentle Introduction to Data, Learning, and Model Order Reduction Techniques and Twinning Methodologies
A Gentle Introduction to Data, Learning, and Model Order Reduction Techniques and Twinning Methodologies
Author 
Chinesta, Francisco. author. Cueto, Elías. author. (orcid)0000-0003-1017-4381 Champaney, Victor. author. Ghnatios, Chady. author. Ammar, Amine. author. (orcid)0000-0002-1541-1115
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87572-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Open RAN : technology and ecosystem
Open RAN : technology and ecosystem
Author 
Yanover, Vladimir, author.
Preferred Shelf Number 
TK5103.2 .Y36 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394241170
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Analysis of electric machinery and drive systems
Analysis of electric machinery and drive systems
Author 
Krause, Paul C., author. Wasynczuk, Oleg, author. Sudhoff, Scott D., author. Pekarek, Steven D. author.
Preferred Shelf Number 
TK2181
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394293896
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Automated machine learning and industrial applications
Automated machine learning and industrial applications
Author 
Gangadevi, E., editor.
Preferred Shelf Number 
Q325.5 .A98 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272426
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Neuraltherapeutic Medicine An Evolution of Neural Therapy
Neuraltherapeutic Medicine An Evolution of Neural Therapy
Author 
Pinilla Bonilla, Laura Bibiana. editor. (orcid)0000-0001-9360-7116 Beltrán Dussán, Eduardo Humberto. editor. (orcid)0000-0002-7245-2634 Angarita Lezama, Agustín Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-03257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action