Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Natural and Artificial Rockslide Dams
Natural and Artificial Rockslide Dams
Author 
Evans, Stephen G. editor. Hermanns, Reginald L. editor. Strom, Alexander. editor. Scarascia-Mugnozza, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04764-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Impacts of Large Dams: A Global Assessment
Impacts of Large Dams: A Global Assessment
Author 
Tortajada, Cecilia. editor. Altinbilek, Dogan. editor. Biswas, Asit K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23571-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Author 
Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11512-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Author 
Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part II
Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part II
Author 
Botto-Tobar, Miguel. editor. Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Preferred Shelf Number 
XX(520655.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24971-6
Format: 
Availability 
Online Library~1
Available:
Copies: