Not exactly a book, but Yale CS hosts a set of notes from a course of theirs, almost 500 pages.

http://cs-www.cs.yale.edu/homes/aspnes/classes/465/notes.pdf