纠纷解决过程 ADR与形成决定的主要形式

本书围绕替代性纠纷解决措施（ADR）展开研究，对形成决定的三种主要机制——协商、调解和裁决——进行考察。最后，分析了在当代英美国家出现的，将前面几种基础性纠纷解决措施融合在一起的混合型机制。...

二十四首随想曲 练习曲形式的 小提琴独奏用

世界投资报告 国际生产和发展的非股权形式

本书是联合国贸易和发展组织（UNCTAD）关于全球外国直接投资流动趋势的年度报告。资料全面，内容丰富，有很高的数据参考价值。

网络协议的形式化分析与设计

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......

二语习得内容与形式的认知研究

本书根据语言学、认知心理学、教育学、第二语言习得等学科的最新研究成果，结合我国英语学习者的词汇学习实际，探讨词汇习得内容与形式的认知心理过程，进而研究二语词汇教学应当遵循的一些原则。...

从形式逻辑到先验逻辑 胡塞尔逻辑学思想研究

本书比较完整而系统地探讨了胡塞尔逻辑学思想的发展历程。

现代汉语离合词离析形式功能研究

本书是在作者博士论文的基础上增益而成的。通过大型语料库对《汉语水平词汇与汉字等级大纲》中的离合词及其离析形式进行了详尽考察，获得了大量第一手数据，发现了一些重要的现象。在此基础上运用功能主义理论...

非线性偏微分方程的解析解

本书给出了微分几何中的AC=BD模式，并利用吴微分特征列法，给出某些定理的机械化证明。给出了一般形式的Riccati方程多种形式的解，进而提出了求非线性偏微分方程孤波解的机械化方法，此方法可以将非线性微分方程的...

偏微分方程：方法及应用

本书分为两个部分：前5章为基础部分，在这5章里介绍了偏微分方程的基础知识，如利用特征方法讨论了一阶方程，同时讨论数学物理中常出现的线性二阶方程；波动方程、拉普拉斯及热传导方程。后8章为偏微分方程的现代部...

微分流形与黎曼几何 英文版

本书是一本非常好的微分流形入门书，从一些基本的微积分知识入手，然后一点点深入介绍，主要内容有：流形介绍、多变量函数和映射、微分流形和子流形、流形上的向量场、张量和流形上的张量场、流形上的积分法、黎曼...