Learning Theory From First Principles
Francis Bach
多处理器编程的艺术
Maurice Herlihy
Beginning Mathematical Logic: A Study Guide
Peter Smith
矩阵计算
Charles F. van Loan & Gene H. Golub
Matrix Computations
Gene Howard Golub & Charles F. van Loan