计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
Writing Well and Being Well for Your PhD and Beyond: How to ...
Katherine Firth
How to Prove It: A Structured Approach
Daniel J. Velleman
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
计算理论导引
Michael Sipser
编译原理
Alfred V. Aho
算法导论
Thomas H. Cormen
深入理解计算机系统
Randal E. Bryant
斯坦福算法博弈论二十讲
Tim Roughgarden
多处理器编程的艺术
Maurice Herlihy