1
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:
2
Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Formal Approaches to Software Testing and Runtime Verification [E-Book] / First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Full text 
Favorites
Saved in:
5
ECOOP 2007 – Object-Oriented Programming [E-Book] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings /

Full text 
Favorites
Saved in:
6
Testing of Software and Communicating Systems [E-Book] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings /

Full text 
Favorites
Saved in:
7
Agile Processes in Software Engineering and Extreme Programming [E-Book] : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings /

Full text 
Favorites
Saved in:
8
Cryptographic Hardware and Embedded Systems - CHES 2004 [E-Book] : 6th International Workshop Cambridge, MA, USA, August 11-13, 2004, Proceedings /

Full text 
Favorites
Saved in:
9
FM 2005: Formal Methods [E-Book] / International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Full text 
Favorites
Saved in:
10
Foundations of Security Analysis and Design II [E-Book] : FOSAD 2001/2002 Tutorial Lectures /

Full text 
Favorites
Saved in:
11
Formal Methods and Testing [E-Book] : An Outcome of the FORTEST Network, Revised Selected Papers /

Full text 
Favorites
Saved in:
12
Computer Safety, Reliability, and Security [E-Book] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings /

Full text 
Favorites
Saved in:
13
Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) [E-Book] / 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

Full text 
Favorites
Saved in:
14
Formal Approaches to Software Testing (vol. # 3395) [E-Book] / 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
15
ECOOP 2005 - Object-Oriented Programming [E-Book] / 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

Full text 
Favorites
Saved in:
16
Extreme Programming and Agile Methods - XP/Agile Universe 2003 [E-Book] : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings /

Full text 
Favorites
Saved in:
17
Object-Oriented Technology. ECOOP 2006 Workshop Reader [E-Book] : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /

Full text 
Favorites
Saved in:
18
Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) [E-Book] / 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings

Full text 
Favorites
Saved in:
19
Software Engineering Techniques [E-Book] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers /

Full text  Full text 
Favorites
Saved in:
20
Formal Methods, Foundations and Applications [E-Book] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results