（印）罗伊乔杜里著2010 年出版202 页ISBN：9787302230724
本书是嵌入式系统软件验证方面的先驱之作，关注的重点在于嵌入式系统与软件的验证。
张友良等编著2000 年出版166 页ISBN：7801327632
本书介绍了柔性制造系统在运行控制中所涉及的理论与技术，主要包括柔性制造系统的概念和理论、计划与调度、运行控制的仿真等，还介绍了连续柔性生产线的仿真等内容。 ...
叶韶勋编著1993 年出版234 页ISBN：7111036514
本书介绍了计算机软件硬件基础知识、电算化会计信息系统结构、研制开发步骤与方法、使用维护、组织管理、内部控制及人员培训等内容。
郭培源编著2001 年出版175 页ISBN：7030091876
本书包括电力系统及其控制技术概述，电力系统稳定及其控制技术，电力系统频率和有功功率控制技术，电力系统电压调整和无功功率控制技术等内容。...
韩德顺主编2011 年出版174 页ISBN：9787512322080
本书内容包括电力系统；高压直流技术；特高压技术；发电厂；新能源技术；继电保护、安全自动装置及自动化；系统操作及事故处理；法规规程规定。...
王晓忠，梁彩霞主编2011 年出版279 页ISBN：9787111351894
本书借鉴德国先进教育教学模式，以就业为导向，以能力为本，以职业实践为主线，以实践教学为主体的原则进行设计。详细介绍了FANUC、SIEMENS、MITSUBISHI、华中以及广数五种典型数控系统的工作原理等。...
