科学计算和C程序集 新1版

本书汇集了科学计算的常用数值计算方法及其C语言程序。内容包括解线性代数方程组的直接法和迭代法、插值和拟合、数值微分和数值积分、矩阵特征值问题、非线性方程和非线性方程组的数值解法、常微分方程及...

法庭科学DNA证据的解释

本书从法庭科学DNA检验的生物学、遗传学、统计学基础理论入手，深入浅出地介绍了法庭科学DNA检验中不同类型案件或样本的检验结果应如何从科学、客观的角度加以解释、理解和正确地应用。...

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

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

公司争诉的裁判思维和《公司法》的解释方法

音乐与建筑 两种语言的相互转换和音乐解释学

本书作者系统梳理阐述了西方古典音乐的源流及其与西方建筑之间的相互启发，相互为用，相互依存、相得益彰的关系，分别解析了西方主要古典音乐大师的部分主要作品。...

编译原理 编译程序构造实践教程

本书把整个编译程序的各个部分系统而有机地贯穿起来，让读者对编译程序的结构有一个系统而感性的认识，对编译程序的构造有更深的理解，从而更好地掌握编译原理。...

经济解释 卷1 科学说需求 神州增订版

本书是张五常经典经济学学术著作《经济解释》之卷首。《经济解释》系列著作从经济学的角度出发，用科学的方法来解释现实生活中的经济现象和行为。...

科学基础 板块构造

《板块构造》详细讲述了板块构造论的发展，从最初大陆漂移的大胆观点到如今被人们所接受并作为推动地质学发展的主要概念，那些使板块构造论成为科学领域一个重要理论并为此作出贡献的科学家功不可没。这本书还...

我爱科学系列丛书 我们身边的食物

本丛书从电、磁、光、天气、食物等方面，用生动浅显的语言，丰富详尽的科学资料，一一给我们揭示了发生在我们身边的现象，破解了疑团，增长了知识。...

探索学科科学奥秘丛书 有趣的化学

本书集科学性、知识性、趣味性为一体，为青少年介绍了化学方面许多鲜为人知的趣闻，是一本有趣的科普读物。