多处理器编程的艺术
Maurice Herlihy
How to Prove It: A Structured Approach
Daniel J. Velleman
Bayesian Data Analysis
Andrew Gelman
Antenna Engineering Handbook, Fourth Edition
John Volakis
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash