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

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

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

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

语言的牢笼 马克思主义与形式

本丛书介绍了20世纪欧美最有影响的文艺理论著作，较为全面、系统地反映了20世纪欧美文艺理论的发展状况及过程，具有很高的学术价值。本册分上、下册，主题词为语言、文艺、马克思等。...

西方美学中的形式 一个观念史的考索

本书以精细扎实地阅读西方美学和文艺理论原著为基础，对西方美学的形式观念演变进行贯通今古的全面梳理、描述、分析、解释。在纵向方面，着力于形式观念诸范型、各种主流涵义的产生、确立、发展、变化、衰落、...

设计的结构与形式 创新实践的关键要素

本书设计艺术和设计中的结构与形式，主题广泛，它所包含的一系列话题对从事专业装饰艺术的从业者和学习设计的学生非常有价值。本书阐述并说明了二维现象的复杂性，同时注重解释各种三维形式。本书的意图不是对一...

东西方矛盾观的形式演算 第2卷 正反数理逻辑概论

软件开发的形式化工程方法

本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...

有意味的形式 中外现代诗歌精选

短诗集。收各类短诗约150首，分为音乐性、修辞、结构、风格四个栏目。现代诗，历来讲究的是形式，特别是那些堪称精品的中外现代诗，形式感尤为强烈。本书是一本以形式为标签的现代诗选本，其中附在每首诗后的那些精...

乡镇企业微观规制研究 以产权、企业组织形式为中心的分析

二十年代革命小说的叙事形式

20世纪20年代因五四运动和大革命的风起云涌影响了20年代的文学创作，出现了一大批反映被压迫人民悲惨命运和反抗斗争的革命小说，但后来这些小说被研究者所轻视。作者以社会学、文学类型学和叙事学的方法，探讨了...