扩展的三段论及自动推理

本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。

电脑办公自动化实用教程

本书详细地介绍了初学者必须掌握的电脑办公知识和操作方法，并对新手在使用电脑进行办公操作时可能遇到的各种问题进行了专家级的指导。

间歇煮糖自动化参考资料

线性连续系统自动控制理论的问题与解答

办公文秘自动化实训教程

本书以大量的实例全面介绍了文秘工作人员需要掌握的各种计算机的各项功能。

变电站综合自动化技术问答

本书介绍了变电站综合自动化所涉及的通信技术、继电保护、运动、网络相关技术知识。

汽车自动变速器与变速驱动桥

办公自动化设备与常用软件

本书系统地对办公自动化设备与各类办公软件的使用进行了细致说明。

电脑办公自动化实用教程

本书系统地介绍了电脑办公自动化操作的各个方面。本书内容丰富、实用性强，可作为大中专院校的教材，可作为用户的自学参考书。

自动化专业的评估与发展

本书是21世纪社会学公共管理专业系列教材，主要讲领导学的基本理论和原理，还引进了大量的新案例。