Entropy and Diversity: The Axiomatic Approach
Tom Leinster
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
编译原理
Alfred V. Aho
Algorithm Design
Jon Kleinberg & Éva Tardos
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
零信任网络: 在不可信网络中构建安全系统
Evan Gilman