计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
How to Prove It: A Structured Approach
Daniel J. Velleman
Digital Minimalism: Choosing a Focused Life in a Noisy World
Cal Newport
Measurement
Paul Lockhart
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson