High Performance Computing: 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings

Business Process Management: Models, Techniques, and Empirical Studies

PARLE '89 - Parallel Architectures and Languages Europe: Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings

Discrete Geometry for Computer Imagery: 9th International Conference, DGCI 2000 Uppsala, Sweden, December 13-15, 2000 Proceedings

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings

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

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

Foundations of Software Technology and Theoretical Computer Science: 15th Conference; Bangalore, India, December 1995. Proceedings

Exploitation of Fine-Grain Parallelism

Application and Theory of Petri Nets 2000: 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

Informatics: 10 Years Back. 10 Years Ahead

Power-Aware Computer Systems: 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

Synthesizing Synchronous Systems by Static Scheduling in Space-Time

Universal Routing Strategies for Interconnection Networks

Conceptual Structures: Integration and Interfaces: 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings

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

Randomization, Approximation, and Combinatorial Optimization. Algorithms and Techniques: Third International Workshop on Randomization and Approximation Techniques in Computer Science, and Second International Workshop on Approximation Algorithms for C...

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