表面等离激元及其与激子杂化在表面催化反应中的应用 【数理化】

最佳可能的世界 数学与命运 【数理化】

从伽利略、惠更斯、笛卡儿、牛顿、莱布尼兹、费马到莫培督到欧拉、拉格朗日、哈密顿、雅可比、庞加莱……从钟摆保持同样的拍子到光线的传播再到台球问题……围绕这些伟大科学家的故事以及生活中熟悉的例子...

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

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

量子理论 爱因斯坦与玻尔关于世界本质的伟大论战 【数理化】

量子的发现和量子理论的创立与发展，是20世纪科学的最伟大冒险之一。本书终于可以让读者充分了解和掌握量子与量子物理学的关键概念，还可洞悉在其更广泛的情境设置下的科学发展，其结果是具有挑战性和令人着迷的...

教育神经科学与国民素质提升系列丛书 教育神经科学视野中的数学教育创新 【数理化】

现代办公室管理 【数理化】

管理数学基础 【数理化】

管理数学 上 【数理化】

暂缺《管理数学》简介

管理统计 【数理化】

管理数学 【数理化】