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

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

珠算技术普通四级综合鉴定模拟题 【数理化】

苏联科学技术资料 极谱分析 2 【数理化】

近代分离分析技术基础知识 上 【数理化】

近代分离分析技术基础知识 下 【数理化】

化学实验技术 【数理化】

本书分为绪论、实验基础知识与基本技术、常见仪器和实验四个部分。实验部分选编了46个实验。涵盖了无机化学实验、有机化学实验、分析化学实验和综合性实验。...

化学分析技术 【数理化】

本书介绍了硅酸盐工业企业化验室基本知识、生产控制过程中的化学分析仪器及无机非金属材料的原料、半成品和成品的化学组成的分析检测技术。...

基础物理实验教程 物理测量的数据处理与实验设计 【数理化】

本书是普通高等教育“十五”国家级规划教材。作者力图建立以多选择性、多层次性研究型组合（系列）实验为主的教材框架，以适用于中型研究型组合实验为主的教学模式。该教材的实验内容的选择力求充分利用现有教学...

上帝与天才的游戏 量子力学史话 【数理化】

本书是对量子力学发展的一个回顾。量子理论是关于自然界的最基本的理论，它被认为是人类所创造的最优美、最成功的科学艺术品。它优美的数学形式令人赞叹，它精确的预言与实验惊人地符合，而它的成功应用更是遍及...

多维时间与运动分形论 化学反应、相对论、量子力学的运动统一 【数理化】

本书分上、下两篇。上篇中，作者根据化学反应质量作用定律和广义相对性原理，导出了复杂反应浓度场的非线性动力学方程，给出了化学反应、扩散、结晶形核、晶粒长大、传热及相变、吸附等多种基本动力学类型的机理...