隐伏矿床预测的理论和方法

本书是在第一版的基础上进行了一些修改和补充，新增加了两章内容。全书分为三篇十四章。第一篇主要介绍国内外地学界对隐伏矿床的定义和分类，着重讨论如何运用已有成矿学理论指导隐伏矿床的预测。第二篇为重点...

中国新疆阿尔泰成矿带矿床地质、成矿规律与技术经济评价

本书是一部对阿尔泰成矿带矿床地质、成矿规律与技术经济评价进行系统阐述和总结的专著，对西部大开发如何利用矿产资源优势具有重要的理论和实践意义。其主要内容包括区域地质特征，大型变形构造和泥盆纪火山—...

激进构式语法：类型学视角的句法理论

本书是语法研究领域里的重要著作。在语法多样性的基础上，作者提出了激进构式语法体系，并彻底批判了既往语法理论赖以生存的分布方法，指出激进构式语法的主要目的之一就是服务于解释语言的变化；对语言类型学和语...

类型与设计 建筑形式产生的内在动力

本书缘起于对设计中一个根本性问题的探讨——即建筑形式从哪里来。切入点是形式（类型）作为一种建筑师的工作策略在形式创造过程中的作用，由此从历史上不同的阶段建筑师对类型的认识、态度、运用策略等多角度展...

刑法中不明确概念类型化研究

本书共分为三部分。在介绍刑法明确性原则的概念、历史渊源、根基、功能、判断标准以及相对性之后，采取类型化的方法，系统分析了空白罪状、规范的构成要件要素、定量因素以及兜底条款的生成机理与结构特征，指出...

中国艺术学大系 艺术类型学

什么是艺术？本书的回答是：艺术就是体现了人类的神话、宗教、科学、哲学、语言、技术等等文化形态的艺术表现。过去我们对艺术的研究和探讨，有时是在美学名义下进行的；有时是在“文艺学”的学科名称之下进行的；偶...

高等数学 本科少学时类型 下

本书分上、下两册出版。上册6章，内容为函数与极限，一元函数微积分，微分方程；下册４章，内容为向量代数与空间解析几何，多元函数微积分，无穷级数。本书按照适当降低理论深度，突出微积分中实用的分析和运算方法......

类型和程序设计语言

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖...

新类型疑难刑事犯罪案例定罪量刑点评 第2版

本书由最高人民法院有关庭室的资深法官撰写。其中绝大部分案件的法律适用问题经过最高人民法院审判委员会以及有关庭室研究讨论。所收的案例几乎都是我国刑事审判的经典案例，具有典型性，借鉴指导性，点评不枝不...

中国佛教学术论典 46 晋唐寺院与寺院经济研究 试论唐前期的寺院经济 试论唐后期寺院经济的特点 十至十八世纪西藏的政教合一制度