Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
11 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
Cover image for Open Source Systems Security Certification
Open Source Systems Security Certification
by 
Damiani, Ernesto. author. (orcid)0000-0002-9557-6496
https://doi.org/10.1007/978-0-387-77324-7
Format: 
Excerpt: 
Open Source Systems Security Certification Damiani, Ernesto. author. (orcid)0000-0002-9557-6496
2. 
Cover image for Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
by 
Jhala, Ranjit. editor.
https://doi.org/10.1007/978-3-642-35182-2
Format: 
Excerpt: 
Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13
3. 
Cover image for Research in Attacks, Intrusions and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings
Research in Attacks, Intrusions and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings
by 
Balzarotti, Davide. editor.
https://doi.org/10.1007/978-3-642-33338-5
Format: 
Excerpt: 
Computer and Information Systems Applications.
4. 
Cover image for Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
by 
Jones, Cliff B. editor.
https://doi.org/10.1007/978-3-642-24541-1
Format: 
Excerpt: 
Operating systems (Computers).
5. 
Cover image for Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
by 
Yang, Hongseok. editor.
https://doi.org/10.1007/978-3-642-25318-8
Format: 
Excerpt: 
Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7
6. 
Cover image for Open Source Software for Digital Forensics
Open Source Software for Digital Forensics
by 
Huebner, Ewa. editor.
https://doi.org/10.1007/978-1-4419-5803-7
Format: 
Excerpt: 
Computer and Information Systems Applications.
7. 
Cover image for Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
by 
Ueda, Kazunori. editor.
https://doi.org/10.1007/978-3-642-17164-2
Format: 
Excerpt: 
Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28
8. 
Cover image for Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
by 
Hu, Zhenjiang. editor.
https://doi.org/10.1007/978-3-642-10672-9
Format: 
Excerpt: 
Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16
9. 
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: 
Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures / Aldini, Alessandro
10. 
Cover image for Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/11741060
Format: 
Excerpt: 
Special Purpose and Application-Based Systems.
11. 
Cover image for Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/b105030
Format: 
Excerpt: 
Special Purpose and Application-Based Systems.
Go to:Search Results
|
Search Facets
|
Top of Page