1
SDL 2011: Integrating System and Software Modeling [E-Book] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /
2
Process Mining [E-Book] : Discovery, Conformance and Enhancement of Business Processes /
3
ECOOP 2011 – Object-Oriented Programming [E-Book] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings /
4
Transactions on Aspect-Oriented Software Development VIII [E-Book] /
5
Business Process Management [E-Book] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings /
6
Formal Methods, Foundations and Applications [E-Book] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers /
7
Software Architecture [E-Book] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings /
8
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 /
9
FM 2011: Formal Methods [E-Book] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings /
10
System Analysis and Modeling: About Models [E-Book] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /
11
Distributed Computing and Internet Technology [E-Book] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings /
12
CONCUR 2010 - Concurrency Theory [E-Book] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /
13
Formal Verification of Object-Oriented Software [E-Book] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
14
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 /
15
Formal Methods: Foundations and Applications [E-Book] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /
16
Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers /
17
Evaluation of Novel Approaches to Software Engineering [E-Book] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /
18
CONCUR 2011 – Concurrency Theory [E-Book] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings /
19
Modelling Foundations and Applications [E-Book] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings /
20
Modelling Foundations and Applications [E-Book] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings /