Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings

Discrete Geometry for Computer Imagery: 8th International Conference, DGCI'99, Marne-la-Vallee, France, March 17-19, 1999 Proceedings

Digital Libraries in Computer Science: The MeDoc Approach

Text Understanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990. Proceedings

Programming Language Implementation and Logic Programming: 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

Computer Performance Evaluation: Modelling Techniques and Tools: Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings

Discrete Geometry for Computer Imagery: 10th International Conference, DGCI 2002, Bordeaux, France, April 3-5, 2002. Proceedings

STACS 2001: 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings

Robot Vision: International Workshop RobVis 2001 Auckland, New Zealand, February 16-18, 2001 Proceedings

Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

High Performance Computing - HiPC 2000: 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings

Computational Discrete Mathematics: Advanced Lectures

Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques: 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Appr...

Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

Affective Interactions: Towards a New Generation of Computer Interfaces

Graph-Theoretic Concepts in Computer Science: 26th International Workshop, WG 2000 Konstanz, Germany, June 15-17, 2000 Proceedings

Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation: 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings

SOFSEM'99: Theory and Practice of Informatics: 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 Proceedings

Vector and Parallel Processing - VECPAR'98: Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks

High Performance Computing: Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings

Distributed Systems - Architecture and Implementation: An Advanced Course