1
Implementation and Application of Automata [E-Book] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers /
2
STACS 2006 [E-Book] / 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
3
LATIN 2006: Theoretical Informatics [E-Book] / 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
4
Programming Languages and Systems (vol. # 3924) [E-Book] / 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
5
Mathematical Foundations of Computer Science 2006 [E-Book] / 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
6
Programming Languages and Systems [E-Book] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal.
7
Teaching Formal Methods [E-Book] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
8
Theoretical Computer Science (vol. # 3701) [E-Book] / 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
9
Programming Languages and Systems [E-Book] : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /
10
Programming Languages and Systems (vol. # 3444) [E-Book] / 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8,
11
Mathematical Foundations of Computer Science 2005 [E-Book] / 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
12
Theoretical Computer Science [E-Book] : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings /
13
STACS 2004 [E-Book] : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings /
14
LATIN 2004: Theoretical Informatics [E-Book] : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings /
15
Programming Languages and Systems [E-Book] : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proce /
16
STACS 2007 [E-Book] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
17
Applications of Graph Transformations with Industrial Relevance [E-Book] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers /
18
Mathematical Foundations of Computer Science 2004 [E-Book] : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings /
19
Graph Transformations [E-Book] : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /
20
Theoretical Computer Science [E-Book] : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings /