朱宏辉主编2005 年出版271 页ISBN：7502565140
本书介绍了物流自动化技术作为现代自动化学科技术的一个分支、主要研究物流系统的建模、分析设计、优化和控制等。
张寅生著2009 年出版295 页ISBN：9787502363185
本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
薛定宇，陈阳泉著2002 年出版434 页ISBN：7302053413
本书首先介绍了MATLAB语言的程序设计的基本内容，在此基础上介绍了系统仿真所必要的数值计算方法及MATLAB实现。
何金田主编；张全法副主编2008 年出版280 页ISBN：9787560619521
本书内容包括绪论、模拟显示技术及仪表、数字显示技术及仪表、智能仪器各种平板显示器简介、计算机图形显示等。
（美）毕晓普著2003 年出版255 页ISBN：7302068593
本书讲述现代控制系统分析和设计的主要理论与方法、工程实例及其MATLAB和SIMULINK仿真分析。
