Trends in information processing systems : 3rd conference of the European Cooperation in Informatics, Munich, October 20-22, 1981 : proceedings /

Published 1981

Compiler specification and verification /

by Polak, Wolfgang, 1950-
Published 1981

Logic of programs : workshop, ETH Zurich, May-July 1979 /

Published 1981

Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 /

Published 1981

Mathematical foundations of computer science : 1976: proceedings, 5th Symposium, Gdansk, September 6-10, 1976. Edited by A. Mazurkiewicz.

Published 1976

Komplexitat von Entscheidungsproblemen : ein Seminar. [Hrsg. von] Ernst Specker [und] Volker Strassen.

Published 1976

Optimization techniques : modeling and optimization in the service of man; proceedings... Edited by Jean Cea.

Published 1976

Complementary definitions of programming language semantics.

by Donahue, James Edward, 1947-
Published 1976

Data base systems : proceedings .... Edited by H. Hasselmeier and W. G. Spruth.

Published 1976

An Optimized translation process and its application to ALGOL 68 : [By] P. Branquart [and others].

Published 1976

Interval mathematics : proceedings of the international symposium, Karlsruhe, West Germany, May 20-24, 1975. Edited by K. Nickel.

Published 1975

Direct methods for sparse matrices /

by Sterby, Ole
Published 1983

The design of dynamic data structures /

by Overmars, Mark H., 1958-
Published 1983

The Programming language Ada reference manual /

Published 1983

Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings /

Published 1983

Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 /

Published 1983

Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 /

Published 1983

Enduser systems and their human factors : proceedings of the scientific symposium conducted on the occasion of the 15th anniversary of the Science Center Heidelberg of IBM Germany,...

Published 1983

CONLAN report /

Published 1983

Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 /

Published 1982