固体力学的理论与实践 【数理化】

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

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

分子模拟的理论与实践 【数理化】

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

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

乳状液理论与实践 【数理化】

数学应用与实践 【数理化】

本书内容包括：绪论、函数的应用、极限与连续、微分学及其应用、积分学及其应用、常微分方程及其应用。

初中数学解题理论与实践 【数理化】

非线性力学理论与实践 【数理化】

数学课堂教学理论与实践 【数理化】

数理学科教学研究与实践 【数理化】