1
SDL 2011: Integrating System and Software Modeling [E-Book] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /
2
Software Engineering, Business Continuity, and Education [E-Book] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /
3
Transactions on High-Performance Embedded Architectures and Compilers IV [E-Book] /
4
Transactions on High-Performance Embedded Architectures and Compilers III [E-Book] /
5
Automata, Languages and Programming [E-Book] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II /
6
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings /
7
Formal Techniques for Distributed Systems [E-Book] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings /
8
Computational Logic in Multi-Agent Systems [E-Book] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /
9
Reliable Software Technologies - Ada-Europe 2011 [E-Book] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings /
10
Declarative Agent Languages and Technologies VIII [E-Book] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers /
11
Distributed Computing and Internet Technology [E-Book] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings /
12
Agent-Oriented Software Engineering X [E-Book] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers /
13
CONCUR 2010 - Concurrency Theory [E-Book] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /
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
Programming Languages and Systems [E-Book] : 20th European Symposium on Programming, ESOP 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 /
16
ECOOP 2011 – Object-Oriented Programming [E-Book] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings /
17
Software Engineering and Formal Methods [E-Book] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
18
Evaluation of Novel Approaches to Software Engineering [E-Book] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /
19
System Analysis and Modeling: About Models [E-Book] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /
20
Objects, Models, Components, Patterns [E-Book] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings /