算法导论
Thomas H. Cormen
How to Prove It: A Structured Approach
Daniel J. Velleman
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (2)
Algorithms and Combinatorics (1)