质子静电加速器 【数理化】

自动控制中的基础数学 微分方程与差分方程 【数理化】

自动控制中的基础数学 线性代数与矩阵理论 【数理化】

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

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

子流形基本对称张量泛函构造与变分 【数理化】

第二基本型是刻画子流形最核心的张量系统，本书利用基本的张量组合原理，从第二基本型出发构造了多种类型的基本对称张量，从代数意义上定义了多种新型子流形。同时，以基本对称张量为依据，构造了多类型的抽象泛函，.....

气相色谱使用与维修 【数理化】

轰击原子核的大炮 各种加速器 【数理化】

国产电子计算器的使用与维修 【数理化】

加速器单能中子源常用数据手册 【数理化】

研究工作报告 回旋加速器磁铁线卷抢修 【数理化】