Visualization in programming : [selected contributions] /

Published 1987

Graph reduction : proceedings of a workshop, Santa Fe, New Mexico, USA, September 29-October 1, 1986 /

Published 1987

Embedded systems : new approaches to their formal description and design : an advanced course, Zurich, Switzerland, March 5-7, 1986 /

Published 1987

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings /

Published 1988

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : Gullane, Scotland, September 1-4, 1987 : selected papers /

Published 1988

Software reliability modelling and identification /

Published 1988

Trends, techniques, and problems in theoretical computer science : selected contributions /

Published 1987

Efficient structures for geometric data management /

by Günther, Oliver, 1961-
Published 1988

Computational geometry and its applications : CG'88, International Workshop on Computational Geometry, Wurzburg, FRG, March 24-25, 1988 : proceedings /

Published 1988

Concurrency 88, International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings /

Published 1988

LUCAS associative array processor : design, programming, and application studies /

by Fernstrom, Christer
Published 1986

ESOP 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March, 1986 /

Published 1986

Interval mathematics 1985 : proceedings of the international symposium, Freiburg i. Br., Federal Republic of Germany, September 23-26, 1985 /

Published 1986

Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings /

Published 1986

Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings /

Published 1986

Complexity and structure /

by Schöning, Uwe, 1955-
Published 1986

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 /

Published 1985

Advances in cryptology--Eurocrypt '85 : proceedings of a workshop on the theory and application of cryptographic techniques, Linz, Austria, April 1985 /

Published 1986

Advances in cryptology--CRYPTO '85 : proceedings /

Published 1986

Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /

Published 1986