How to Prove It: A Structured Approach
Daniel J. Velleman
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Pattern Recognition and Machine Learning
Christopher M. Bishop