Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Statistical Rethinking: A Bayesian Course With Examples in R ...
Richard McElreath
多处理器编程的艺术
Maurice Herlihy
算法导论
Thomas H. Cormen
计算理论导引
Michael Sipser
深入理解计算机系统
Randal E. Bryant
斯坦福算法博弈论二十讲
Tim Roughgarden
编译原理
Alfred V. Aho