Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Algorithms for Convex Optimization
Nisheeth K. Vishnoi
计算理论导引
Michael Sipser
Effective C++：改善程序与设计的55个具体做法
Scott Meyers
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Computer Systems: A Programmer's Perspective Plus Masteringengineering ...
Randal E. Bryant & David R. O'Hallaron