算法导论
Thomas H. Cormen
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
算法设计
Jon Kleinberg
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser