自动化
安全协议实施安全性自动化分析与验证
《安全协议实施安全性自动化分析与验证》,作者:孟博,王德军著 出版社:科学出版社 ISBN:9787030625069。《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽
电子设计自动化项目教程
《电子设计自动化项目教程》,作者:舒伟红主编 出版社:科学出版社 ISBN:9787030273369。本书主要讲解Protel 99 SE的操作，以七个项目为教学主线，较为系统地介绍了SCH原理图、PCB板图设计及仿真的方法与技巧。
企业办公自动化管理系统
《企业办公自动化管理系统》,作者:盛宇华，朱晓峰编著 出版社:科学出版社 ISBN:7030138538。本书介绍企业办公自动化管理系统的基本概念、企业办公自动化管理系统的各个子系统、企业办公自动化技术和设备管理、企业办公自动化网络管理、企业办公自动化管理系统的安全管理、企业办公自动化管理系统的管理。
物流自动化与信息化管理实验教程
《物流自动化与信息化管理实验教程》,作者:薄洪光 主编 出版社:科学出版社 ISBN:9787030570567。《物流自动化与信息化管理实验教程》属辽宁省普通高等学校转型发展示范专业规划教材。本书中的实验设计主要是针对企业物流管理各个环节全过程的自动化和信息化管理内容，重点突出了装备制造业生产与供应链管理特色，有助于学生掌握制造业物流自动化和信息化管理方面的应用知识和实践技能。
机电设计自动化新兴研究及其进展
《机电设计自动化新兴研究及其进展》,作者:范衠 著;朱贵杰,王攀 译 出版社:科学出版社 ISBN:9787030554529。本书主要介绍了键合图的基本理论和键合图在设计中的突出优势，重点介绍了基于键合图和遗传编程的进化设计方法。详细阐述了两个基于BG/GP的进化设计方法解决实际工程设计问题的案例，将BG/GP方法延伸应用到微观领域，讨论了MEMS层级进化合成的研究，并探讨了机电系统中肢-脑协同
数字计算机设计自动化的理论和方法
《数字计算机设计自动化的理论和方法》,作者:(美)布鲁尔(M.A.Breuer)编；中国科学院计算技术研究所设计自动化组译 出版社:科学出版社 ISBN:15031196。本书是介绍数字计算机设计自动化的综合性读物．全书共分七章．第一章概括地介绍了数字系统设计自动化的概念．其下各章分别论述了逻辑综合、逻辑模拟、逻辑分划、布局、布线和故障测试的产生等问题．这些问题在计算机的设计自动化里，都是非常重要
变量筛选、模型分类及自动化建模方法
《变量筛选、模型分类及自动化建模方法》,作者:王惠文，孟洁著 出版社:科学出版社 ISBN:9787030375162。本书采用理论与实践相结合的方式，重点介绍了变量筛选、模型分类及自动化建模方法。在本书内容中，很多是直接来源于本书作者与其合作者在相关领域的研究工作，诸如关于变量多重相关对多元回归、主成分分析以及偏最小二乘回归等几种有代表性的多元分析模型的影响方式；基于Gram-Schmidt变换
