Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 4 Construction Track
Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 4 Construction Track
Author 
Desjardins, Serge. editor. (orcid)0000-0002-0828-906X Poitras, Gérard J. editor. Nik-Bakht, Mazdak. editor. (orcid)0000-0003-1705-1093 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61499-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 3 Construction Track
Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 3 Construction Track
Author 
Desjardins, Serge. editor. (orcid)0000-0002-0828-906X Poitras, Gérard J. editor. Nik-Bakht, Mazdak. editor. (orcid)0000-0003-1705-1093 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62170-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 5 Construction Track
Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 5 Construction Track
Author 
Desjardins, Serge. editor. (orcid)0000-0002-0828-906X Poitras, Gérard J. editor. Nik-Bakht, Mazdak. editor. (orcid)0000-0003-1705-1093 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61503-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies: