本卷收录了吴文俊的MechanicalTheoremProvinginGeometries:BasicPrinciples一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械

自1989年国际足联举办首届室内五人制足球世界杯以来，该项运动得到了空前的普及与发展。近年来，国际足联号召世界各国和地区足球协会大力发展室内五人制足球运动，这也引起各国足球协会对开展室内五人制足球的重视。《BR》本教程内容主要包括室内五人制足球概述、室内五人制足球基本技术动作、室内五人制足球进攻战术、室内五人制足球防守

系统介绍了基于高精度遥感数据、土地利用数据、土壤、地形、气候等基础数据，利用CSLE模型全面调查区域土壤侵蚀状况的方法，不仅可以获取区域土壤侵蚀强度分布图，而且可以计算区域土壤侵蚀模数，为我国区域土壤侵蚀调查提供方法参考。

这套书从小学一年级开始就可以练习，一直到小学的中高年级，一边与数字亲密游戏，一边练习逻辑思维能力，内容涵盖4宫、6宫、9宫标准数独，以及一些常见的变型数独，例如，对角线数独、不等号数独等。每道题给出的解题提示可以帮助孩子理解解法，理清思路。这套书内容丰富，题目质量高，版式新颖，趣味性十足，非常适合小学生阅读。

本书内容适合小学中高年级的学生阅读，主要内容包括九宫标准数独、常见的变型数独，题型更加丰富，解法更加多样。版式新颖，题目有适当提示，可拓展小学生的解题思路、开拓眼界，非常适合喜爱数独的中高年级小学生阅读。

本书集合了文物、博物馆方面的专业文章，包括名家专稿、文博探索、文物研究、艺术史研究、津沽史记、文化遗产保护、文博工作巡礼、改革开放四十年几部分，是天津博物馆学术研究系列的一部重要代表。集合了几十篇博物馆领域研究的学术文章，涉及博物馆工作的方方面面。具有非常重要的参考价值。

本书针对以钦州市为例的桂南滨海城市，在实行最严格水资源管理制度的背景下，分析了"三条红线"与水资源优化配置的关系。以钦州市水资源现状为基础，分析降雨及入海河流径流演变规律与趋势，定量分析气候因子对地表水资源量变化影响，对滨海城市地表水资源可利用量进行分析与评价；构建了城市可供水量分析框架体系，重点分析中、小型蓄水工程与

本书对InSAR理论、方法和应用进行了全面而系统的介绍，并对InSAR前沿性技术进行了扩展介绍，可为从事InSAR和地学相关领域工作的科技人员与高等院校师生的学习与研究提供具有综合性和专业性的参考资料，且可作为本科生和研究生的教材，促进InSAR专业人才培养，推动InSAR理论与应用的持续发展，促使InSAR在国民经济

本书较系统的阐述了冰冻圈脆弱性与适应的概念、理论方法、冰冻圈变化的影响、冰冻圈灾害风险分析等冰冻圈在社会经济领域的科学研究内容，是冰冻圈科学研究的重要出口，也是冰冻圈科学有关应用研究的最新成果，这也是国际上前所未有的创新领域。研究主要以中国冰冻圈变化的影响、脆弱性、风险和适应为对象，针对不同冰冻圈要素影响的关键对象，以

本书针对中国北方地区和青藏高原城镇风沙灾害的孕灾环境、风沙灾害现状、成因与发展趋势,提出了城镇防沙工程的核心思想和理论框架。根据城镇防沙技术的分类与功能,阐明了各种单项技术的防沙原理和技术参数优化、多项技术的优化配置及其防沙原理;制定了不同规模和重要性城镇的具体防护目标和工程设计原则,总结出不同自然条件下城镇防沙工程布

声学超常材料即具有特殊声学性质的人工复合材料。因其丰富的物理内涵以及广阔的应用前景，声学超常材料在相关领域获得了越来越多的关注，是当前国际声学界的前沿热点课题。本书由正从事此领域研究的著名学者集体创作，对声学超常材料领域中的基本思想，研究方法、技术以及最新的进展都作了详细的讲解，主要内容包括：局域共振型的表面声禁带结构

本书提出渗漏型天然气水合物重要概念。根据成因类型，将天然气水合物矿藏划分为扩散型和渗漏型两种。揭示了南海北部天然气水合物富集规律。首次提出天然气水合物成核机制的笼子吸附假说。建立了南海北部天然气水合物的综合识别方法。开展了南海北部天然气水合物开采基础理论研究，采用主流的数值模拟方法--格子Boltzmann方法对天然气

空间制冷器及以此为基础的空间低温制冷技术是当代红外载荷技术应用的基础和支撑，也是近五十年来红外光电技术领域最主要的研究方向和最活跃的研究对象之一。本书着重论述制冷器一般原理基础，以空间制冷器应用中最为普遍的辐射制冷器和机械制冷机等为论述主体，详尽介绍其科学原理、技术路线和性能特点。

《生理学》由中山大学博士生导师刘先国教授担任主编，南方医科大学博士生导师肖中举教授。全国近10余所长期在一线担任教学工作的专家教授参加编写。全书分为绪论、细胞的基本功能、血液、血液循环、呼吸、消化和吸收、尿的生成和排出、能量代谢、体温调节、感觉器官、神经系统、内分泌系统、生殖等12章。本书特点：1．章节安排更科学合理。

本书结合肿瘤免疫治疗基础与临床应用的新进展，在力求内容的准确度和前沿深度的基础上，详细和全面地介绍、分析和总结了CAR-T和TCR-T等基因修饰T细胞技术及其在临床上的应用，包括CAR-T和TCR-T基础知识、技术原理、临床应用与展望等。本书可供从事医药卫生行业相关人士、生物医学工作者以及相关专业学生等参考和研读。

本书共7章，主要介绍了河流湿地公园的概念及其特点，自然资源和文化资源现状，重点讨论了湿地公园的保护、恢复和利用规划等内容，针对不同河流湿地的特征，从临沂市自然景观资源、民间工艺、人文景观资源、历史文化等方面提供了临沂市5个河流湿地的规划案例，希望通过对具体问题的探讨和解决为河流湿地公园资源保护和规划设计提供有益的参考与

本书属重庆市普通高等教育本科"十二五”规划教材，第1版为普通高等教育"十一五”国家级规划教材。本书全面介绍了密码学的基本概念、基本理论和典型实用技术。全书共13章，内容涉及密码学基础、古典密码、密码学数学引论、对称密码体制、非对称密码体制、杂凑算法和消息认证、数字签名、密钥管理、序列密码、密码学的新进展、中国商用密码算

本书总结了战略环境评价、"三线一单”环境管控的理论与方法，回顾了我国战略环境评价与"三线一单”工作实践，以"连云港市战略环境评价”及"三线一单”试点工作为基础，讲述了战略环境评价中"三线一单”工作的主要内容，包括总体技术框架、生态环境现状评价、生态环境影响预测、"三线一单”环境管控、发展调控策略、战略环评与"三线一单”

MATLAB是适合多学科、多种工作平台的功能强大、界面友好且开放性很强的大型数学应用软件。本书以MATLABR2018a软件为基础，全面阐述MATLAB的主要功能，通过大量实例向读者展示如何编写高效的MATLAB代码。全书共33章，其中第1～9章讲解MATLAB基础知识，包括MATLAB入门、数组运算、关系运算、逻辑运

本书绝非传统的软件技法书，因为其所传授的知识并不局限在使用的软件本身。书中在介绍照片处理过程中需要的相关软件知识的同时，着重讲授修片时的创作思路，每个案例都是在最少的技术性要求下充分地利用创意力量完成的。1、初级魔法：使用Photoshop或Lightroom单独处理，最大限度地利用软件和照片自身提供的创意效果。2、中