Digest of Papers 1972 INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING
IEEE Computer Society1972 年出版215 页ISBN：
THE ART OF COMPUTER PROGRAMMING VOLUME 1：FUNDAMENTAL ALGORITHMS （THIRD EDITION）
[美]DONALD E.KNUTH著2008 年出版650 页ISBN：
THE ART OF COMPUTER PROGRAMMING VOLUME 2：SEMINUMERICAL ALGORITHMS （THIRD EDITION）
[美]DONALD E.KNUTH著2008 年出版762 页ISBN：
Computer Integrated Manufacturing Proceedings of The 4th CIM Europe Conference
E.Puente and P.MacConaill1988 年出版422 页ISBN：
Introduction to the Theory of Computation Second Edition
Michael Sipser2006 年出版437 页ISBN：7111173279
本书系统的介绍了计算理论的三个主要内容：自动机与语言、可计算性和计算复杂性。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。...
MODELING AND COMPUTATIONS IN DYNAMICAL SYSTEMS IN COMMEMORATION OF THE 100TH ANNIVERSARY OF THE BIRT
EUSEBIUS J DOEDEL2006 年出版349 页ISBN：
