Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
Author 
Akleylek, Sedat. Dundua, Besik.
Preferred Shelf Number 
QA76.9 .D335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003090052
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Evolving networking technologies : developments and future directions
Evolving networking technologies : developments and future directions
Author 
Gupta, Shaurya, editor.
Preferred Shelf Number 
TK5105.5 .E96 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119836667
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Crittografia nel Paese delle Meraviglie
Crittografia nel Paese delle Meraviglie
Author 
Venturi, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2481-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Finite Automata and Application to Cryptography
Finite Automata and Application to Cryptography
Author 
Tao, Renji. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78257-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Random Curves Journeys of a Mathematician
Random Curves Journeys of a Mathematician
Author 
Koblitz, Neal. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74078-0
Format: 
Availability 
Online Library~1
Available:
Copies: