ELEMENTS OF THE THEORY OF REPRESENTATIONS
1970 年出版315 页ISBN:3540074767;0387074767
INTRODUCTION TO THE THEORY OF COMPUTATION SECOND EDITION
[美]MICHAEL SIPSER著2006 年出版437 页ISBN:
MICROMECHANISMS OF PLASTICITY AND FRACTURE
M.H.LEWIS AND D.M.R.TAPLIN1983 年出版368 页ISBN:0888980450
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN:0198538359
FOUNDATIONS OF COMPUTER SCIENCE FROM DATA MANIPULATION TO THEORY OF COMPUTATION
(美)弗若赞(FOROUZAN2004 年出版384 页ISBN: