Lecture Notes in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings

Lecture Notes in Computer Science: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Lecture Notes in Computer Science: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings

Lecture Notes in Computer Science: 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II

Lecture Notes in Computer Science: 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I

Lecture Notes in Computer Science: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings

Lecture Notes in Computer Science: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Lecture Notes in Computer Science: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, Proceedings

Lecture Notes in Computer Science: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Lecture Notes in Computer Science: Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979

Lecture Notes in Computer Science: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings

Lecture Notes in Computer Science: International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part I

Lecture Notes in Computer Science: International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part II

Lecture Notes in Computer Science

Lecture Notes in Computer Science: 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I

Lecture Notes in Computer Science: 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II

Lecture Notes in Computer Science: Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers

Lecture Notes in Computer Science: LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008, Revised Selected and Invited Papers

Lecture Notes in Computer Science: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings

Lecture Notes in Computer Science: Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings

Lecture Notes in Computer Science: 34th International Workshop, WG 2008, Durham, UK, June 30 -- July 2, 2008, Revised Papers

Lecture Notes in Computer Science: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings

Lecture Notes in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005,...