（印）罗伊乔杜里著2010 年出版202 页ISBN：9787302230724
本书是嵌入式系统软件验证方面的先驱之作，关注的重点在于嵌入式系统与软件的验证。
张友良等编著2000 年出版166 页ISBN：7801327632
本书介绍了柔性制造系统在运行控制中所涉及的理论与技术，主要包括柔性制造系统的概念和理论、计划与调度、运行控制的仿真等，还介绍了连续柔性生产线的仿真等内容。 ...
朱华兴，张立新主编2011 年出版590 页ISBN：7511410221
本书内容包括加氢的综述、加工工艺、机械设备、自动控制、计算机应用、催化剂与助剂、能量利用等方面的技术创新和技术革新经验。
韩买良，沈明忠主编2010 年出版277 页ISBN：9787122090010
本书介绍了各种有效的节水和水处理方法及工程应用情况。
张曙光著2007 年出版420 页ISBN：7030187482
本书共9个方面的内容，归纳总结了我国高速列车的理论和实践。
宋功业，韩茂蔚，张哲华编著2007 年出版333 页ISBN：9787802272484
本书介绍在装修工程兵中的各种新材料、新技术，以及质量控制方面的内容。
