Matrix Computations
Gene Howard Golub & Charles F. van Loan
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
深入理解计算机系统
Randal E. Bryant
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers