扫一扫
关注中图网
官方微博
出版社：
- 科学出版社(2)
- 科学出版社(2)
- 哈尔滨工业大学出版社(1)
- 哈尔滨工业大学出版社(1)
- 高等教育出版社(1)
- 高等教育出版社(1)
- 高等教育出版社(1)
- 高等教育出版社(1)
- 哈尔滨工业大学出版社(1)
- 哈尔滨工业大学出版社(1)
- 科学出版社(2)
- 科学出版社(2)
-
矿井松散含水层沉积控水与断层活化涌水机理——以淮北煤田许疃矿井为例
¥148.5(7.5折)定价:¥198.0本书以淮北煤田临涣矿区许疃矿井新近系松散层底部含水层为研究对象，采用理论分析、数理统计、室内试验、数值模拟、相似材料模拟、现场实测等方法，系统研究了"底含"沉积特征，划分了"底含"沉积相及其沉积演化阶段，建立了沉积控水模式，并对"底含"富水性进行了精细分区与评价；开展了松散含水层下含断层覆岩采动破坏特征研究，分析了不同落差断层及不同顶板覆岩厚度条件下含断层工作面开采断层的采动活化及其对"底含"基底的破坏机理，建立了"底含"涌水通道模式
-
中国木本植物分布图集
¥435.0(7.5折)定价:¥580.0本图集在忠实于标本记录的基础上，收集了我国目前已出版的全国、各省区和地方植物志、树木志，以及区域科学考察报告和学术论文中有关的木本植物分布资料，最终编制了我国已知的全部11405种木本植物的详尽分布图...
-
分析基础机器证明系统
¥156.4(7.9折)定价:¥198.0本书利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau有名的《分析基础》中实数理论的形式化系统，包括对该专著中全部5个公设、73条定义和301个定理的Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速且自然地给出数学分析的坚实基础。在分析基础形式化系统下，给出Dedekind实数完备性定理与它的几个有名等价命题间等价性的机器证明，这
-
Minkowski定理
¥113.8(7.2折)定价:¥158.0本书从一道华约自主招生试题谈起，详细地介绍了Minkowski定理的概念、证明以及Minkowski定理与其他定理的联系和在其他学科中的应用...
