Tietotekniikka

Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

STACS 84 : Symposium of Theoretical Aspects of Computer Science Paris, April 11-13, 1984

International Symposium on Programming : 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

Feedback Shift Registers

Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23 - 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster /Westf

Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings

Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings

EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984

P-Functions and Boolean Matrix Factorization : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms

Mathematical Foundations of Computer Science 1984 : 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings

Readings on Cognitive Ergonomics, Mind and Computers : Proceedings of the Second European Conference, Gmunden, Austria, September 10-14, 1984

How to Multiply Matrices Faster