Limit Search Results
Author
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Public-Key Cryptography -- PKC 2015 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings
Public-Key Cryptography -- PKC 2015 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings
Author 
Katz, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519134.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46447-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Author 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519135.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers
Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers
Author 
Lin, Dongdai. editor. Yung, Moti. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518785.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16745-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers
Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers
Author 
Lee, Jooyoung. editor. Kim, Jongsung. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519232.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15943-0
Format: 
Availability 
Online Library~1
Available:
Copies: