Limit Search Results
Author
Andrade, Carmen. editor.
(3)
Barai, Sudhirkumar V. author.
(2)
Garau, Chiara. editor. (orcid)
(2)
Gervasi, Osvaldo. editor. (orcid)
(2)
Gulikers, Joost. editor.
(2)
Language
Publication Date
-
Subject
Building construction.
(19)
Materials.
(16)
Engineering.
(15)
Mechanics.
(15)
Structural materials.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
70 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Seismic Design, Assessment and Retrofitting of Concrete Buildings based on EN-Eurocode 8
Seismic Design, Assessment and Retrofitting of Concrete Buildings based on EN-Eurocode 8
Author 
Fardis, Michael N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9842-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Conics and Cubics A Concrete Introduction to Algebraic Curves
Conics and Cubics A Concrete Introduction to Algebraic Curves
Author 
Bix, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-39273-4
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Measuring, Monitoring and Modeling Concrete Properties An International Symposium dedicated to Professor Surendra P. Shah, Northwestern University, U.S.A.
Measuring, Monitoring and Modeling Concrete Properties An International Symposium dedicated to Professor Surendra P. Shah, Northwestern University, U.S.A.
Author 
KONSTA-GDOUTOS, MARIA S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5104-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Discovering Mathematics with Magma Reducing the Abstract to the Concrete
Discovering Mathematics with Magma Reducing the Abstract to the Concrete
Author 
Bosma, Wieb. editor. Cannon, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-37634-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Author 
Quan, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520200.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9697-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Author 
Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520370.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28787-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Artificial Intelligence and Smart Vehicles First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers
Artificial Intelligence and Smart Vehicles First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers
Author 
Ghatee, Mehdi. editor. Hashemi, S. Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520689.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43763-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part II
Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part II
Author 
Xu, Yuan. editor. Yan, Hongyang. editor. Teng, Huang. editor. Cai, Jun. editor. Li, Jin. editor.
Preferred Shelf Number 
XX(521284.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-20099-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Author 
Gianola, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520722.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
Author 
Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.
Preferred Shelf Number 
XX(520990.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35190-7
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VII
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VII
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521013.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37123-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action