随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。

本书主编是美国著名肾脏病学专家。本书的特点是创新性地以病例和简洁问答的形式进行撰写，其内容涵盖了肾脏病学几乎所有领域和常见的临床情景。结合文献复习、指南及临床经验对每个病例进行了详细的讲解和剖析。近1000个问题和详细的答案及分析为从事肾脏病学领域的科研工作者、临床医师、规培医师及医学生提供了了解肾脏病的更好方式。《B

本书聚焦黄河三角洲保护与持续利用等重大科技问题，系统介绍了黄河三角洲生态农牧场环境监测关键技术与装备，盐碱地生态农牧场、滩涂生态农牧场、浅海生态牧场构建原理、技术与模式，生态农牧场特色生物资源产品开发与应用，以及生态农牧场空间布局等。

随着互联网的迅速发展和变革，档案社会化媒体已成为记录人类社会生活变迁的重要载体，并成为大数据时代的焦点。基于国内外档案社会化媒体信息现状分析，研讨大数据背景下档案社会化媒体信息资源的整合，既是档案信息化建设中的战略性步骤，也是有效开发与利用的必然选择。本书主要研究了信息化条件下档案社会化媒体信息资源的整合机制，包括对新

本书基于自然保护区居民可持续生计和生态保护的需求，通过理论分析和数学建模，构建了自然保护区居民可持续生计的研究框架；利用文献调研法，对生态保护和居民可持续生计的国内外研究进展和理论基础进行了系统归纳和梳理；运用博弈分析法，进行自然保护区生态保护与居民生计的博弈分析；以福建省不同类型自然保护区为研究案例区，采用问卷调查法

本书在田野调查基础上，通过查阅方志、史籍、档案等资料，从“面—线—点”三个层次调查陕西传统城区的历史文化资源构成与保存现状。同时，本书以韩城、麟游、陈炉、米脂、高家堡、波罗、蜀河、石泉、漫川关这9座城镇为样本，试图通过系统的田野调查从定量层面揭示历史城镇的保护情况，进而全面掌握城镇传统资源保存现状，提出具有现实意义的城

本书是为庆祝中华人民共和国成立70周年而精选的山西国保级古建筑研究综述性论文合集，共30余篇。内容涉及了山西唐、五代、宋辽金、明清各时期中**历史、科学与艺术价值的国保级古建筑，对每一处古建筑的历史沿革、研究综述、保护大事记等方面进行总结梳理，其中许多论文均为原创性和首次发表，代表了目前山西省在古建筑保护与研究领域的*

本书是目前国内第一本系统研究中国古代铸钱工艺的专著。从钱币的产生、范铸工艺的应用与传承到铸钱工艺自成体系的发展演进，都有专业的、学术的论述与深入的研究。尤其是，本书深刻阐述了中国古代铸钱工艺的演进发展方向，即尽可能降低成本、提高效率，并就铸钱领域的两大技术发明——叠铸和翻砂工艺作了专门的论证。此外，本书还首次将铸钱工艺

本书对中国历史货币进行了提纲挈领的概括和介绍，对黄金货币、白银货币、纸币、古钱鉴定等进行了分章阐释。书中精选了代表性的中国钱币博物馆藏历史货币实物，并配之以突出货币特质的高清照片；吸收了**学术研究成果，对历史货币进行注解。

本书是“十三五”江苏省高等学校重点教材(编号：2019-1-063)。《BR》物联网在制造领域的深度渗透和落地应用催生了一种以“物物互联、泛在感知”为特征的新型制造技术——制造物联网。制造物联技术为制造业生产要素的智能化识别、定位、跟踪、监控和管理提供了很好的解决方案。本书共由四篇构成：第一篇介绍了制造物联技术理论基础