| 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 |