英汉汉英自动化专业词典
《英汉汉英自动化专业词典》,作者:中国科学院计算机语言信息工程研究中心编 出版社:科学出版社 ISBN:7030135555。本词典挑选和编译了自动化专业领域的相关词语85000余条，涉及军事、交通、通信、机电、航空、机械、计算机、工程技术、汽车、传感等25个应用领域。
自动化
办公自动化教程与实训
《办公自动化教程与实训》,作者:涂宇，曹瑾亮编著 出版社:科学出版社 ISBN:7030155084。全书介绍了办公室工作人员所需要的计算机及相关办公自动化工具的硬件基础知识、Windows XP中文版、Word 2003中文版、Excel 2003中文版、PowerPoint 2003中文版等内容。
安全协议实施安全性自动化分析与验证
《安全协议实施安全性自动化分析与验证》,作者:孟博,王德军著 出版社:科学出版社 ISBN:9787030625069。《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽
电子设计自动化项目教程
《电子设计自动化项目教程》,作者:舒伟红主编 出版社:科学出版社 ISBN:9787030273369。本书主要讲解Protel 99 SE的操作，以七个项目为教学主线，较为系统地介绍了SCH原理图、PCB板图设计及仿真的方法与技巧。
办公自动化 : 一种管理方法
《办公自动化 : 一种管理方法》,作者:(美)瓦戈纳(Wagoner， K.P.)，(美)鲁普雷希特(Ruprecht， M.M.)著；夏川江等译 出版社:科学出版社 ISBN:7030015991。本书是一部办公自动化方面的专著。书中全面地论述了实现办公自动化的整个过程，详尽地介绍了办公自动化所涉及的技术、设施和管理方法，要解决的问题及其具体解决办法等；同时就办公自动化的实施步骤，实施过程中可能
机电设计自动化新兴研究及其进展
《机电设计自动化新兴研究及其进展》,作者:范衠 著;朱贵杰,王攀 译 出版社:科学出版社 ISBN:9787030554529。本书主要介绍了键合图的基本理论和键合图在设计中的突出优势，重点介绍了基于键合图和遗传编程的进化设计方法。详细阐述了两个基于BG/GP的进化设计方法解决实际工程设计问题的案例，将BG/GP方法延伸应用到微观领域，讨论了MEMS层级进化合成的研究，并探讨了机电系统中肢-脑协同
物流自动化与信息化管理实验教程
《物流自动化与信息化管理实验教程》,作者:薄洪光 主编 出版社:科学出版社 ISBN:9787030570567。《物流自动化与信息化管理实验教程》属辽宁省普通高等学校转型发展示范专业规划教材。本书中的实验设计主要是针对企业物流管理各个环节全过程的自动化和信息化管理内容，重点突出了装备制造业生产与供应链管理特色，有助于学生掌握制造业物流自动化和信息化管理方面的应用知识和实践技能。
企业办公自动化管理系统
《企业办公自动化管理系统》,作者:盛宇华，朱晓峰编著 出版社:科学出版社 ISBN:7030138538。本书介绍企业办公自动化管理系统的基本概念、企业办公自动化管理系统的各个子系统、企业办公自动化技术和设备管理、企业办公自动化网络管理、企业办公自动化管理系统的安全管理、企业办公自动化管理系统的管理。
