Computing and Combinatorics: 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings

The Disappearing Computer: Interaction Design, System Infrastructures and Applications for Smart Environments

High Performance Computing: International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings

Advances in Cryptology: Proceedings of CRYPTO '85

Advances in Cryptology: Proceedings of EUROCRYPT 84. A Workshop on the Theory and Application of Cryptographic Techniques - Paris, France, April 9-11, 1984

Advances in Cryptology: Proceedings of CRYPTO '84

Applied Parallel Computing: Advanced Scientific Computing: 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002. Proceedings

Advances in Cryptology – EUROCRYPT '85: Proceedings of a Workshop on the Theory and Application of Cryptographic Techniques. Linz, Austria, April 9-11, 1985

EurAsia-ICT 2002: Information and Communication Technology: First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings

Euro-Par 2002. Parallel Processing: 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings

STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings

Queueing Networks with Discrete Time Scale: Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks

Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

Attribute Grammar Inversion and Source-to-source Translation

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995. Proceedings

Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings

Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings

Hybrid Systems IV

Combinatorics and Computer Science: 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers

Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

Graph-Theoretic Concepts in Computer Science: 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings