数字计算机设计自动化的理论和方法
《数字计算机设计自动化的理论和方法》,作者:(美)布鲁尔(M.A.Breuer)编；中国科学院计算技术研究所设计自动化组译 出版社:科学出版社 ISBN:15031196。本书是介绍数字计算机设计自动化的综合性读物．全书共分七章．第一章概括地介绍了数字系统设计自动化的概念．其下各章分别论述了逻辑综合、逻辑模拟、逻辑分划、布局、布线和故障测试的产生等问题．这些问题在计算机的设计自动化里，都是非常重要
自动化
烤烟密集型自动化烤房及烘烤工艺技术
《烤烟密集型自动化烤房及烘烤工艺技术》,作者:崔国民主编；云南省烟草农业科学研究院编著 出版社:科学出版社 ISBN:9787030358769。本书内容包括：烤烟密集型烤房概述；烤烟密集型烤房围护结构与集群式设计；烤烟密集型烤房供热设备、烤烟密集型烤房设备安装调试及运行维护；烤烟密集型烤房新技术；烤烟密集烘烤能耗分析；烤烟密集烘烤太阳能及高温空气源热泵应用技术等。
自动化综合实训教程 : 西门子S7 PLC
《自动化综合实训教程 : 西门子S7 PLC》,作者:李方园等编著 出版社:科学出版社 ISBN:9787030298195。本书涵盖了S7系列PLC应用的大部分场合，包括与传感器的综合应用、与变频器的综合应用、在逻辑控制中的应用、在流程控制中的应用等。
新概念文秘与办公自动化教程
《新概念文秘与办公自动化教程》,作者:成昊，魏彦华编著 出版社:科学出版社 ISBN:9787030314949。本书共有9个项目，主要包含Windows XP与办公自动化、文字处理与办公应用、电了表格与数据处理、演示文稿制作、文秘办公常用文档、互联网应用基础、电子商务、常用办公设备的使用与维护、常用办公工具的应用等内容。
基于自动化检测车的桥梁损伤识别理论与实践
《基于自动化检测车的桥梁损伤识别理论与实践》,作者:阳洋,王慧,杨阳 著 出版社:科学出版社 ISBN:9787030719041。基于自动化检测车的桥梁损伤诊断这一概念提出还不到20年，但是自提出到现在，该理论受到了各国学者的关注，产生了诸多研究成果。本书在自动化检测车的基础上，详细介绍了双车系统运行动采、三车系统运行动采和三车系统运行静采方式下的桥梁结构损伤诊断理论。为了让读者更深刻地了解自动
工业自动化及过程控制
《工业自动化及过程控制》,作者:(美)J. 斯特纳森著；王枞，张彬，郭燕慧译 出版社:科学出版社 ISBN:7030177606。本书分为16章，内容包括：工业自动化概述，现场安全问题，PLC概述，编程基础，RA寻址方式与指令系统，计时器和计数器，输入/输出模块和布线，算术及高级指令，工业传感器，机器人学简介，流体传动导论，过程控制基础，过程控制系统，工业通信概述，计算机数字控制设备，安装、维护和
电子设计自动化项目教程
《电子设计自动化项目教程》,作者:舒伟红主编 出版社:科学出版社 ISBN:9787030273369。本书主要讲解Protel 99 SE的操作，以七个项目为教学主线，较为系统地介绍了SCH原理图、PCB板图设计及仿真的方法与技巧。
安全协议实施自动化生成与验证
《安全协议实施自动化生成与验证》,作者:孟博,王德军 出版社:科学出版社 ISBN:9787030508676。本书包括五篇，共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2C
