Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Author 
Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521180.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Author 
D'Souza, Deepak. editor. Lal, Akash. editor. Larsen, Kim Guldstrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518938.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Beneficial plant-microbial interactions ecology and applications
Beneficial plant-microbial interactions ecology and applications
Author 
Rodelas Gonzl̀ez, M. Belň. Gonzalez-Lp̤ez, Jess͠.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for ACLS review made incredibly easy!
ACLS review made incredibly easy!
Author 
Lippincott Williams & Wilkins. Ovid Technologies, Inc.
Preferred Shelf Number 
ONLINE(321399.1)
Electronic Access 
Authentication may be required:
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Design and safety assessment of critical systems
Design and safety assessment of critical systems
Author 
Bozzano, Marco. Villafiorita, Adolfo.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: