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

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

人的逻辑与物的逻辑 重思辩证法和形式逻辑的关系

中国乡镇企业体制转变 市场自由化，契约形式创新和私有化

现代日语句尾情态形式研究 日文版

本书为“当代外语研究论丛”系列之一。本书在语言类型学视野下，运用语料库工具和语法化等现代语言学理论，较为系统地考察了日语的情态体系，对于前人的研究，既有检验，亦有修正，更有发展，得出了不少颇有意义的结......

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

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

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

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

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

国风广告文库 中国广告表现透视——中日广告表现对比研究之一

园林景观设计与表现 2=园林景观设计与表现

世界史的结构和形式

本书分为群众运动史研究，资本主义社会和政治制度史研究，经济史研究和史论等四部分，对世界史中的结构和形式极为关注，在英国近代国家形成的过程、资产阶级自民主观念的起源、英国近代租佃制的性质、16世纪农业资...