Limit Search Results
Author
Sui Pheng, Low. author.
(6)
Garau, Chiara. editor. (orcid)
(5)
Gervasi, Osvaldo. editor. (orcid)
(5)
Huisman, Marieke. editor.
(5)
Meskouris, Konstantin. author.
(5)
Language
Publication Date
-
2023
(80)
2019
(67)
2013
(60)
2015
(40)
2009
(36)
Subject
Building construction.
(198)
Engineering.
(170)
Materials.
(55)
Construction.
(48)
Civil engineering.
(45)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
523 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Author 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Advances in Informatics and Computing in Civil and Construction Engineering Proceedings of the 35th CIB W78 2018 Conference: IT in Design, Construction, and Management
Advances in Informatics and Computing in Civil and Construction Engineering Proceedings of the 35th CIB W78 2018 Conference: IT in Design, Construction, and Management
Author 
Mutis, Ivan. editor. Hartmann, Timo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00220-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Smartphone-Based Indoor Map Construction Principles and Applications
Smartphone-Based Indoor Map Construction Principles and Applications
Author 
Gao, Ruipeng. author. Ye, Fan. author. Luo, Guojie. author. Cong, Jason. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8378-5
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89960-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89963-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for An Economic Analysis on Automated Construction Safety Internet of Things, Artificial Intelligence and 3D Printing
An Economic Analysis on Automated Construction Safety Internet of Things, Artificial Intelligence and 3D Printing
Author 
Li, Rita Yi Man. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5771-7
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
Author 
Trappl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518563.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21548-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Author 
Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519158.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19797-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Franke, Björn. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519059.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46663-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Modern Methods of Construction Design Proceedings of ICMD 2013
Modern Methods of Construction Design Proceedings of ICMD 2013
Author 
Ševĉik, Ladislav. editor. Lepšík, Petr. editor. Petrů, Michal. editor. Mašín, Ivan. editor. Martonka, Rudolf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05203-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action