大约有3,000项符合查询结果项。（搜索耗时：0.0297秒）
为您推荐： 供应链软件开发 供应链软件工程 供应链开发以实践 unity虚现实开发实战原书第二版 采购与供应管理 消毒供应中心管理与技术指南
-
基于有限元软件ANSYS 7.0的结构分析 【数理化】
张胜民编著2003 年出版411 页ISBN：7302075212本书详细介绍了基于通用有限元软件ANSYS 7.0进行结构分析的方法和技巧，回答了读者在使用ANSYS进行结构分析时迫切需要解决的各类问题。对于各类结构分析问题，书中都进行了深入的剖析和讲解，给出了详尽的解题思...
-
实用数学建模与软件应用 修订版 【数理化】
肖华勇编著2014 年出版328 页ISBN：9787561241448本书是在其第一版的基础上修订而成，对数学建模中使用广泛的各种数学模型进行了介绍。包括经典数学问题的建模巧用，初等模型，优化模型，离散模型，Markov模型，回归模型，时间序列模型，微分方程模型，差分方程模型，......
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
数学建模及其常用数学软件 【数理化】
耿秀荣，王彦辉，吴果林主编2012 年出版257 页ISBN：9787549521661本书分为两大部分：第一编数学建模。该编共分八章，主要介绍数学建模所涉及的数学基础和基本方法，包括建模原理的应用，以及诸如初等数学模型、图论模型、优化问题模型、微分方程模型、层次分析模型、统计分析模型...
-
ANSYS AQWA软件入门与提高 【数理化】
高巍，董璐，黄晶主编2018 年出版338 页ISBN：9787517061069本书着眼于软件实际操作，在浅显易懂的理论介绍基础上对使用海洋工程浮体分析软件AQWA进行浮体分析进行了详细的介绍并辅以工程实例，力图以一种全新的方式将海洋工程浮体分析工程实际与工程软件使用结合起来并...
-
ANSYS和ANSYS/FE-SAFE软件的工程应用及实例 【数理化】
姜年朝主编2006 年出版161 页ISBN：7563022988本书对ANSYS及ANSYS/FE-SAFE的操作步骤和方法进行了系统详尽的介绍，并具体阐述了ANSYS及ANSYS/FE-SAFE在结构和无人机产品设计中的应用。
-
ANSYS工程分析软件应用实例 【数理化】
叶先磊，史亚杰编著2003 年出版545 页ISBN：7302070415本书共分为5篇，分别为入门篇、结构静力分析篇、结构动力分析篇、结构非线性分析篇、热分析篇。入门篇介绍了ANSYS的安装、基本功能、界面菜单和基本求解过程，使读者对ANSYS有一个基本的了解，为后面进一步深入...
-
运筹学方法与配套软件YAJ 汉化 【数理化】
汪遐昌编著2005 年出版228 页ISBN：7810883674本书一方面讲清楚运筹学诸分支的数学模型、基本概念、基本理论、计算方法；同时提供相应的计算机软件，重点放在用计算机处理运筹学的方法。本书对于一切运用运筹学知识的人都是适用的，这包括一切管理人员、企业...
-
高等数学实验 第2版 学软件 做数学 【数理化】
汪晓虹，周含策编2016 年出版235 页ISBN：9787118106268本教材的编写思路是：1）让学生对功能强大的数学软件Mathematica或Matlab有一个初步的了解，除了学会用软件解决高等数学课程教学中涉及到的所有计算问题，也为将来学习其他的科学计算和应用软件打下基础。2）尽量多...
-
