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
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /
4
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II /
5
Euro-Par 2008 Workshops - Parallel Processing [E-Book] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers /
6
Formal Theories of Information [E-Book] : From Shannon to Semantic Information Theory and General Concepts of Information /
7
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 /
8
High Performance Computing for Computational Science - VECPAR 2008 [E-Book] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /
9
Language and Automata Theory and Applications [E-Book] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
10
Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
11
Logic, Language, Information and Computation [E-Book] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
12
Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
13
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 /
14
Quantum Interaction [E-Book] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /
15
SOFSEM 2009: Theory and Practice of Computer Science [E-Book] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings /
16
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
17
Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
18
Transactions on Petri Nets and Other Models of Concurrency II [E-Book] : Special Issue on Concurrency in Process-Aware Information Systems /