化验 实验 室常用仪器设备实用指南 【数理化】

GJB299《电子设备可靠性预计手册》应用指南 【数理化】

用C语言开发高性能数值计算程序 【数理化】

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

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

迭代方程与嵌入流 【数理化】

纵横嵌入术 【数理化】

本书包括:问题与背景、纵横嵌入、最小面积设计、分解术等9章。

图的可嵌入性理论 第2版 【数理化】

图的可嵌入性理论 【数理化】

中国科学院科学出版基金资助国家自然科学基金委员会资助:本书包括:预备知识、图中的空间、高斯交叉问题、图的分解、纽结不变量等15章。

科学技术研究报告 转化原则的一些应用和嵌入不等式 【数理化】

Trudinger-Moser嵌入的相关研究 【数理化】

作为Sobolev 嵌入定理的临界情形, Trudinger-Moser 嵌入在带有指数增长型非线性项的偏微分方程的解的存在性研究中起着重要的作用。 本书介绍了Trudinger-Moser嵌入的一些最新研究进展。本书可供从事泛函分...