置换
形式化框架下置换和查找类算法的组装生成.pdf
算法的可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径。 置换和查找是计算机学科中的两类特殊问题，可应用算法设计策略的灵活性使其算法更具多样性，算法生成的自动化程度难以提高。本书结合软件形式化方法PAR，
城乡建设用地统筹置换机理与模式.pdf
本书在全面梳理城乡用地相关研究、政策与实践的基础上，界定了城乡建设用地统筹置换概念，系统分析城乡建设用地统筹置换的人地背景与综合机制，并基于典型地区的实践调研，深入分析我国城乡建设用地统筹置换的过程特征与主要问题，总结提炼城乡建设用地统筹置换的优化模式，研究提出支撑实践的技术路径
初次人工髋关节置换术.pdf
初次人工髋关节置换术是关节外科最常见的手术之一，做好初次手术至关重要。《初次人工髋关节置换术》编写采取递进的方式逐一讲述人工髋关节置换术的基础知识、手术技术、术前准备、如何摆脱初次人工髋关节置换术中的困境以及复杂初次人工髋关节置换术，重点阐述当前初次人工髋关节置换术中的常见问
置换群约化系数及其应用.pdf
置换群的内、外积约化问题在群论应用中占有十分重要的地位．置换群的约化系数和酉群的约化系数有着密切联系，这些约化系数在核理论、基本粒子、原子分子物理、固体物理及量子化学等方面有着广泛应用．本书介绍置换群的约化系数及其各种应用． 全书分为两部分，第一部分包括置换群标准
计量置换理论及应用.pdf
本书系统地阐述了一种与组分在界面上迁移有关的全新理论——计算置换理论（SDT）及其在化学、化工、生物化学、分子生物学、基因工程和药学与在发展高技术中的应用。
城乡建设用地置换机理与风险研究.pdf
随着我国城镇化的加速，经济发展遇到土地资源配置上的两大突出矛盾：一是“耕地保护”与“建设占用”之间的矛盾；二是“城市建设用地短缺”和“农村建设用地闲置”之间的矛盾。2004 年，中央出台城乡建设用地增减挂钩政策，其实质就是以耕地保护和建设用地节约集约利用为目标的城乡建设用地置换。
- «
- »