INTRODUCTION TO AUTOMATA THEORY，LANGUAGES，AND COMPUTATION （THIRD EDITION）
[美]JOHN E.HOPCROFT RAJEEV MOTWANI JEFFREY D.ULLMAN著2008 年出版535 页ISBN：9787111223924
本书介绍了形式语言、自动机理论和计算复杂性理论。
Marketing Engineering:Computer-Assisted Marketing Analysis and Planning 第2版
[美]利连（Lilien2003 年出版518 页ISBN：
The 3rd Symposium on the Frontiers of Massively Parallel Computation
Joseph JaJa1990 年出版531 页ISBN：
INTRODUCTION TO COMPUTATIONAL SCIENCE: MODELING AND SIMULATION FOR THE SCIENCES
ANGELA B.SHIFLET AND GEORGE W.SHIFLET2006 年出版554 页ISBN：0691125651
Computer organization and design : the hardware/software interface fourth edition
David A.Patterson and john l.hennessy2009 年出版888 页ISBN：0123744938
Optimization of linear control systems : analytical methods and computational algorithms
F. A.Aliev and v.b.larin1998 年出版261 页ISBN：9056991132
EMBEDDED COMPUTING A VLIW APPROACH TO ARCHITECTURE，COMPILERS，AND TOOLS
[美]JOSEPH A.FISHER PAOLO FARABOSCHI CLIFF YOUNG著2006 年出版671 页ISBN：
Digest of Papers 1972 INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING
IEEE Computer Society1972 年出版215 页ISBN：
METHODS IM COMPUTATIONAL PHYSICS VOLUME 12 SEISMOLOGY:BODY WAVES AND SOURCES
BRUCE A. BOLT1972 年出版391 页ISBN：
