1
Foundations of Security Analysis and Design [E-Book] : Tutorial Lectures /

Full text 
Favorites
Saved in:
2
Formal Techniques for Networked and Distributed Systems - FORTE 2003 [E-Book] : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /

Full text 
Favorites
Saved in:
3
Formal Techniques for Networked and Distributed Systems - FORTE 2004 [E-Book] : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /

Full text 
Favorites
Saved in:
4
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [E-Book] /

Full text 
Favorites
Saved in:
5
Embedded Processor Design Challenges [E-Book] : Systems, Architectures, Modeling, and Simulation — SAMOS /

Full text 
Favorites
Saved in:
6
Computer Security - ESORICS 2000 [E-Book] : 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings /

Full text 
Favorites
Saved in:
7
Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Full text 
Favorites
Saved in:
8
Job Scheduling Strategies for Parallel Processing [E-Book] : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers /

Full text 
Favorites
Saved in:
9
Understanding Concurrent Systems [E-Book] /

Full text 
Favorites
Saved in:
10
Formal Methods for Components and Objects [E-Book] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /

Full text 
Favorites
Saved in:
11
Formal Methods for Components and Objects (vol. # 4111) [E-Book] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Full text 
Favorites
Saved in:
12
Programming Languages and Systems (vol. # 4279) [E-Book] / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Full text 
Favorites
Saved in:
13
Job Scheduling Strategies for Parallel Processing (vol. # 3834) [E-Book] / 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
14
Advances in Computer Systems Architecture (vol. # 3740) [E-Book] / 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

Full text 
Favorites
Saved in:
15
Programming Languages and Systems (vol. # 3780) [E-Book] / Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

Full text 
Favorites
Saved in:
16
Trustworthy Global Computing [E-Book] / International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Full text 
Favorites
Saved in:
17
Distributed Applications and Interoperable Systems [E-Book] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings

Full text 
Favorites
Saved in:
18
Formal Methods for Open Object-Based Distributed Systems [E-Book] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Full text 
Favorites
Saved in:
19
Component Deployment [E-Book] / Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

Full text 
Favorites
Saved in:
20
Advances in Computer Systems Architecture (vol. # 4186) [E-Book] / 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings

Full text 
Favorites
Saved in:

Narrow Search Results