科学计算自由软件SCILAB研究、开发与应用 【数理化】

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

珠心算教育与少儿智力开发 【数理化】

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

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

功能性多糖胶开发与应用 【数理化】

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

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

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

世纪之交的力学教学 教学经验与教学改革交流会 【数理化】

智能优化的探索-开发权衡理论与方法 【数理化】

智能优化方法是解决复杂优化问题、尤其是复杂系统中产生的各种困难优化问题的有效方法。智能优化方法采用启发方式实现问题的优化求解，具有不依赖于梯度、对优化问题的性质几乎没有要求、适用范围广、适于处...

化学多媒体课件的设计、开发与制作 【数理化】

随着计算机科学与技术的高速发展及其化学研究与化学教育的不断交叉、渗透和整合，现代计算机技术正在化学、化工专业的科研、生产、教学中起到日益重要的作用。本书主要论述了化学多媒体课件的设计、开发与制...

ANSYS-APDL级工程应用实例分析与二次开发 【数理化】

本书对ANSYS参数化设计语言，即APDL语言的编写结构、参数变量与数组的类型及定义、程序结构控制、宏命令等内容进行了详细的阐述；然后结合一定的实例，依照前处理器、加载与求解处理器、后处理器、后处理器、实...

初等数学研究与教学法 教学法 【数理化】