Limit Search Results
Author
Language
Material Type
Shelf Location
Library
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 
XX(520889.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Privacy and Identity Management 17th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Privacy and Identity 2022, Virtual Event, August 30-September 2, 2022, Proceedings
Privacy and Identity Management 17th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Privacy and Identity 2022, Virtual Event, August 30-September 2, 2022, Proceedings
Author 
Bieker, Felix. editor. Meyer, Joachim. editor. Pape, Sebastian. editor. Schiering, Ina. editor. Weich, Andreas. editor.
Preferred Shelf Number 
XX(520583.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31971-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advanced Clinical MRI of the Kidney Methods and Protocols
Advanced Clinical MRI of the Kidney Methods and Protocols
Author 
Serai, Suraj D. editor. Darge, Kassa. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(522059.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40169-5
Format: 
Availability 
Online Library~1
Available:
Copies: