1
Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
2
The Calculus of Computation [E-Book] : Decision Procedures with Applications to Verification /
3
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 /
4
Computer Science - Theory and Applications [E-Book] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
5
CONCUR 2009 - Concurrency Theory [E-Book] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /
6
Frontiers in Algorithmics [E-Book] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings /
7
Parameterized and Exact Computation [E-Book] : 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers /
8
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 /
9
Reachability Problems [E-Book] : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /
10
Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
11
Theory and Applications of Models of Computation [E-Book] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
12
Theory and Applications of Models of Computation [E-Book] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /