零信任网络: 在不可信网络中构建安全系统
Evan Gilman
How to Prove It: A Structured Approach
Daniel J. Velleman
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (1)
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Algorithms and Combinatorics (2)