Sign in with Facebook
57 books
—
6 voters
Theoretical Computer Science Books
Showing 1-50 of 83
Introduction to the Theory of Computation (Hardcover)
by (shelved 3 times as theoretical-computer-science)
avg rating 4.24 — 2,103 ratings — published 1996
Computational Complexity: A Modern Approach (Hardcover)
by (shelved 3 times as theoretical-computer-science)
avg rating 4.32 — 137 ratings — published 2007
Introduction to Algorithms (Hardcover)
by (shelved 3 times as theoretical-computer-science)
avg rating 4.35 — 9,284 ratings — published 1989
Mathematics and Computation: A Theory Revolutionizing Technology and Science (Kindle Edition)
by (shelved 2 times as theoretical-computer-science)
avg rating 4.80 — 10 ratings — published 2019
Cryptography: Theory and Practice (Discrete Mathematics and Its Applications)
by (shelved 2 times as theoretical-computer-science)
avg rating 3.74 — 98 ratings — published 1995
The Art of Computer Programming, Volumes 1-4A Boxed Set (Hardcover)
by (shelved 2 times as theoretical-computer-science)
avg rating 4.74 — 235 ratings — published 2011
Concrete Mathematics: A Foundation for Computer Science (Hardcover)
by (shelved 2 times as theoretical-computer-science)
avg rating 4.34 — 1,863 ratings — published 1988
Problems on Algorithms (Paperback)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.25 — 8 ratings — published 1995
Logical Foundations of Proof Complexity (Perspectives in Logic)
by (shelved 1 time as theoretical-computer-science)
avg rating 3.00 — 1 rating — published 2010
Categories for Types (Cambridge Mathematical Textbooks)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.00 — 5 ratings — published 1994
Theoretical Computer Science for the Working Category Theorist (Elements in Applied Category Theory)
by (shelved 1 time as theoretical-computer-science)
avg rating 3.50 — 6 ratings — published
Handbook of Theoretical Computer Science - 2 Vol Set (Paperback)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.33 — 3 ratings — published 1994
The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography (Paperback)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.30 — 28,805 ratings — published 1999
Computational Complexity: A Conceptual Perspective (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.08 — 13 ratings — published 2008
Feynman Lectures On Computation (Frontiers in Physics)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.25 — 476 ratings — published 1996
Modal Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 53)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.25 — 36 ratings — published 2001
Topological Duality for Distributive Lattices: Theory and Applications (Cambridge Tracts in Theoretical Computer Science, Series Number 61)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.00 — 2 ratings — published
Finite Model Theory: Second Edition (Springer Monographs in Mathematics)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.17 — 6 ratings — published 1995
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.00 — 9 ratings — published 2004
Logiciel: Six Seminars on Computational Reason (Paperback)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.40 — 5 ratings — published
Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5)
by (shelved 1 time as theoretical-computer-science)
avg rating 3.58 — 12 ratings — published 1989
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.67 — 18 ratings — published 1998
Godel's Incompleteness Theorems (Oxford Logic Guides)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.38 — 65 ratings — published 1992
The Blind Spot: Lectures on Logic (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 3.89 — 9 ratings — published 2011
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.00 — 3 ratings — published 2013
Introduction to Metamathematics (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.41 — 34 ratings — published 1971
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.05 — 22 ratings — published 1989
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.00 — 13 ratings — published 1965
The Alignment Problem: Machine Learning and Human Values (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.34 — 4,793 ratings — published 2020
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 (Studies in Logic and the Foundations of Mathematics, Vol. 125)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.25 — 12 ratings — published 1992
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.33 — 12 ratings — published 1986
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.00 — 14 ratings — published 1997
Applications of Automata Theory and Algebra: Via the Mathematical Theory of Complexity to Biology, Physics, Psychology, Philosophy, and Games (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.50 — 6 ratings — published 2009
Essentials of Programming Languages (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 3.96 — 148 ratings — published 1992
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.31 — 13 ratings — published 2006
Automata and Computability (Undergraduate Texts in Computer Science)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.21 — 47 ratings — published 1997
Computation, Proof, Machine: Mathematics Enters a New Age (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 3.80 — 15 ratings — published 2015
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Texts in Theoretical Computer Science. An EATCS Series)
by (shelved 1 time as theoretical-computer-science)
avg rating 3.92 — 13 ratings — published 2001
Graphs and Homomorphisms (Oxford Lecture Series in Mathematics and Its Applications)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.00 — 2 ratings — published 2004
Descriptive Complexity (Texts in Computer Science)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.33 — 6 ratings — published 1998
Cryptography Made Simple (Information Security and Cryptography)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.00 — 9 ratings — published 2016
Handbook Of Applied Cryptography (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.02 — 125 ratings — published 1996
Twenty Lectures on Algorithmic Game Theory (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.38 — 26 ratings — published
The Complexity Theory Companion (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.00 — 4 ratings — published 2001
Principles of Model Checking (Mit Press)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.06 — 31 ratings — published 2008
Competitive Programming 3 (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.55 — 134 ratings — published 2013
Handbook of Model Checking (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.50 — 4 ratings — published 2016
Programming Challenges: The Programming Contest Training Manual (Paperback)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.07 — 128 ratings — published 2003
The Algorithm Design Manual (Hardcover)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.34 — 2,681 ratings — published 1997
More Programming Pearls: Confessions of a Coder: Confessions of a Coder (Paperback)
by (shelved 1 time as theoretical-computer-science)
avg rating 4.07 — 147 ratings — published 1988
