Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Earthquake occurrence : short- and long-term models and their validation
Earthquake occurrence : short- and long-term models and their validation
Author 
Console, Rodolfo, 1944- author. Murru, Maura, author. Falcone, Giuseppe (Geophysicist), author.
Preferred Shelf Number 
QE534.3
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119372301
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for 21 CFR Part 11 : complete guide to international computer validation compliance for the pharmaceutical industry
21 CFR Part 11 : complete guide to international computer validation compliance for the pharmaceutical industry
Author 
López, Orlando., author.
Preferred Shelf Number 
RS192 .L67 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: