Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
Hyperparameter Optimization in Machine Learning
Luca Franceschi
编译原理
Alfred V. Aho