自动化
办公自动化 : 一种管理方法
《办公自动化 : 一种管理方法》,作者:(美)瓦戈纳(Wagoner， K.P.)，(美)鲁普雷希特(Ruprecht， M.M.)著；夏川江等译 出版社:科学出版社 ISBN:7030015991。本书是一部办公自动化方面的专著。书中全面地论述了实现办公自动化的整个过程，详尽地介绍了办公自动化所涉及的技术、设施和管理方法，要解决的问题及其具体解决办法等；同时就办公自动化的实施步骤，实施过程中可能
安全协议实施自动化生成与验证
《安全协议实施自动化生成与验证》,作者:孟博,王德军 出版社:科学出版社 ISBN:9787030508676。本书包括五篇，共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2C
智能控制与智能自动化 : 第一届全球华人智能控制与智能自动化大会论文集 | 上卷
《智能控制与智能自动化 : 第一届全球华人智能控制与智能自动化大会论文集 | 上卷》,作者:(美)夏天长主编 出版社:科学出版社 ISBN:7030037464。本书收入论文443篇，分为智能系统和专家系统、智能控制、神经网络及其应用、模糊系统和模糊控制等22个专题，还有4篇附加论文。
办公自动化项目教程 : Office 2007版
《办公自动化项目教程 : Office 2007版》,作者:郭洪辉，彭太瑞主编 出版社:科学出版社 ISBN:9787030353696。本书围绕日常办公需要的核心能力来设计教学任务和实操案例，包括Word 2007综合应用、Excel 2007综合应用、批量制作Word文档、Powerpoint 2007综合应用及常用办公设备。
