Effective C++：改善程序与设计的55个具体做法
Scott Meyers
Beginning Mathematical Logic: A Study Guide
Peter Smith
How to Prove It: A Structured Approach
Daniel J. Velleman
Recommender Systems: The Textbook
Charu C. Aggarwal
Antenna Engineering Handbook, Fourth Edition
John Volakis