当前位置：首页 > 名称
大约有1,000项符合查询结果项。（搜索耗时：0.0184秒）
为您推荐： 小程序实战视频课 微信小程序开发全案精讲 title微信小程序开发从入门到实战 微信小程序开发 微信小程序开发入门与实践 微信小程序开发入门与实践 移动 微信小程序开发与运营
-
ANSYS 17.0案例分析视频精讲
张云杰，尚蕾编著2017 年出版464 页ISBN：9787121319839本书针对ANSYS 17.0软件的实用功能，以精选的案例为主线，介绍ANSYS有限元分析的全过程，重点介绍ANSYS 17.0各个模型功能及操作步骤，结合案例依次介绍各类型分析的操作流程，以及复杂综合实例的演示。另外，本书还通...
-
HyperMesh 2017案例分析视频精讲
张云杰，郝利剑编著2017 年出版456 页ISBN：9787121320620本书针对Hypermesh 14.0软件的有限元前处理功能，以精选的案例为主线，介绍Hypermesh 的有限元建模和后分析软件接口的全过程，重点介绍Hypermesh 14.0各个模型功能及操作步骤，并结合案例介绍Hypermesh与主流CAE软...
-
ANSYS Workbench 17.0案例分析视频精讲
张云杰，郝利剑编著2017 年出版457 页ISBN：9787121320859本书针对ANSYS Workbench 17.0软件的实用功能，以精选的案例为主线，介绍Workbench的建立分析模型、建立有限元模型、模拟计算和后处理分析的全过程，重点介绍Workbench 17.0各个模型功能及操作步骤，结合案例介绍W...
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
-
-
-
