（以）戈德里克著2015 年出版486 页ISBN：9787118103878
本书全面介绍了复杂性理论的研究内容，内容涵盖了NP完全性、空间复杂性、伪随机性生成器等内容，对许多子领域，如难度放大、伪随机性及概率证明系统等都有介绍，并在附录中介绍了与复杂性相关的现代密码学基础理论...
王景光著2011 年出版152 页ISBN：9787111332374
本书针对在新技术环境下信息系统开发所面临的问题，提出了一种基于Petri网理论的信息系统资源配置模型和规范化方法。
李文，艾建军，高健著2010 年出版334 页ISBN：9787301176795
本教材采用项目化教学模式，同时采用最新数控技术编写，多图表，尤其是现场图片，改变传统教材繁琐的内容描述，适合当今教学实际需要。本书主要介绍了数控机床概述、数控车削加工、数控铣削加工以及附录。...
