Computer Science Logic 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings

Lecture Notes in Computer Science: Third International Conference, CALISCE'96, San Sebastian, Spain, July 29 - 31, 1996, Proceedings

Lecture Notes in Computer Science: Verification and Control

Parallel Problem Solving from Nature - PPSN III International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings

Lecture Notes in Computer Science: on Advanced Computer Systems

Lecture Notes in Computer Science: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Hybrid Systems

Lecture Notes in Computer Science: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings

Lecture Notes in Computer Science: Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992. Selected Papers

Computer Science Logic 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Logical Foundations of Computer Science - Tver '92 Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

Lecture Notes in Computer Science: 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. Proceedings

Lecture Notes in Computer Science

Axioms and Hulls

Data Structures and Efficient Algorithms Final Report on the DFG Special Joint Initiative

Lecture Notes in Computer Science: Second International Workshop, Ithaca, USA, May 9-11, 1990. Proceedings

Public-Key Cryptography: State of the Art and Future Directions E.I.S.S. Workshop, Oberwolfach, Germany, July 3-6, 1991. Final Report

Lecture Notes in Computer Science: 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings

Lecture Notes in Computer Science: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings

STACS 95 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings

Lecture Notes in Computer Science: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings

Lecture Notes in Computer Science: First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings

Lecture Notes in Computer Science: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings