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
Algorithm Design
Jon Kleinberg & Éva Tardos
Differential Equations and Linear Algebra, 4th Edition
Stephen W. Goode & Scott A. Annin
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
零信任网络: 在不可信网络中构建安全系统
Evan Gilman