81
Automated Technology for Vertification and Analysis [E-Book] / 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
82
Principle and Practice of Constraint Programming - CP 2006 [E-Book] / 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
83
Cryptographic Hardware and Embedded Systems - CHES 2006 [E-Book] / 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings
84
System Analysis and Modeling: Language Profiles [E-Book] / 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
85
Computer Safety, Reliability, and Security (vol. # 4166) [E-Book] / 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
86
Rapid Integration of Software Engineering Techniques (vol. # 3943) [E-Book] / Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
87
Formal Approaches to Software Testing (vol. # 3997) [E-Book] / 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
88
ECOOP 2006 - Object-Oriented  Programming [E-Book] / 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings
89
Model-Driven Architecture - Foundations and Applications [E-Book] / Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
90
FM 2006: Formal Methods [E-Book] / 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
91
The Semantic Web - ISWC 2006 [E-Book] / 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings
92
Cryptographic Hardware and Embedded Systems - CHES 2005 [E-Book] / 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings
93
The Semantic Web - ISWC 2005 [E-Book] / 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings
94
Rules and Rule Markup Languages for the Semantic Web [E-Book] / First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
95
Model Driven Architecture - Foundations and Applications [E-Book] / First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
96
Principles and Practice of Constraint Programming - CP 2005 [E-Book] / 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
97
Formal Approaches to Software Testing (vol. # 3395) [E-Book] / 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
98
Scenarios: Models, Transformations and Tools [E-Book] / International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
99
Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) [E-Book] / 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
100
Object-Oriented Technology. ECOOP 2004 Workshop Reader [E-Book] / ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports