手性合成与手性药物

本书在简要介绍手性合成、手性药物基础知识的基础上，按反应方法学，分别介绍了生物催化不对称合成、不对称还原反应等。

现代化学专著系列 典藏版 32 天然产物合成化学 科学和艺术的探索

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

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

天然产物化学合成 科学和艺术的探索

天然产物合成化学集中体现了现代有机合成的科学成就和艺术创造。《天然产物合成化学：科学和艺术的探索》取材于作者所在课题组20年来在国内外优秀期刊上先后发表的140多篇论文，系统介绍了课题组在六类具有重...

精细有机合成 有机化学实践中的反应与合成

无机化合物的合成与鉴定

聚合物的合成与应用

超分子化学 合成受体的分子识别与组装

从宇宙大爆炸谈起 元素的起源与合成

绿色溶剂-离子液体的合成与应用

本书介绍了离子液体的种类、制法和性质、离子液体的热力学性质及其分离工程中的应用。