数学趣题与智力开发

SCILAB研究、开发与应用

本书主要介绍国内国际上近年来，科学计算自由软件SCILAB的研究、开发与应用的最新成果。

机遇与挑战 二氧化碳资源开发与利用

本书详细地介绍了二氧化碳的性质、排放与储存、分离方法、生产以及产品的标准、分析方法等。

近代物理开发研究与创新

本书包括：核物理基核磁共振技术、近代物理综合性实验、低温与超异液晶等。

多媒体物理教学软件开发与应用

科学计算自由软件SCILAB研究、开发与应用

本书是2006年开放源代码软件SCILAB及其工程应用国际研讨会论文集。

珠心算教育与少儿智力开发

本书是中珠协近几年来在全国进行儿童珠心算教育对比测试研究的一批优秀成果，对于进一步促进珠心算在全国的普及、推进珠心算教育科研的开展，具有重要意义。...

中国科学院辐射技术研究与开发工作讨论会论文选编 1985

功能性多糖胶开发与应用

本书介绍了多糖胶的分类、生物学功能和生物合成、多糖胶的共性与应用，植物籽多糖胶、树木多糖胶、果胶、魔芋多糖胶、海藻多糖胶、微生物多糖胶和动物多糖胶的组成、结构和性质，并重点介绍了它们的生产技术、...

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...