1-24 of 28 Books

Introduction to computer theory
By Daniel I. A. Cohen

Results and trends in theoretical computer science
By Arto Salomaa,Hermann A. Maurer,Grzegorz Rozenberg,J. Karhumaki,H. Maurer

Fundamentals of Computation Theory
By Lothar Budach

Algorithm theory-- SWAT 2000
By Scandinavian Workshop on Algorithm Theory (7th 2000 Bergen, Norway)

Aspects and prospects of theoretical computer science
By International Meeting of Young Computer Scientists (6th 1990 Smolenice, Slovakia)

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

Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award)
By Johan Torkel Håstad

Swat '90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990
By J. R. Gilbert

Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991
By A. Tarlecki

Proceedings of the 35th Annual ACM Symposium on the Theory of Computing
By

Computer algebra
By European Computer Algebra Conference (1st 1982 Marseille, France)

Mathematical Foundations of Computer Science 1974
By A. Blikle

Mathematical Foundations of Computer Science 1979
By J. Becvar

Algebraic methodology and software technology
By International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa)

Fundamentals of computation theory
By FCT '93 (1993 Szeged, Hungary)

Proof and computation
By North Atlantic Treaty Organization

EUROSAM 84
By International Symposium on Symbolic and Algebraic Computation (1984 Cambridge, England)

Graph-Theoretic Concepts in Computer Science
By Juraj Hromkovič

Perspectives of system informatics
By D. Bjørner,M. Broy