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 Deep Learning for 3D Point Clouds
Deep Learning for 3D Point Clouds
Author 
Gao, Wei. author. (orcid)0000-0001-7429-5495 Li, Ge. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9570-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Computational Mechanics and Applied Mathematics: Perspectives from Young Scholars GIMC SIMAI Young 2024
Computational Mechanics and Applied Mathematics: Perspectives from Young Scholars GIMC SIMAI Young 2024
Author 
Marmo, Francesco. editor. Cuomo, Salvatore. editor. Cutolo, Arsenio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76591-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for A Practical Approach to Computational Fluid Dynamics Using OpenFOAM®
A Practical Approach to Computational Fluid Dynamics Using OpenFOAM®
Author 
Caramia, Giovanni. author. (orcid)0000-0002-9298-4785 Distaso, Elia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88957-8
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 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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
Cover image for Building Tomorrow: Unleashing the Potential of Artificial Intelligence in Construction
Building Tomorrow: Unleashing the Potential of Artificial Intelligence in Construction
Author 
Re Cecconi, Fulvio. author. Khodabakhshian, Ania. author. Rampini, Luca. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77197-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Thinking Swarms
Thinking Swarms
Author 
Ng, Simon. editor. Scholz, Jason Beaufort. editor. (orcid)0000-0002-3656-046X Abbass, Hussein A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82790-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets