软件开发的形式化方法

形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...

中国的宗教问题和宗教政策

本书是作者从事宗教工作十几年来的积累和探究，包括正确处理宗教问题的重要意义，我国各主要宗教历史简况，马克思主义宗教观述要，社会主义初级阶段宗教存在的根源，尊重和保护宗教信仰自由，依法管理宗教事务，积极......

猎人笔记 无删节 全译本世界名著 形式独特的特写集

这是一部通过猎人的狩猎活动，记述十九世纪中叶俄罗斯农村生活的随笔集。该书的描写生动、细腻，向读者展现出俄罗斯富有生活情趣的民族特点。...

台湾宗教信仰 增田福太郎名著《台湾之宗教》的全面解读

从形式主义到历史主义 晚近文学理论 向外转 的深层机理探究

资本的生产力效率假说 市场机制下的生产力实现形式研究

本书通过对以三次产业革命为背景的社会化大生产方式，即资本的再生产与组织方式的研究，为马克思主义政治经济学分析和西方经济学分析提供一个沟通的平台。...

师生互动中的聚焦形式研究 应用语言学专业英语

本书系新西兰奥克兰理工大学赵毓琴的博士论文，主要研究了英语作为第二外语教学课堂中的师生之间在自由交际活动过程中出现的偶发聚焦形式进行了对比性研究。...

汉语的形式、意义与功能

本书《陈平语言学文选》丛书的第一卷，收入的12篇论文围绕汉语的形式、意义与功能三者关系展开，研究对象是汉语句法、语义、语用和话语分析中具有重大影响的研究课题，包括汉语句子组织的基本格局、话题结构、同...

“政治经济学常识”讲座 第3讲 资本主义生产是商品生产的最高形式

外国现代音乐理论译丛 5 三全音的游移性：-其表现及其在一般人听觉中的分布形式