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

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

中学化学教师计算机应用实例教程 【数理化】

有机合成化学与路线设计 【数理化】

本书是化学系本科生和研究生有机化学专业课教材。介绍了各类有机化学反应，并结合具体的有机化合物的合成讨论了有机合成路线设计思路、策略和技巧。...

试验设计与分析及参数优化 【数理化】

本书主要内容：试验设计的基本原则和理论；对设计的分析和试验数据的分析；稳健参数设计。

试验设计与统计方法 【数理化】

本书将以现代农业科学试验的工作过程为逻辑主线，依照工作过程导向，打破学科的系统性与完整性，全书设置5大学习项目：包括试验计划，试验实施，试验数据的收集、整理，试验结果的统计分析和试验总结五大部分。...

几何设计与计算的新进展 【数理化】

本书主要内容为几何设计和计算理论在工业中的应用，结合工业设计中亟需解决的关键问题和难点问题进行探讨，反映了国内几何设计与计算的最新研究和应用成果。...

实验设计与数据处理 【数理化】

本书在简单介绍了数学模型的来源后，着重讨论和介绍了实验数据的误差分析、实验结果图示、用最小二乘法拟合实验数据和回归分析法求取数学模型的原理和步骤，并较详细地介绍了几种常用的实验设计方法。...

有机合成化学与路线设计 【数理化】

本书是化学系本科生和研究生有机化学专业课教材。介绍了各类有机化学反应，并结合具体的有机化合物的合成讨论了有机合成路线设计思路、策略和技巧。...

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

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

线性代数学习指导与作业设计 【数理化】

本书根据教学大纲及同济大学《线性代数》第4版顺序编写，分数学基本要求、知识要点、基础作业题、自测题等。