Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
编译原理
Alfred V. Aho
算法设计
Jon Kleinberg
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince