当前位置：首页 > 名称
大约有4,000项符合查询结果项。（搜索耗时：0.0201秒）
为您推荐： 粮农组织土地及水利开发处土壤资源管理和保护科 粮农组织土地水利开发司肥料和植物营养处著 联合国粮食及农业组织 press联合国粮食及农业组织 联合国粮食及农业组织辑 联合国粮食及农业组织林业司森林经济统计科写
-
功能性多糖胶开发与应用
蒋建新，菅红磊，朱莉伟等编著2013 年出版350 页ISBN：9787501990825本书介绍了多糖胶的分类、生物学功能和生物合成、多糖胶的共性与应用，植物籽多糖胶、树木多糖胶、果胶、魔芋多糖胶、海藻多糖胶、微生物多糖胶和动物多糖胶的组成、结构和性质，并重点介绍了它们的生产技术、...
-
1/1000000的人才会做的数学游戏 脑力开发终极版
（英）杜德尼著；考永贵，聂永革译2014 年出版319 页ISBN：7550007616本书作者根据历代数学家流传下来的数学趣题进行编排，用清晰的图画和解释为人们展开了一数学图景，对于各类人群的脑力开发都有重要的参考价值。本书曾入选和剑桥的数学参考书，是一本不可多得的数学游戏类书籍。...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
-
-
-
-
-
学科分类