计算机辅助技术实践指南

本书内容包括实践目的要求、实践内容、实践安排、指导及考核办法、SolidWorks软件应用实践示例、Pro/E软件...

2009.

计算机辅助快速表达

本书主要介绍了平面软件设计基础、矢量软件工具栏的使用、图形编辑、产品设计实例、位图软件操作基础、图层...

2009.11

计算机辅助市场

计算机辅助市场采用算法辅助驱动和管理的市场博弈模式,彻底改变了市场运行的方式,市场研究方式在关注“市...

2020.4

CAD/CAE技术及其应用研究

本书结合数字化设计制造技术的最新发展和应用需要,阐述了CAD/CAE技术的理论知识与应用技术,同时也反映出...

2017.11

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本...

2013.5