Limit Search Results
Author
SpringerLink (Online service)
(215)
Apduhan, Bernady O. editor.
(5)
European Federation of Chemical Engineering. Working Party on Computer Aided Process Engineering.
(5)
Gani, R. (Rafiqul)
(5)
Gavrilova, Marina L. editor.
(5)
Language
Publication Date
-
Subject
Computer-aided engineering.
(167)
Computer-Aided Engineering (CAD, CAE) and Design.
(129)
Engineering design.
(53)
Computer aided design.
(28)
Artificial intelligence.
(27)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
325 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024 - Volume 1: Modeling and Scheduling
Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024 - Volume 1: Modeling and Scheduling
Author 
Francis, Adel. editor. Miresco, Edmond. editor. Melhado, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84208-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Recent Trends in Sports Engineering Select Proceedings of ICSE 2023
Recent Trends in Sports Engineering Select Proceedings of ICSE 2023
Author 
Bhattacharyya, Suvanjan. editor. (orcid)0000-0002-3619-0518 James, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Engineering Mathematics with MATLAB® and Simulink®
Engineering Mathematics with MATLAB® and Simulink®
Author 
Asadi, Farzin. author. (orcid)0000-0002-5928-0807 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Engineering materials, structures, systems and methods for a more sustainable future
Engineering materials, structures, systems and methods for a more sustainable future
Author 
International Conference on Structural Engineering, Mechanics, and Computation (9th : 2025 : Cape Town, South Africa), creator. Zingoni, Alphose, editor.
Preferred Shelf Number 
TA630
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003677895
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Artificial Intelligence for Future Networks.
Artificial Intelligence for Future Networks.
Author 
Matin, Mohammad A. Goudos, Sotirios K. Karagiannidis, George K.
Preferred Shelf Number 
TK5103.25
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394227952
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Methods and applications of artificial intelligence : dynamic response, learning, random forest, linear regression, interoperability, additive manufacturing and mechatronics
Methods and applications of artificial intelligence : dynamic response, learning, random forest, linear regression, interoperability, additive manufacturing and mechatronics
Author 
El Hami, Abdelkhalak, editor.
Preferred Shelf Number 
Q335 .M48 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394351817
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Information and Software Technologies 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings
Information and Software Technologies 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings
Author 
Lopata, Audrius. editor. Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556 Butkienė, Rita. editor. (orcid)0000-0003-3250-4599 Čeponis, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84263-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024, Volume 2, Simulation and Automation
Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024, Volume 2, Simulation and Automation
Author 
Francis, Adel. editor. Miresco, Edmond. editor. Melhado, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87364-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Proceedings of CIBv 2024 Civil Engineering and Buildings Services
Proceedings of CIBv 2024 Civil Engineering and Buildings Services
Author 
Tuns, Ioan. editor. Muntean, Radu. editor. (orcid)0000-0001-9404-4060 Gălățanu, Teofil. editor. Cazacu, Christiana. editor. Conțiu, Mircea. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94641-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Architectural Research An Academic Textbook for Students of Architecture
Architectural Research An Academic Textbook for Students of Architecture
Author 
Malec, Tomasz E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-7549-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action