非线性代数方程组与定理机器证明

工程数学 上 线性代数与数理方程

四点导学 初一历史

本书由基础知识训练，创新能力提高，课外技能拓展三部分组成，按教学大纲同步编写，内容全面，重点分类清晰，注重对学生知识掌握的巩固。...

高等工科院校自学函教材 工程数学 上 线性代数与数理方程

我的世界是圆的 科拉尼和他的工业设计

本书介绍工业设计大师科拉尼的设计思想和理念，以及他的各种工业设计作品，分析评说他们的特点和成就。介绍他对中国的情怀及对中国工业设计界的建议和忠告。...

一阶椭圆型微分方程组与边值问题及其在薄壳理论上的应用

半导体激光器速率方程理论 上

本书分三章，第一章详细讨论半导体异质结构的注入(激发)及其电流机制、能带图表述、并着重探讨与新近垂直腔面发射激光器的发展密切相关的多层同型异质结理论。同时也为速率方程理论的建立提供坚实的物理和理...

如何在电脑上观赏影碟

本书以实际生活中使用电脑播放VCD影碟为背景，深入浅出地探讨了在使用过程中所涉及的播放VCD的环境要求，流行软解压软件的使用方法，硬件解压原理及安装配置，新一代软解压技术——DVD特点等诸多方面，并给出了翔实...

定理机器证明

自动定理证明