Computer Science
-
Lecture Notes in Computer Science: A Generic Theorem Prover -
Lecture Notes in Computer Science: 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings -
Lecture Notes in Computer Science: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings -
Lecture Notes in Computer Science: State of the Art and Evolution. ESAT Course, Leuven, Belgium, May 21-23, 1991 -
Lecture Notes in Computer Science: Joint Tutorial Papers of Performance '93 and Sigmetrics '93 -
Lecture Notes in Computer Science: First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings -
Lecture Notes in Computer Science: 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 -
Lecture Notes in Computer Science: 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 -
Lecture Notes in Computer Science -
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 -
Lecture Notes in Computer Science: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers -
Lecture Notes in Computer Science: 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 -
Lecture Notes in Computer Science -
Lecture Notes in Computer Science: Final Report on the DFG Special Joint Initiative -
Lecture Notes in Computer Science: Second International Workshop, Ithaca, USA, May 9-11, 1990. Proceedings -
Lecture Notes in Computer Science: 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