试验设计与数据处理 第2版

试验设计

试验设计自创立至今已有80多年的历史，产生了许多试验设计的方法。本书选其中最实用且各具特点的方法详细介绍，其中饱和设计及超饱和设计是首次搬上教科书。本书供高等院校统计专业学生使用，也可供相关专业学生...

现代光学设计方法

本书首先介绍光学设计的基础知识和像差理论，然后以国外先进的光学设计软件Zemax作为基础，详细介绍采用Zemax设计新型光学系统的方法。本书的特点是紧密结合当前各应用领域的最新的一些光学系统。...

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

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

应用光学和光学设计 第1分册

应用光学和光学设计 第3分册

应用光学和光学设计 第2分册

有机合成设计原理与应用

本收介绍了如何以合成子和切断法为手段，设计各类化合物的合成方法。

数学发现的艺术 数学探索中的合情推理

本书是一部用波利亚风格写成的数学方法论专注。它寓数学的思想方法与数学研究、发现、探索和解题之中，既是严肃的数学书、方法书，又是妙趣横生的科普读物。运用从数学史、课本、众多数学家的著作和手稿里采集...

试验设计与统计分析

本书系统介绍了该课程的基本知识、理论以及实用技术，内容包括试验方案制定、试验实验设计实施、数据处理基础等内容，共5个项目。