Tietotekniikka

Methods and Tools for Computer Integrated Manufacturing : Advanced CREST Course on Computer Integrated Manufacturing (CIM 83) Karlsruhe, Germany September 5-16, 1983

STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985

Local Area Networks: An Advanced Course : Glasgow, July 11-22, 1983. Proceedings

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE)

Advances in Petri Nets 1984

Paragon : A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

A Survey of Verification Techniques for Parallel Programs

Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984

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

Automata, Languages and Programming : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings

A Hierarchical Associative Processing System