智能自动化促进工业节能、降耗、减排
《智能自动化促进工业节能、降耗、减排》,作者:孙优贤，吴澄，王天然 出版社:科学出版社 ISBN:9787030420220。本书总结了人类文明的发展历程，从战略高度将自动化技术的发展放在生态文明建设的大背景下分析。按石化、化工、钢铁、有色金属、建材、火电六大行业，从信息化和工业化深度融合的角度展开。从各行业的总体发展情况入手，对我国工业节能减排的现状、问题、技术瓶颈等进行了全面的总结和梳理，通过
自动化
办公自动化教程与实训
《办公自动化教程与实训》,作者:涂宇，曹瑾亮编著 出版社:科学出版社 ISBN:7030155084。全书介绍了办公室工作人员所需要的计算机及相关办公自动化工具的硬件基础知识、Windows XP中文版、Word 2003中文版、Excel 2003中文版、PowerPoint 2003中文版等内容。
IT技能测评自动化 : 理论·技术·应用
《IT技能测评自动化 : 理论·技术·应用》,作者:许骏，柳泉波著 出版社:科学出版社 ISBN:7030098293。本书主要介绍了CAA的定义、分类，提出技能测评的信息模型，讨论了系统建模、形式化表示和知识推理，信息获取技术的应用等内容。
企业办公自动化管理系统
《企业办公自动化管理系统》,作者:盛宇华，朱晓峰编著 出版社:科学出版社 ISBN:7030138538。本书介绍企业办公自动化管理系统的基本概念、企业办公自动化管理系统的各个子系统、企业办公自动化技术和设备管理、企业办公自动化网络管理、企业办公自动化管理系统的安全管理、企业办公自动化管理系统的管理。
安全协议实施自动化生成与验证
《安全协议实施自动化生成与验证》,作者:孟博,王德军 出版社:科学出版社 ISBN:9787030508676。本书包括五篇，共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2C
