STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987

CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17 - 19, 1986. Proceedings

Accurate Scientific Computations: Symposium, Bad Neuenahr, Federal Republic of Germany March 12-14, 1985. Proceedings

Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985

Logics of Programs: Brooklyn, June 17-19, 1985

The Design of Dynamic Data Structures

Problems and Methodologies in Mathematical Software Production: International Seminar, Held at Sorrento, Italy, November 3-8, 1980

Microcomputer System Design: An Advanced Course

Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 1980

Computer Programs for Spelling Correction: An Experiment in Program Design

Exercises in Computer Systems Analysis

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings

High Performance Computing for Computational Science - VECPAR 2002: 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks

STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings

Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings

Drawing Graphs: Methods and Models

Automata, Logics, and Infinite Games: A Guide to Current Research

Computer Algebra Methods for Equivariant Dynamical Systems

eCulture: Cultural Content in the Digital Age

eCulture: Cultural Content in the Digital Age

Networking Communication and Data Knowledge Engineering: Volume 1

Ambient Communications and Computer Systems: RACCCS-2018

Ambient Communications and Computer Systems: RACCCS 2017