当前位置：首页 > 名称
大约有5,000项符合查询结果项。（搜索耗时：0.0183秒）
为您推荐： 新c语言程序设计教程 委会 c语言程序设计实践教程 程序设计 程序设计教程 江苏语言资源资料汇 委会 程序设计语言pl 1编译组
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
语言能力在数学测试中的差异性影响
陈芳著2014 年出版108 页ISBN：9787310045006本书共分5章，首次将分位数回归运用于国际语言测试领域关注的一个研究课题中，从教育测量的角度探讨测试语言对于数学成绩的区分性影响。本研究既用实证案例详细讲解了分位数的方法，突出对比了以往研究中的方法...
-
时间序列分析及应用 R语言 原书第2版
（美）克莱尔等著2011 年出版350 页ISBN：9787111325727本书是关于时间序列的基础内容的一本教科书。主要讲授最基本的线性ARIMA模型的建立，具体包括时间序列的基本概念、趋势拟合、ARMA模型的性质、模型的辩识、参数估计、模型诊断、预测、季节模型的建立、动态...
-
新千年版 费恩曼物理学讲义 第3卷
（美）费恩曼（R·P·Feynman），莱顿（R·B·Leighton），桑兹（M·Sands）著；2013 年出版357 页ISBN：7547816387 -
-
-
-
非参数统计 基于R语言案例分析
柳向东编著2015 年出版216 页ISBN：9787566813206本书从问题背景与动机、方法引进、理论基础、计算机R语言实现、应用实例等诸多方面来介绍非参数方法，其内容包括：基于秩检验的符号检验、Wilcoxon检验、Kendal相关、列联表、Kolmogorov-Smirnov检验、非参数...
-
学科分类