Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Python工匠：案例、技巧与工程实践
朱雷
Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash