How to Prove It: A Structured Approach
Daniel J. Velleman
More Effective C++：35个改善编程与设计的有效方法
Scott Meyers
Theory and Computation of Electromagnetic Fields
Jian-Ming Jin
算法导论
Thomas H. Cormen
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers