Fundamentele informatica

Introduction to computer theory

Daniel I.A. Cohen.

Formal Description Techniques, VI: Proceedings of the Ifip Tc6/Wg6.1 Sixth International Conference on Formal Description Techniques-Forte '93 Bosto (Ifip Transactions)

Richard L. Tenney, Paul D. Amer, IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (6th 1993 Boston, Mass.)

Results and trends in theoretical computer science: colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings

J. Karhumäki, H. Maurer, G. Rozenberg (eds.).

Fundamentals of Computation Theory: Proceedings of the International Conference FCT 1985, Cottbus, GDR, September 9-13, 1985 (Lecture Notes in Computer Science)

Lothar Budach

Complexity theory and cryptology: an introduction to cryptocomplexity

Jörg Rothe.

Number theory for computing

Song Y. Yan ; foreword by Martin E. Hellman.

STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings (Lecture Notes in Computer Science)

Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France)

Graph-Theoretic Concepts in Computer Science: 29th International Workshop, WG 2003, Elspeet, the Netherlands, June 19-21, 2003, Revised Papers

Hans L. Bodlaender

Symbolic and Algebraic Computation: Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 (Lecture Notes in Computer Science)

E.W. Ng

Swat '90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990 : Proceedings (Lecture Notes in Computer Science)

J. R. Gilbert