1
Language and Automata Theory and Applications [E-Book] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
2
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
3
Trustworthy Global Computing [E-Book] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers /