Computer Science

Here you can find lists of great Computer Science books are or have been used to teach courses at MIT.





The Nature of Computation

By: Cristopher Moore, Stephan Mertens

2011

Introduction to the Theory of Computation

By: Michael Sipser

2005

Computational Complexity: A Modern Approach

By: Sanjeev Arora, Boaz Barak

2009

Pattern Classification

By: Richard O. Duda, Peter E. Hart, David G. Stork

2000

The Art of Insight in Science and Engineering: Mastering Complexity

By: Sanjoy Mahajan

2014

Problem-Solving Strategies

By: Arthur Engel

1997

Principles of Model Checking

By: Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

2008

Interactive Theorem Proving and Program Development

By: Yves Bertot

2004

Game Theory

By: Drew Fudenberg, Jean Tirole

1991

Pattern Classification

By: Richard O. Duda, Peter E. Hart, David G. Stork

2006

Distributed Computing: Fundamentals, Simulations, and Advanced Topics

By: Hagit Attiya, Jennifer Welch

2004

Speech and Language Processing, 2nd Edition

By: Daniel Jurafsky, James Martin

2008

Foundations of Statistical Natural Language Processing

By: Christopher D. Manning, Hinrich Schütze

1999

Natural Language Understanding

By: James Allen

1994

Games, Puzzles, and Computation

By: Robert A. Hearn, Erik D. Demaine

2009