化学多媒体课件的设计、开发与制作

随着计算机科学与技术的高速发展及其化学研究与化学教育的不断交叉、渗透和整合，现代计算机技术正在化学、化工专业的科研、生产、教学中起到日益重要的作用。本书主要论述了化学多媒体课件的设计、开发与制...

量子力学与经典力学之间的联系在原子、分子及电动力学系统建模中的应用

网络远程教学资源设计开发 化学

本书介绍网络远程教育资源设计与开发在化学领域的应用，包括化学教学资源的网络远程化发展等。

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

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

智能优化的探索-开发权衡理论与方法

智能优化方法是解决复杂优化问题、尤其是复杂系统中产生的各种困难优化问题的有效方法。智能优化方法采用启发方式实现问题的优化求解，具有不依赖于梯度、对优化问题的性质几乎没有要求、适用范围广、适于处...

试验的分析与设计

试验的设计与分析

试验的设计与分析

试验设计的技术与方法

正交设计的方法与理论