TRUE DIGITAL CONTROL：STATISTICAL MODELLING AND NON-MINIMAL STATE SPACE DESIGN
C.JAMES TAYLOR，PETER C.YOUNG AND ARUN CHOTAI2013 年出版333 页ISBN：9781118521212
ENGINEERING DESIGN A SYNTHESIS OF STRESS ANALYSIS AND MATERIALS ENGINEERING SECOND EDITION
JOSEPH H.FAUPEL，PH.D. FRANKLIN E.FISHER，PH.D.2222 年出版1056 页ISBN：
The 8th International Symposium on Distributed Computing and Applications to Business
Engineering and Science2009 年出版500 页ISBN：
Proceedings of the 38th International Conference on Computers and Industrial Engineering
夏国平 邓修权主编2008 年出版3082 页ISBN：
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
DATABASE DESIGN FUNDAMENTALS A Structured Introduction to Databases and a Structured Application Des
1988 年出版421 页ISBN：0131967916
