信号与线性系统 【工业技术】

信号与线性系统 【工业技术】

高阶逻辑辅助证明系统 【工业技术】

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

线性算子的谱分析 【数理化】

本书系统介绍线性算子谱理论的基本知识，从几何方法和分析方法对几类特殊算子进行分析，书中给出最新研究成果。

信号与线性系统 【工业技术】

本书介绍信号与线性系统的基本概念，时域分析，频域分析等知识。

非线性系统滤波理论 【其他书籍】

汉语水平考试建设和计算机辅助教育 【语言文字】

“北京语言大学汉语水平考试中心学术文库”是汉语水平考试中心成立十周年的纪念文集。该文库由12部个人论文集组成。文集内容以公开发表的学术论文为主，主要涉及语言信息研究、语言测试、教学研究等领域。本...

地质模型计算机辅助设计原理与应用 【天文地球】

国家自然科学基金、大庆石油管理局、中国地质大学(北京)“211工程”建设项目等资助:本书分为六章，内容包括地质模型建模、Delaunay剖分、离散光滑插值方法、复杂地质体几何建模、以模型为基础的地震资料处理...

计算机辅助设计绘图 AutoCAD 2007版 【工业技术】

本书主要介绍AutoCAD 2007（中文版）的基本操作，二维和三维图形的绘制、编辑，文字和尺寸标注，块与图案填充，图层与线型、颜色设置等。并结合编者多年的教学经验，介绍了土木建筑工程图以及机械图的绘制方法和技巧。...

微型计算机辅助设计及其应用 【工业技术】

本书在简要介绍CAD基本知识的基础上