1
Descriptional Complexity of Formal Systems [E-Book] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /

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

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

Full text 
Favorites
Saved in:
4
Foundations of Software Science and Computational Structures [E-Book] : 14th International Conference, FOSSACS 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 /

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

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

Full text 
Favorites
Saved in:
7
Model-Based Engineering of Embedded Real-Time Systems [E-Book] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

Full text 
Favorites
Saved in:
8
Frontiers of Combining Systems [E-Book] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings /

Full text 
Favorites
Saved in:
9
CONCUR 2011 – Concurrency Theory [E-Book] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings /

Full text 
Favorites
Saved in:
10
Tools and algorithms for the construction and analysis of systems : 17th International Conference, TACAS 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 [E-Book] /

Full text 
Favorites
Saved in:
11
The Mathematics of Language [E-Book] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
12
Computational Logic in Multi-Agent Systems [E-Book] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /

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

Full text 
Favorites
Saved in:
14
New Modeling Concepts for Today’s Software Processes [E-Book] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Full text 
Favorites
Saved in:
15
Language and Automata Theory and Applications [E-Book] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings /

Full text 
Favorites
Saved in:
16
Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /

Full text 
Favorites
Saved in:
17
Integrated Formal Methods [E-Book] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /

Full text 
Favorites
Saved in:
18
Computational Logic in Multi-Agent Systems [E-Book] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
19
Theorem Proving in Higher Order Logics [E-Book] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

Full text 
Favorites
Saved in:
20
Logic Programming and Nonmonotonic Reasoning [E-Book] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results