面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

化学分析一般知识及基本操作 【数理化】

UOP MOLET 分子筛装置操作手册 【数理化】

波动系统的定性分析与数值计算 【数理化】

全书共5章，主要介绍四类波动系统解的情况，刻画了解的各种性态。基于变分法与凹函数法找到了不同能量级别下各个系统相应的可解性条件，提出了可解性判定理论。第一章是概述，介绍四类波动系统的国内外研究现状。...

化学分析现场操作方法参考材料 低分子专业用 【数理化】

分析化学手册 第1章 初级的分析操作 【数理化】

化学分析操作方法 黑色金属部份 第1辑 【数理化】

化学分析操作方法 非金属部分 第1辑 【数理化】

化学分析基本操作 【数理化】

工业分析专业CBE教程:本书包括：实验室基础知识、实验室常用的洗涤液(剂)、实验室常用玻璃仪器的使用、实验室常用器皿和设备的使用、分析天平的使用、滴定分析仪器及其使用等内容。...

分形几何与动力系统讲义 【数理化】

分形几何与动力系统具有漫长的发展历史，它们为许多伟大的数学家和更高深且重要的数学提供了肥沃的土壤。这两个领域互相影响并以基本的方式影响混沌理论：许多动力系统（甚至一些非常简单的系统）都会产生分形集，这...