大约有4,000项符合查询结果项。（搜索耗时：0.0135秒）
为您推荐： 服装设计基础 点线面与形式语言 形式化语言中的真理概念 机械设计中常用装配形式和 工艺 园林景观设计 从概念到形式 原著第2版 title园林景观设计 从概念到形式原著第2版 title园林景观设计 从概念到形式
-
-
语言的牢笼 马克思主义与形式 下
（美）弗雷德里克·詹姆逊著；钱佼汝，李自修译2010 年出版386 页ISBN：7805796017本丛书介绍了20世纪欧美最有影响的文艺理论著作，较为全面、系统地反映了20世纪欧美文艺理论的发展状况及过程，具有很高的学术价值。本册分上、下册，主题词为语言、文艺、马克思等。...
-
自然语言处理的形式模型
冯志伟著2010 年出版638 页ISBN：9787312022531本书对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式模型、基于格语法的形式模型、基于词汇主义的形式模型、语义自...
-
软件工程形式化方法与语言
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
-
自然语言形式理论研究
蔡曙山，邹崇理著2010 年出版604 页ISBN：9787010077987本书对自然语言形式理论做了较为系统的论述，其特点表现在：第一，本书首次采用句法学、语义学和语法学三分法对自然语言进行研究；第二，进一步阐明了自然语言和形式语言的联系和区别，并提出诸多新见；第三，采用形......
-
现代困境中的文学语言和文化形式
张新颖，（日）坂井洋史著2010 年出版232 页ISBN：9787532862580继1985年北京大学黄子平、陈平原、钱理群提出“20世纪中国文学”的概念，1988年上海学者陈思和、王晓明提出“重写文学史”的主张。自此20年来，文学史的个性化写作和文学史理论创新研究取得了一系列在文学史研...
-
-
园林景观设计 从概念到形式 原著第2版
格兰特·W·里德著2010 年出版180 页ISBN：9787112116027本书系美国景观的权威机构——美国风景园林设计师协会组织编写的景观设计书籍，作者结合多年的设计经验，用新的视角重点介绍一些实用的设计方法，是国内景观设计师较理想的参考资料。...
-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
-
