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
61. 
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:
62. 
Cover image for Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024 - Volume 3: Construction Management
Advances in Information Technology in Civil and Building Engineering Proceedings of ICCCBE 2024 - Volume 3: Construction Management
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-84224-5
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
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:
64. 
Cover image for Proceedings of 2024 International Conference on Medical Imaging and Computer-Aided Diagnosis (MICAD 2024) Medical Imaging and Computer-Aided Diagnosis
Proceedings of 2024 International Conference on Medical Imaging and Computer-Aided Diagnosis (MICAD 2024) Medical Imaging and Computer-Aided Diagnosis
Author 
Su, Ruidan. editor. Frangi, Alejandro F. editor. Zhang, Yudong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3863-5
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Symbiotic Intelligence Proceedings of the 6th International Conference on Computational Design and Robotic Fabrication (CDRF 2024)
Symbiotic Intelligence Proceedings of the 6th International Conference on Computational Design and Robotic Fabrication (CDRF 2024)
Author 
Chai, Hua. editor. Bao, Ding Wen Nic. editor. Guo, Zhe. editor. Yuan, Philip F. editor. (orcid)0000-0002-2871-377X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3433-0
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I
Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I
Author 
Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II
Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II
Author 
Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82957-4
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III
Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III
Author 
Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83885-9
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Advances in the Integration of Technology and the Built Environment Select Proceeding of Architecture Across Boundaries 2024
Advances in the Integration of Technology and the Built Environment Select Proceeding of Architecture Across Boundaries 2024
Author 
Han, Jiawen. editor. (orcid)0000-0002-6528-6404 Lombardi, Davide. editor. (orcid)0000-0001-7128-4635 Cece, Alessandro. editor. (orcid)0000-0002-5267-0685 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4749-1
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Formal Methods in Architecture Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024
Formal Methods in Architecture Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024
Author 
Marques, Bruno. editor. Ruivo, Catarina. editor. Leite Viana, David. editor. (orcid)0000-0002-1877-0332 Vieira Vaz, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-02782-5
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
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/9781003488644
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for What every engineer should know about Python
What every engineer should know about Python
Author 
Madachy, Raymond J. (Raymond Joseph), author.
Preferred Shelf Number 
TA345
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003331070
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action