公理化集合论机器证明系统.pdf
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或
理化
铈铁复合氧化物的理化性质及其催化应用.pdf
本书系统介绍了铈铁复合氧化物的物理化学特征，重点讨论了铈基掺铁固溶体的形成规律与高温结构演化行为，考察了铈铁复合材料（铈基和铁基）的结构特点、还原性能、储氧能力、热稳定性和高温氧化—还原循环行为以及材料在循环过程的宏观和微观结构演变规律等。利用丙烯燃烧（气-气催化反应）和甲烷化学
理化测试. I.pdf
本书依据《高等学校化学类专业指导性专业规范》并基于一级学科平台、以“方法”为中心的实验教学思路编写，内容涉及传统分析化学的常规定量分析和仪器分析两方面，教学基本要求是让学生树立“量”的观念。
食品理化分析实验.pdf
食品理化分析实验是以定性和定量检测食品化学成分为主的科学活动，正确完成它需要科学的（也是标准的）分析方法、工具和技能。本书将多个现代食品理化分析标准方法和流行使用的方法改编成教学实验指导，内容包括实验室安全管理、基本分析检验实验技能、物理检测方法、化学检测方法、仪器分析方法、营养
食品理化检验技术.pdf
本书根据高等职业教育培养高素质技术技能人才的培养目标，结合食品理化检验工作岗位的实际需求，遵循“必需、够用、实用”的原则编写而成。全书主要内容包括：绪论、食品理化检验质量的保证、食品样品的采集和预处理、食品中一般理化指标的检验、食品中常见营养成分的检验、食品中污染物的检验、食
作物理化参数遥感定量反演.pdf
本书是作者多年来从事作物理化参数遥感定量反演研究与应用的成果。书中涉及的内容主要反映了2010年以来作者所在研究团队在国家自然科学基金项目、国家863计划项目、973计划项目、公益性行业（农业）科技专项、中国科学院中意国际合作和中英国际合作，以及“百人计划”项目支持下，与多家
木质纤维生物质及其组分的理化特性与热解规律.pdf
本书从木质纤维生物质的化学组成与结构入手，介绍了木本和草本植物纤维原料的物理化学特性、组分含量、存在形式、分离方法，以及构成木质纤维生物质的主要成分（木质素、半纤维素、纤维素）及其模型化合物在不同热化学条件下的热解规律。
北京大气细粒子和超细粒子理化特征、来源及形成机制.pdf
本书分六章，内容包括大气颗粒物的研究意义及研究内容、大气颗粒物的研究方法、北京大气颗粒物细粒子的化学组成特征等。
半导体的检测与分析.pdf
本书比较全面地介绍半导体科研、生产中最常用的各种检测和分析方法，介绍了各种方法的原理、实验技术和在半导体中的具体应用．全书共分十五章，包括半导体单晶定向，半导体晶体缺陷的金相观察，X射线形貌技术，离子束分析，离子探针分析，俄歇电子能谱，扫描电子显微镜，电子探针，透射电子显微镜，半
- «
- »