Book of Proof
Richard H. Hammack
How to Prove It: A Structured Approach
Daniel J. Velleman
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (1)
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross