1
SDL 2011: Integrating System and Software Modeling [E-Book] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /
2
Distributed Computing and Internet Technology [E-Book] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings /
3
Fundamental Approaches to Software Engineering [E-Book] : 14th International Conference, FASE 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 /
4
CONCUR 2010 - Concurrency Theory [E-Book] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /
5
Software Architecture [E-Book] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings /
6
ECOOP 2011 – Object-Oriented Programming [E-Book] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings /
7
Foundations of Security Analysis and Design VI [E-Book] : FOSAD Tutorial Lectures /
8
Evaluation of Novel Approaches to Software Engineering [E-Book] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /
9
System Analysis and Modeling: About Models [E-Book] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /
10
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings /
11
Modelling Foundations and Applications [E-Book] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings /
12
CONCUR 2011 – Concurrency Theory [E-Book] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings /
13
Fundamental Approaches to Software Engineering [E-Book] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
14
Modelling Foundations and Applications [E-Book] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings /
15
Advanced Lectures on Software Engineering [E-Book] : LASER Summer School 2007/2008 /
16
Research into Practice – Reality and Gaps [E-Book] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings /
17
Evaluation of Novel Approaches to Software Engineering [E-Book] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers /
18
Distributed Computing and Internet Technology [E-Book] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings /
19
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [E-Book] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings /
20
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /