CS books I'm reading at the moment.
The higher the book is in the list, the further along I am.
updated 8 April 2006

Title Author
PLT MzScheme: Language Manual Matthew Flatt
How to Read and Do Proofs Daniel Solow
Database In Depth C.J. Date
Head First Design Patterns Freeman & Freeman
Lisp in Small Pieces Christian Queinnec
Paradigms of Artificial Intelligence Programming Peter Norvig
How to Design Programs PLT
Practical Common Lisp Peter Seibel
Conceptual Mathematics Lauvere & Schanuel
The Way of Z Jonathan Jacky
PLT MzLib Manual PLT
Purely Functional Data Structures Chris Okasaki
The Art of Probability Richard Hamming
Eclipse Shavor et al.
Programming Languages: Application and Interpretation Shriram Krishnamurthi
Artificial Intelligence: A Modern Approach Peter Norvig
Introduction to Algorithms CLRS
Probability Models Sheldon Ross
Concepts, Techniques, and Models of Computer Programming Van Roy & Haridi
Distributed Work Hinds & Kiesler, ed.
Algorithm Design Kleinberg & Tardos
Head First Servlets & JSP Basham, Sierra & Bates
Probability and Computing Mitzenmacher & Upfal

gsk