计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
Entropy and Diversity: The Axiomatic Approach
Tom Leinster
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Algorithm Design
Jon Kleinberg & Éva Tardos