1
Mathematical Foundations of Computer Science 2012 [E-Book]: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings /
2
Trustworthy Global Computing [E-Book]: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers /
3
Theoretical Computer Science [E-Book] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
4
Automata, Languages and Programming (vol. # 4051) [E-Book] / 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
5
Automata, Languages and Programming (vol. # 4052) [E-Book] / 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
6
Foundations of Software Science and Computational Structures (vol. # 3441) [E-Book] / 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005