Theoretical Computer Science Stack Exchange is a question and answer site for theoretical computer scientists and researchers in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Following the post What Books Should Everyone Read, I noticed that there are recent books whose drafts are available online.

For instance, the Approximation Algorithms entry of the above post cites a 2011 book (yet to be published) titled The design of approximation algorithms.

I think knowing recent works is really useful for whoever wants to get a taste of TCS trends. When drafts are available, one can check the books before actually buying them.


What are the recent TCS books whose drafts are available online?

Here, by "recent", I mean something that's no older than ~5 years.

share|cite|improve this question
I have flagged it for becoming CW. – Rahab Dec 5 '10 at 2:01
It would be nice if the answers turn into CW also so we can up-vote them. – Kaveh Dec 5 '10 at 6:55
answers become CW by default if the question is CW. – Suresh Venkat Dec 5 '10 at 8:17
@Suresh: But we have already non-CW answers and they should be turned into CW, too. – Jukka Suomela Dec 5 '10 at 10:43
@Suresh and @Jukka, how do I CWize my answer? – Alessandro Cosentino Dec 5 '10 at 13:58

34 Answers 34

Algorithms by S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani

EDIT (Sept 16 '15): The link is broken, I believe the draft is no longer available online.

share|cite|improve this answer
The link is broken as of 12/10/2013. Perhaps the online access is no longer available? – Logan Mayfield Dec 10 '13 at 16:13
@LoganMayfield that's strange, because you can still access the single chapters here: – Alessandro Cosentino Dec 10 '13 at 16:42

Several TCS books by Now Publishers can be found in drafts:

In addition, drafts of several Springer books on "Information Security and Cryptography" can be found online:

share|cite|improve this answer

Arora and Barak Computational Complexity: A Modern Approach , 2010.

share|cite|improve this answer
A warning. the draft is really just that: a draft. There are numerous errors in the draft that got fixed in the printed version (I know this because I ran a summer reading group using the draft and had to constantly correct it from the book) – Suresh Venkat Dec 5 '10 at 6:10
The book is really worth buying. Not expensive at all for its value and size. – Dai Le Dec 5 '10 at 15:40

Let me add the following:

Analytic Combinatorics, by Flajolet and Sedgewick

Codes and Automata, by Berstel, Perrin and Reutenauer

share|cite|improve this answer

Reinhard Diestel's Graph Theory (4th edition, 2010), in a variety of electronic formats.

share|cite|improve this answer

Sariel Har-Peled has an upcoming book on Geometric Approximation Algorithms. It has been available in draft form as lecture notes for a while now.

share|cite|improve this answer
arggh. how on earth did I forget that one ! – Suresh Venkat Dec 6 '10 at 17:09
@Suresh: (Just kidding) A senior moment, perhaps ;) – M.S. Dousti Dec 7 '10 at 2:03
arggh. more like a lack-of-coffee moment :) – Suresh Venkat Dec 7 '10 at 6:06
And it is no longer available online - the publication date is getting nearer, and I promised the publisher (AMS) not to put it online. Sorry... – Sariel Har-Peled Mar 7 '11 at 2:53

Boolean Function Complexity: Advances and Frontiers by Stasys Jukna.

(Preface) (Table of Contents)

A free draft used to be available as a direct download a while ago (if I remember correctly), but now it seems you can obtain it by filling out a form on his webpage or emailing him.

share|cite|improve this answer
On the topic of Boolean functions and Fourier analysis: Analysis of Boolean Functions, by Ryan O'Donnell (2014): the pdf version is available here. – Clement C. Dec 26 '14 at 13:10

Expander Graphs and their applications, by Hoory, Linial and Wigderson. This is verging on monograph territory at 123 pages.

share|cite|improve this answer

Stephen Cook & Phuong Nguyen published a book named Logical Foundations of Proof Complexity in March 2010. There is a draft on Cook's website: here. Unfortunately, I haven't read it.

share|cite|improve this answer
Chapter 2 itself is already a very elegant introduction to propositional logic and first order logic, with important tools like Completeness, Compactness, Löwenheim–Skolem, and Hebrand's Theorem. – Dai Le Dec 5 '10 at 3:56
I've read many parts of the book, and I highly recommend it for people interested in complexity and logic. For people working in proof complexity I think it's possibly a must. It does not deal with proof complexity lower bounds, which is the major issue of the topic, but it gives the essential logical context of proof complexity. It is especially suited for beginners, and for self study. Literally, no prior knowledge is assumed, everything is explained from scratch and full details are provided for everything. (Also, the draft is almost the same as the book.) – Iddo Tzameret Dec 6 '10 at 8:00

Markov Chains and Mixing Times by D.A. Levin, Y. Peres, E.L. Wilmer (2008). Finally a text book covering this broad and ubiquitous topic.

share|cite|improve this answer
now that's a nice book. – Suresh Venkat Dec 5 '10 at 8:19

There is a new upcoming book on Spectral Algorithms by Ravi Kannan and Santosh Vempala covering several latest developments. It covers several applications of spectral methods, algorithms for estimating spectral parameters and low rank approximation of matrices.

share|cite|improve this answer

Since Suresh Venkat mentioned the monograph on expanders, I will also mention the following related monographs on the topic of pseudorandomness. The draft of Pseudorandomness by Salil Vadhan (220 pages) is very worth reading. The monograph Parwise Independence and Derandomization by Luby and Wigderson is also nice!

share|cite|improve this answer

The books in open access from the site of Mathematical Sciences Research Institute:

Here I have listed only those books which to me best fit in the definition of TCS.

NB. Books are not drafts and were published.

share|cite|improve this answer
Wow, excellent source! – Dai Le Mar 16 '11 at 7:01

The discrepancy method, Bernard Chazelle.

Probability on Trees and Networks, Russell Lyons with Yuval Peres

Both are great reads! You might want to grab Lyons-Peres now before they take it offline.

share|cite|improve this answer

Algorithmic Game Theory, by Noam Nisan, Tim Roughgarden, Eva Tardos, and Vijay V. Vazirani (2007).

share|cite|improve this answer

"Descriptive Complexity, Canonisation, and Definable Graph Structure Theory," by Martin Grohe. Date on manuscript: March 7, 2013. Available at:

share|cite|improve this answer

Hubert Comon, Max Dauchet, Remi Gilleron, Florent Jacquemard, Denis Lugiez, Christof Löding, Sophie Tison, Marc Tommasi: Tree Automata Techniques and Applications

share|cite|improve this answer

"Models of Computation, Exploring the Power of Computing," by John E. Savage. Available at

share|cite|improve this answer

Spectra of Graphs by Brouwer and Haemers. I came to this book by way of Chapter 16 (written by Spielman) in Combinatorial Scientific Computing.

share|cite|improve this answer

Automata Theory: An Algorithmic Approach by Javier Esparza

share|cite|improve this answer

There is an online draft of the new book "Iterative Methods in Combinatorial Optimization" by Lap Chi Lau, R. Ravi, and Mohit Singh:

It is about the iterative rounding method: a new techhnique that can be used to design approximation algorithms for many problems.

share|cite|improve this answer

"Logic and Discrete Mathematics for Computer Scientists", by James Caldwell. Manuscript Date: August 22, 2011. Available at:

"Data Structures and Algorithms, The Basic Toolbox", by Kurt Mehlhorn. Manuscript Date: August 2008. Available at:

"An Introduction to Graph Theory and Complex Networks", by Martin Van Steen. Manuscript Date: January 2010. Available at:

"Category Theory for Computing Science," by Michael Barr and Charles Wells. Available at

"Philosophy of Computer Science," by William J. Rappaport. Manuscript Date: December 24, 2013. Available at:

"Fractional Graph Theory: A Rational Approach To The Theory Of Graphs," by Edward Scheinerman And Daniel Ullman. Available at

share|cite|improve this answer

Notes or books about Distributed Algorithms:

share|cite|improve this answer

PlanetMath lists over 150 books which are available online. The list is updated regularly (the most recent addition being 2011-01-09, as of this writing). Books are math-related, but some of them are useful in TCS, too.

share|cite|improve this answer
link please? I couldn't find that list on PlanetMath... – Joshua Grochow Mar 20 '13 at 15:37
@JoshuaGrochow: Unfortunately, the old link I provided above no longer works. I'll replace it as soon as I find the new link. – M.S. Dousti Mar 23 '13 at 6:55

Networks, Crowds, and Markets: Reasoning About a Highly Connected World by David Easley and Jon Kleinberg.

share|cite|improve this answer

Devdatt Dubhashi and Alessandro Panconesi: Concentration of Measure for the Analysis of Randomised Algorithms. A first draft is available at (via geomblog)

share|cite|improve this answer

protected by Kaveh May 10 '13 at 6:53

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.