Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
计算理论导引
Michael Sipser
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
Matrix Computations
Gene Howard Golub & Charles F. van Loan
How to Prove It: A Structured Approach
Daniel J. Velleman