- Algorithms of ACM
- Combinatorial Algorithms (Jeff Erickson)
- Convex Optimization ?2004(Stephen Boyd, Lieven Vandenberghe) 730 pages
- Foundations of Computer Science (Hans-Peter Bischof)
- Information Theory, Inference, and Learning Algorithms (David J.C. MacKay)
- Logic for Computer Science: Foundations of Automatic Theorem Proving (Jean Gallier)
- Programming Algorithms Directory

