代数拓扑的微分形式

The guiding principle in this book is to use differential forms as an aid in exploring some of the less digestible aspects of algebraic topology. Accordingly， we move primarily in the realm o...

国营工业企业凭单日记帐核算形式的标准帐簿格式和使用说明 第二次草案

当否判断语气形式的汉日对比研究

本书通过对汉语的“可以”与日语表示许可义的“してもいい”的对比研究，分析了汉日两种语言间语气范畴的不同表现，形式群相互对应的内部各形式之间的交叉对应关系，在考察大量中日对译例句的基础上，总结了汉语的...

2004年上海大学博士学位论文 14 基于面向对象形式规格说明的测试用例生成技术

索洛古勃象征主义小说中假定性形式的诗学特征

索洛古勃作为俄罗斯象征主义大师，颇受争议。从第一部作品问世起，评论家对他的评价就有褒有贬。本博士论文立足于索洛古勃小说、诗歌、散文等文本，以独特是视角分析了作家象征主义小说中假定性形象的诗学特征，并...

文本形式的政治阐释 詹姆逊文学批评思想研究

本书是对美国当代著名马克思主义文学批评家和文化批评家弗雷德里克？詹姆逊的文学批评思想进行的系统研究，从多个侧面阐发詹姆逊的文学批评思想的生成原因、理论框架、批评策略和批评实践，揭示其文学批评的特色...

美国法的形式主义与实用主义

本书稿收入了格雷教授亲自选定的五篇代表论文。在这些关于美国现代法律思想的经典论述中，格雷教授由兰代尔院长和霍姆斯大法官出发，全景式地展现了作为法律思想和实践组织模式的形式主义和实用主义。格雷教授...

海德格尔的弟子 阿伦特、勒维特、约纳斯和马尔库塞 Hannah Arendt， Karl Lowith， Hans Jonas， and Herbert Marcuse

本书是研究海德格尔在学术政治以及人生观等方面对其弟子的影响的专著。

当代整体论的形式分析

本书为哲学类学术性专著，属哲学和方法论的基础研究。由于不同整体论均体现为对整体与部分及其关系有不同取向，本书据此以展开整体论的整合研究，一方面是对整体与部分的形而上分析与具体整体论分析的整合，另一方...

电子商务网络协议的形式化分析理论与应用

本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...