本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。

本书旨在综合运用经济学、管理学、地理学和社会学等研究方法分析当前以及未来低碳转型战略实施背景下，旅游可持续发展的若干重要理论和实践问题。本书的主要研究内容包括碳税与旅游发展，碳市场与旅游发展，气候政策与旅游研究，低碳旅游系统与评价，旅游、经济、能源与碳排放，旅游与低碳发展的元分析六个方面。

狭义相对论在近代物理学中已有广泛的应用，是物理学的基础理论之一，它的基本假设和结论有着牢固的实验基础。本书?S13草，第1～6章介绍狭义相对论的基本内容和主要结论，第7～13章从理论的角度总结和分析检验狭义相对论的几种主要实验类型：狭义相对性原理、光速变原理、时间膨胀效应、缓慢运动物体的电磁感应、相对论力学、光子静质量

《植物化学成分汉英名称集》共收载化学成分名称汉英词条60000余条。内容主要为植物化学成分名称，也酌情收载有机化学、分析化学、生物化学（含动物和真菌化学成分）、无机化学和化学对照品等名称。其中约2000英文词条以往无中文名称，系本书第一次翻译得中文名称，对这些成分英文名称进行拆分分析，结合参考文献，得到第一次提取该成分

面对现行村镇聚落规划设计方法存在“城市偏向”“就乡村论乡村”“地域适应性不足”等问题，本书旨在在城乡融合发展背景下构建适用于新型城乡关系的县域村镇聚落体系规划方法。借鉴国内外相关理论与规划经验，从“重构特征分析一重构动力识别一城乡融合类型划分一村镇发展单元划定一村镇聚落体系优化”的研究路径提出一套以“村镇发展单元”为载

生态博物馆是国际新博物馆学运动的重要产物，作为一种“反传统”的博物馆新类型，越来越受到人们的关注。本书译自彼特·戴维斯（PeterDavis）教授著的《生态博物馆：地方感》2011年英文版，是一本全面介绍生态博物馆缘起、理论与全球性实践的书籍。书中大量的实践案例对中国生态博物馆的发展，以及乡村振兴战略背景下文化遗产的保

《文书科学检验方法与技术》（原书第四版）对前几版进行了修订和扩充，囊括了最近10到15年间文书检验领域中发生的变化和取得的成果，详细介绍了检验可疑文书的**技术和方法，能够反映该领域的**研究成果，内容通俗易懂。《BR》本书内容包括：当前对笔迹内涵的理解；意外和故意修改笔迹；笔迹样本的收集；破碎文件的检验；专业资质的认

本书分为两个部分，第一部分探讨了与数字化环境下的学习相关的概念、与学习行为相关的理论、数字化环境下学习行为的影响因素。以大学生持续参与混合式学习意向的影响因素为一个具体研究问题，以实证研究的方式探讨了数字化环境下学习行为的影响因素。第二部分探讨了学习行为研究的相关方法、技术和产品，讨论了异常学习行为识别的一般性模型。以

自20世纪50年代以来，陕北地区不断有商周青铜器的发现和出土。这些青铜器兼具北方或中原的特征，是研究商周青铜器发展和区域特征必不可少的重要资料，历来为学界高度重视。本书以陕北地区出土的商周时期青铜器作为主要研究对象，开展了元素成分、金相组织、铅同位素比值以及制作工艺等几方面的检测分析，探讨了陕北地区商代晚期至战国晚期青

本册志书内容包括中国已发现（截至2021年）且系统研究过的鲸目与偶蹄目化石（除鹿科与牛科以外的部分），共计2目20科73属122种（含12个未定种）。目、科级阶元主要包括概论、分类、起源与演化、主要特征、地史分布等方面的综述；属、种级分类阶元有较详细的厘定，包括同义名录、鉴别特征以及产地与地质时代等，并对其中存在的问题