1
Formal Methods for Components and Objects [E-Book] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /

Full text 
Favorites
Saved in:
2
Programming Languages and Systems [E-Book] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings /

Full text 
Favorites
Saved in:
3
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 /

Full text 
Favorites
Saved in:
4
Evaluation of Novel Approaches to Software Engineering [E-Book] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
5
Certified Programs and Proofs [E-Book] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /

Full text 
Favorites
Saved in:
6
Applications and Theory of Petri Nets [E-Book] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
7
Languages, Methodologies, and Development Tools for Multi-Agent Systems [E-Book] : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
8
Developments in Language Theory [E-Book] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
9
Functional and Constraint Logic Programming [E-Book] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

Full text  Full text 
Favorites
Saved in:
10
Computer Aided Verification [E-Book] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
11
Principles and Practice of Constraint Programming – CP 2011 [E-Book] : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings /

Full text 
Favorites
Saved in:
12
Conceptual Modeling – ER 2011 [E-Book] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings /

Full text 
Favorites
Saved in:
13
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 /

Full text  Full text 
Favorites
Saved in:
14
Multiagent System Technologies [E-Book] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings /

Full text 
Favorites
Saved in:
15
Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /

Full text 
Favorites
Saved in:
16
Agent-Oriented Software Engineering XI [E-Book] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /

Full text  Full text 
Favorites
Saved in:
17
Implementation and Application of Functional Languages [E-Book] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
18
Software Architecture [E-Book] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings /

Full text 
Favorites
Saved in:
19
Automated Technology for Verification and Analysis [E-Book] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings /

Full text 
Favorites
Saved in:
20
Algorithmic Learning Theory [E-Book] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results