101
Scenarios: Models, Transformations and Tools [E-Book] / International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
102
Formal Approaches to Software Testing (vol. # 3395) [E-Book] / 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
103
Rapid Integration of Software Engineering Techniques (vol. # 3475) [E-Book] / First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers
104
Object-Oriented Technology. ECOOP 2004 Workshop Reader [E-Book] / ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
105
ECOOP 2005 - Object-Oriented Programming [E-Book] / 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
106
Rules and Rule Markup Languages for the Semantic Web [E-Book] / First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
107
The Semantic Web - ISWC 2005 [E-Book] / 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings
108
Principles and Practice of Constraint Programming - CP 2005 [E-Book] / 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
109
Model Driven Architecture - Foundations and Applications [E-Book] / First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
110
Computer Safety, Reliability, and Security [E-Book] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings /
111
Foundations of Security Analysis and Design II [E-Book] : FOSAD 2001/2002 Tutorial Lectures /
112
The Semantic Web - ISWC 2004 [E-Book] : Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings /
113
SOFSEM 2004: Theory and Practice of Computer Science [E-Book] : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004 /
114
Principles and Practice of Constraint Programming - CP 2004 [E-Book] : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings /
115
Extreme Programming and Agile Processes in Software Engineering [E-Book] : 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings /
116
Lectures on Concurrency and Petri Nets [E-Book] : Advances in Petri Nets /
117
Cryptographic Hardware and Embedded Systems - CHES 2004 [E-Book] : 6th International Workshop Cambridge, MA, USA, August 11-13, 2004, Proceedings /
118
Object-Oriented Technology. ECOOP 2003 Workshop Reader [E-Book] : ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports /
119
Automated Technology for Verification and Analysis [E-Book] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
120
Extreme Programming and Agile Methods - XP/Agile Universe 2004 [E-Book] : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings /