田园著2008 年出版314 页ISBN：9787121066580
本书阐述计算机密码方案与密码协议的安全性证明理论，包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域，作者并不打算对此做面面俱到式...
陈国达全集 第6卷 地洼学说：活化构造及成矿理论体系概论 中、英文版合卷
陈国达著2008 年出版874 页ISBN：9787811056457
本书为中国科学院已故资源院士、世界著名大地构造学家陈国达的毕生论著的汇编，包括其地洼学说的孕育、初创、充实、拓展及再创新等方面的论著400余篇。...
陈国达全集 第5卷 地洼学说的再创新：历史-因果论壳体大地构造学（1992-2005）
陈国达著2008 年出版686 页ISBN：9787811056457
本书为中国科学院已故资源院士、世界著名大地构造学家陈国达的毕生论著的汇编，包括其地洼学说的孕育、初创、充实、拓展及再创新等方面的论著400余篇。...
方曙，张忠，于海洋，高玉石等编著2013 年出版377 页ISBN：9787116086753
本书以板块构造学理论为指导，以内蒙古东部建造和构造特征研究为基础，从岩石构造组合分析入手，结合古生物化石资料、同位素年龄资料和岩石化学、地球化学等数据资料，分别对沉积岩、火山岩、侵入岩、变质岩、构造...
车自成，罗金海，刘良编著2011 年出版466 页ISBN：9787030331588
本书分总论、各论两部分，总论部分扼要介绍了大地构造学的基本理论和研究现状，详细论述了地壳的形成和演化、地壳结构与动力学、造山带和盆地形成的主要模式等，系统地总结了大地构造基本问题，同时又侧重于研究方...
（美）约翰·塞尔（JohnR.Searle）著2015 年出版222 页ISBN：9787300203607
本书是对他于1995年出版的《社会实在的建构》一书的修正和发展。在《社会实在的建构》一书中，他比较系统地提出了自己的社会哲学，认为一切社会实在都是凭借集体意向性、依照构成性规则、赋予地位功能而人为地...
卢来运，刘泽军2016 年出版135 页ISBN：9787550914162
本书主要内容包括绪论，应用技术理论，应用成果分析，社会、经济效益分析，应用注意事项。尽快消化粉煤灰，废物利用，变废为宝，是循环经济的需要，也是节约资源的重大举措。焦作黄河公路大桥工程中借助于资源和条件......
王天华著2010 年出版324 页ISBN：9787511810588
大陆法系国家中，中国与日本两国的行政诉讼法的共通性非常醒目。本书立足于中国法问题，通过日本行政诉讼法来把握行政诉讼的构造，对日本行政诉讼法 “以无漏洞全力救济的实现为目的的、撤销诉讼中心主义的相对...
齐金忠等著2005 年出版135 页ISBN：7116046720
本书系统地研究了祁雨沟金矿床矿区隐爆角砾岩体特征、矿床地质特征、同位素地球化学及成矿年代学。在此基础上重点分析了矿区构造应力场、成矿流体温度场、元素地球化学场及其相互关系，探讨了成矿规律并进行...
钟增球，索书田，张利等著2007 年出版200 页ISBN：9787562522164
本书围绕大陆深俯冲及高压超高压碰撞造山带的构造学，介绍了岩石圈流变学的基本原理、超高压变质作用及研究方法、陆壳岩石部分熔融作用及构造意义等一些理念和相关研究现状。本书还报道了大别-苏鲁高压超高...
