Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 1 - 10 of 11 (page 1 of 2)
Personal Author
Topic Subject
More
Series Title
More

Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures E-book (2009.)
Add to basket

Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers E-book (2011.)
Add to basket

Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers E-book (2012.)
Add to basket

Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings E-book (2012.)
Add to basket

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings E-book (2011.)
Add to basket

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings E-book (2011.)
Add to basket

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings E-book (2010.)
Add to basket

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers E-book (2008.)
Add to basket

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings E-book (2008.)
Add to basket

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers E-book (2006.)
Add to basket

Search Results Facets

Search Results List

Results 1 - 10 of 11 (page 1 of 2)
Personal Author
Topic Subject
More
Series Title
More

Additional Resources