当前位置:首页 > 名称
大约有900项符合查询结果项。(搜索耗时:0.0125秒)
为您推荐: asp net案例开发集锦 asp net应用开发实验教程 asp net应用开发实例教程 零基础学asp net jsp案例开发集锦 应用与开发案例教程
-
数学建模案例丛书 UMAP数学建模案例精选 2 【数理化】
姜启源等编译2015 年出版317 页ISBN:9787040430066本书为《数学建模案例丛书》的第二册,案例选自美国COMAP出版的UMAP期刊上的教学单元,包含的案例有确定地球的大小和形状、平台式起重机的模型设计、物种-面积关系、贝壳形态的建模、森林大火蔓延、钟表时与太...
-
-
-
-
-
功能性多糖胶开发与应用 【数理化】
蒋建新,菅红磊,朱莉伟等编著2013 年出版350 页ISBN:9787501990825本书介绍了多糖胶的分类、生物学功能和生物合成、多糖胶的共性与应用,植物籽多糖胶、树木多糖胶、果胶、魔芋多糖胶、海藻多糖胶、微生物多糖胶和动物多糖胶的组成、结构和性质,并重点介绍了它们的生产技术、...
-
1/1000000的人才会做的数学游戏 脑力开发终极版 【数理化】
(英)杜德尼著;考永贵,聂永革译2014 年出版319 页ISBN:7550007616本书作者根据历代数学家流传下来的数学趣题进行编排,用清晰的图画和解释为人们展开了一数学图景,对于各类人群的脑力开发都有重要的参考价值。本书曾入选和剑桥的数学参考书,是一本不可多得的数学游戏类书籍。...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】
YvesBertot,PierreCasteran等著2010 年出版432 页ISBN:9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这本书给出了大量的例子,所有这些例子都可以在计算机上执行。...
-
-
《数学分析》课程建设论文案例集 【数理化】
任崇勋主编2008 年出版212 页ISBN:9787536943148本书以海南建设国际旅游岛为背景,结合海南当地的人文地理环境,介绍相关英语知识和技能,包括海南旅游背景知识、对话等。
