Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
11 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
Cover image for Engineering Secure Future Internet Services and Systems Current Research
Engineering Secure Future Internet Services and Systems Current Research
by 
Heisel, Maritta. editor.
https://doi.org/10.1007/978-3-319-07452-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
2. 
Cover image for Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
by 
Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
https://doi.org/10.1007/978-3-642-27901-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
by 
Ramanujam, Ram. editor.
https://doi.org/10.1007/978-3-642-28073-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures
Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures
by 
Aldini, Alessandro. editor.
https://doi.org/10.1007/978-3-642-23082-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
5. 
Cover image for Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures
Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures
by 
Aldini, Alessandro. editor.
https://doi.org/10.1007/978-3-642-03829-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures
Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures
by 
Aldini, Alessandro. editor.
https://doi.org/10.1007/978-3-540-74810-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings
by 
Paillier, Pascal. editor.
https://doi.org/10.1007/978-3-540-74735-2
Format: 
Excerpt: 
Logic design.
8. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings
by 
Goubin, Louis. editor.
https://doi.org/10.1007/11894063
Format: 
Excerpt: 
Logic design.
9. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2005 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2005 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings
by 
Rao, Josyula R. editor.
https://doi.org/10.1007/11545262
Format: 
Excerpt: 
Logic design.
10. 
Cover image for Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures
by 
Aldini, Alessandro. editor.
https://doi.org/10.1007/11554578
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
11. 
Cover image for Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
by 
Manin, Yu. I. author.
https://doi.org/10.1007/3-540-27692-0
Format: 
Excerpt: 
Mathematical Logic and Foundations.