当前位置：首页 > 名称
大约有8,000项符合查询结果项。（搜索耗时：0.0203秒）
为您推荐： press中国林业科学研究院木材工业研究所 中国林业科学研究院林业科学研究所森林保护研究室昆虫组著 林业部林业科学研究所森林经理研究室 林业科学研究所森林经理研究室 中国林业科学研究院科技情报研究所 press辽宁省林业科学研究所
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
中国化学教育研究丛书 化学概念的认知研究
丁伟著；王祖浩主编2015 年出版352 页ISBN：9787543580527《中国化学教育研究丛书》反映了改革开放特别是近十多年课程改革以来中国化学教育的理论研究或实践总结的重要成果。从新的视角梳理我国化学教育的历史脉络，提炼化学教育的“中国问题”；继承中国化学学科教育...
-
-
-
子流形基本对称张量泛函构造与变分
刘进著2015 年出版400 页ISBN：9787118105179第二基本型是刻画子流形最核心的张量系统，本书利用基本的张量组合原理，从第二基本型出发构造了多种类型的基本对称张量，从代数意义上定义了多种新型子流形。同时，以基本对称张量为依据，构造了多类型的抽象泛函，.....
-
格致方法定量研究系列 纵贯研究 第2版
（美）诺瓦尔·D.格伦著；于嘉著2012 年出版137 页ISBN：9787543221581纵贯研究分析跨时间的数据，当为了衡量变化而且能广泛而确实地推断因果关系时，研究者常常使用纵贯研究。纵贯研究可分为前瞻性和回顾性两种，梅纳德教授在这本书中都详尽地描述了不同的纵贯设计类型，除了追踪样本...
-
-
-
学科分类