How to Prove It: A Structured Approach
Daniel J. Velleman
Theory and Computation of Electromagnetic Fields
Jian-Ming Jin
算法
Robert Sedgewick & Kevin Wayne
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer