大约有4,000项符合查询结果项。(搜索耗时:0.0310秒)
为您推荐: python语言程序设计教程上海交通大学出版社 python语言程序设计教程 python语言程序设计 超简单的python人气讲师为你讲解程序开发 大数据分析实务初级教程python篇 城市智能交通系统工程设计及案例
-
数值分析 使用C语言 第4版 【数理化】
简聪海编著2014 年出版277 页ISBN:9787512412712本书使用Turbo—C语言把数值分析的重要理则付诸执行,为了兼顾一些读者没有学过C语言,但知道如何使用Q BASIC、Visual Basic或其它高阶计算机语言来写程序,在书中章节里,每个问题一定先会有一篇解题的详细理则(Al...
-
高等边界元法 理论与程序 【数理化】
高效伟,彭海峰,杨恺,王静著2015 年出版361 页ISBN:9787030426895边界元法是在有限元法之后发展起来的一种精确高效的工程分析数值方法。经过近五十年的发展,它不仅在固体与结构分析领域成为有限元法最重要的一种补充,在机电系统电磁场分析和大型结构电磁波散射分析等领域也...
-
有限元法及ANSYS程序应用基础 【数理化】
张力主编2008 年出版161 页ISBN:9787030227355本书内容分为两大部分:有限元法基础和ANSYS程序应用基础。有限元法基础的内容有绪论、有限元法的直接刚度法(直梁和平面刚架)、弹性力学基础知识、平面问题的有限元法(三角形单元和矩形单元)、等参数单元;ANSYS程...
-
数学写真集 无需语言的证明 第2季 【数理化】
(美)尼尔森编2014 年出版132 页ISBN:9787111466772本书由131个“无需语言的证明”的图片组成,每个图片的下面列出了该图片要“证明”的数学结论。当从一个图片中悟出为何该图片证明了相应的数学结论时,读者便能够体会到数学绝妙的美,所以这本书叫做数学写真集...
-
数学写真集 无需语言的证明 第1季 【数理化】
(美)尼尔森编2014 年出版154 页ISBN:9787111447740本书由131个“无需语言的证明”的图片组成,每个图片的下面列出了该图片要“证明”的数学结论。当从一个图片中悟出为何该图片证明了相应的数学结论时,读者便能够体会到数学绝妙的美,所以这本书叫做数学写真集...
-
-
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】
YvesBertot,PierreCasteran等著2010 年出版432 页ISBN:9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这本书给出了大量的例子,所有这些例子都可以在计算机上执行。...
-
语言能力在数学测试中的差异性影响 【数理化】
陈芳著2014 年出版108 页ISBN:9787310045006本书共分5章,首次将分位数回归运用于国际语言测试领域关注的一个研究课题中,从教育测量的角度探讨测试语言对于数学成绩的区分性影响。本研究既用实证案例详细讲解了分位数的方法,突出对比了以往研究中的方法...
