自动化
  1. 首页
  2. 自动化

列表

安全协议实施自动化生成与验证

安全协议实施自动化生成与验证

《安全协议实施自动化生成与验证》,作者:孟博,王德军 出版社:科学出版社 ISBN:9787030508676。本书包括五篇，共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2C
壹号书单 2016年11月01日
电子设计自动化

电子设计自动化

《电子设计自动化》,作者:庄镇泉，胡庆生编著 出版社:科学出版社 ISBN:7030073959。本书介绍了集成电路板图设计基础，VHDL语言及其应用，数字系统综合技术，印刷电路板设计，电子系统设计方法等内容。
壹号书单 2000年10月01日
自动化夹具图集

自动化夹具图集

《自动化夹具图集》,作者:(日)藤森洋三著 出版社:科学出版社 ISBN:15031441。夹具是机械加工中一种不可缺少的工具，使用合适的夹具不仅可以提高加工精度、提高生产效率，而且还可以减轻劳动强度。 本书收集了有代表性的自动化夹具结构图一百多个，可供广大工人和工程技术人员设计制作夹具和改进夹具时参考。
壹号书单 1982年10月01日