（美）塞普瑟（Sipser，M.）著；唐常杰等译2006 年出版269 页ISBN：7111190289
本书系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。
（美）（L.福尔瑟姆）Leo Folsom，（美）（B.福尔瑟姆）Beatrice Folsom著；杨力，姜萍编著1999 年出版515 页ISBN：7312009719
（美）（克鲁瑟）Benedict，Kruse，（美）（克鲁瑟）Bettijune，Kruse著；伍耿新编译1996 年出版203 页ISBN：7560010830
（美）乔塞普·卢克巴切编著；高赞，智颖新译2002 年出版280 页ISBN：7500922205
本书阐述了足球进攻战术中重要阶段的专业知识，通过150种练习方法，对技战术作了详细的分析和说明，包括将球踢出防守三区、控制球、改变进攻点、边路进攻等内容。 ...
（美）西普塞（Michael Sipser）著；张立昂等译2000 年出版273 页ISBN：7111075749
本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角，综合地描述了计算机科学理论，并以清新的笔触、生动的语言给出了宽泛的数学理论，而并非拘泥于某些低层次的技术细节。在证明之前，均有“证明思...
INTRODUCTION TO THE THEORY OF COMPUTATION SECOND EDITION
[美]MICHAEL SIPSER著2006 年出版437 页ISBN：
（美）艾伦·亚瑟罗德（Alan Axelrod），（美）吉姆·荷杰（Jim Holtje）著；林娟娟译1999 年出版134 页ISBN：7801442490
