1
Automata, Languages and Programming [E-Book] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II /
2
Automata, Languages and Programming [E-Book] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I /
3
Automata, languages and programming. 2 [E-Book] : 35th international colloquium, ICALP 2008, Reykjavik,eHerausgeberIceland, July 7-11, 2008 : proceedings /
4
Automata, languages and programming. 1 [E-Book] : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings /
5
Reactive Systems [E-Book] : Modelling, Specification and Verification /
6
Foundations of Software Science and Computational Structures (vol. # 3921) [E-Book] / 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn/