Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

Lecture Notes in Computer Science: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Lecture Notes in Computer Science: 15th Conference; Bangalore, India, December 1995. Proceedings

Lecture Notes in Computer Science

Lecture Notes in Computer Science: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings

Evolution and Biocomputation Computational Models of Evolution

STACS 99 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings

Lecture Notes in Computer Science: 10 Years Back. 10 Years Ahead

Lecture Notes in Computer Science: Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers

Mathematical Knowledge Management Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Lecture Notes in Computer Science

Universal Routing Strategies for Interconnection Networks

Lecture Notes in Computer Science: 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings

Lecture Notes in Computer Science: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings

Lecture Notes in Computer Science: Third International Workshop on Randomization and Approximation Techniques in Computer Science, and Second International Workshop on Approximation Algorithms for Combinatorial Optimization Problems RANDOM-APPROX'99,Be...

Lecture Notes in Computer Science: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings

Lecture Notes in Computer Science: 8th International Conference, DGCI'99, Marne-la-Vallee, France, March 17-19, 1999 Proceedings

Lecture Notes in Computer Science

Lecture Notes in Computer Science: Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project

Lecture Notes in Computer Science: 8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990. Proceedings

Lecture Notes in Computer Science: International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings

STACS 90 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings

Lecture Notes in Computer Science: Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings