数字集成电路设计验证 量化评估、激励生成、形式化验证 【工业技术】

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

偏微分方程 19 【数理化】

本书共分八章：第一章为绪论；第二、三章分别介绍了一阶方程、具有两个自变量的二阶方程的基本知识；第四、五、六章分别介绍了三类基本方程：波动方程、热传导方程和Laplace方程的定解问题的适定性、求解方法及解...

几何定理机器证明的基本原理 初等几何部分 【数理化】

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

几何瑰宝 平面几何500名题暨1000条定理 上 【数理化】

本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...

几何瑰宝 平面几何500名题暨1000条定理 下 【数理化】

本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...

高等数学基础 多元函数微积分与线性常微分方程 【数理化】

由西安交通大学编写的普通高等教育“十一五”国家级规划教材——《高等数学基础》（第二版）共分三册， 本书是其中一册，内容包括多元微分学及其应用、多元积分学及其应用、线性常微分方程三章及附录:矩阵与行列式...

画法几何及工程制图 【工业技术】

几何形体 【艺术】

本书为高考秘籍丛书中的一本，其详尽透彻地研究各种几何形体的特征，从单体到组合，分结构和光影两类，使学生深入掌握几何形体的绘画要领。...

随机微分方程及其在数理金融中的应用 【经济】

本书系统介绍随机微分方程的基础理论及其在数理金融中的应用，还介绍介绍了美式看跌期权的数字计算方法。第一章是绪论，主要介绍随机微分方程的起源、发展和应用背景。第二章主要介绍学习随机微分方程的预备知...

画法几何 【工业技术】

本书为大学各工科专业画法几何课程的教材，主要内容包括投影基本知识、点直线、平面的投影、直线与平面及两平面间的相对位置关系、投影变换、平面立体、曲线、曲面等知识。...