How to Prove It: A Structured Approach
Daniel J. Velleman
The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
斯坦福算法博弈论二十讲
Tim Roughgarden
编程珠玑
Jon Bentley
Measurement
Paul Lockhart