当前位置：首页 > 名称
大约有2,000项符合查询结果项。（搜索耗时：0.0258秒）
为您推荐： 微信小程序游戏开发快速入门到实战 微信小程序 微信小程序实战入门 title微信小程序实战入门 第2版 微信小程序营销与运营实战从入门到精通 基于微信小程序的手绘diy创作与分享平台设计
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
-
-
耶鲁大学开发课程 基础物理 2 电磁学 光学和量子力学
（美）R.SHANKAR著2019 年出版408 页ISBN：7111608240：《耶鲁大学开放课程：基础物理》分上、下两卷，本书为下卷，内容包括电磁学、光学和量子力学等内容。本书可作为高等学校理工科专业学生的教材或参考书，也适用于优秀的高中生及自学人员。配合耶鲁大学视频公开课使...
-
大学物理同伴教学案例库
陈晓白，李宝河，徐登辉等编著2014 年出版206 页ISBN：9787111467786本书参照教育部高等学校物理基础课程教学指导分委员会制定的《理工科类大学物理教学基本要求》、配合在大学物理课中使用同伴教学法编写完成。全书分两部分，第一部分概述分2章，简单介绍同伴教学法及课前准备...
-
-
图灵程序设计丛书 统计思维 程序员数学之概率统计
（美）唐尼著2015 年出版186 页ISBN：9787115401083本书共分14章，从最基本的概念讲起，内容包括探索性数据分析、分布、概率函数、累积分布函数、分布建模、概率密度函数、变量之间的关系、估计、假设检验、线性最小二乘法、回归分析、时序分析、存活分析及其他...
-
学科分类