Here you can find lists of great Computer Science books are or have been used to teach courses at Caltech.
By: Eyal Kushilevitz, Noam Nisan
By: Michael Sipser
By: Christos Papadimitriou