可靠性理论与实务

随机服务系统的理论与实务

为了能够建立一个优良的服务系统，并使之有效运转，必须先要清楚地了解在不同条件下，系统行为以及状态的变化，并以此作为设置服务系统和运作规则的依椐。第一章讨论什么是系统行为以及衡量其绩效尺度的基本概念以...

中等专业学校教学用书 理论力学 初稿 四年制机器制造性质专业适用

工业电解化学：理论、实务、技术、解析、展望

数理逻辑与机器证明

方程求解与机器证明 基于MMP的问题求解

论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...

用图形计算器学微积分 图形计算机器与大学数学

本书以图形计算器HP39gs为例介绍如何利用图形计算器学习一元微积分。

控制论 关于动物和机器的控制与传播科学 英文

1947年10月，维纳写出划时代的著作《控制论》，1948年出版后，立即风行世界。维纳的深刻思想引起了人们的极大重视。它揭示了机器中的通信和控制机能与人的神经、感觉机能的共同规律；为现代科学技术研究提供了崭新...

不等式机器证明与自动发现

本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......