胡朋，聂凤军，江思宏等著2009 年出版112 页ISBN：9787116060807
本书系统阐述了北山南带的大地构造单元特征和演化历史，全面总结了北山南带各类金矿床的地质特征并分析其控制机制，建立区域构造岩浆演化与金的成矿作用的区域成矿耦合模式；圈定了北山南带金矿床的有利成矿区域...
来新夏，黄燕生主编；李国庆，俞冰，石光明，杨健副主编；石莉，史婕，孟欣，皇甫军，陈湛绮编2012 年出版549 页ISBN：7507740073
姜良芹，吴润凯编；张宪文主编；马振犊，王正，王卫星，张生，张连红，杨夏鸣副主编2014 年出版4402 页ISBN：7214127921
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
杨镰主编2013 年出版394 页ISBN：7101092936
《全元诗》是我国元代诗歌文献的总集。规模宏大，收入近5000位元代诗人流传至今的约14万首诗篇，2000多万字，分装68册。第一册有总目，每册有细目(包括诗题)，最后一册有《全元诗》所收诗人索引。《全元诗》的完成，对...
