How to Prove It: A Structured Approach
Daniel J. Velleman
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer
Pattern Recognition and Machine Learning
Christopher M. Bishop
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross