1
Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
2
Compiler Construction [E-Book] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
3
Foundations of Software Science and Computational Structures [E-Book] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
4
Language and Automata Theory and Applications [E-Book] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
5
Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
6
Programming Languages and Systems [E-Book] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
7
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
8
Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /