How to Prove It: A Structured Approach
Daniel J. Velleman
More Effective C++：35个改善编程与设计的有效方法
Scott Meyers
C++ Primer Plus
Stephen Prata
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson
Antenna Engineering Handbook, Fourth Edition
John Volakis