高力群编著2010 年出版142 页ISBN：9787111308676
产品如同语言一样，都具有符号的特性，都是用来交流、沟通和传达意义的。产品语义的设计就是运用语言符号的方法思考设计。
蒋宗礼，姜守旭编著2017 年出版251 页ISBN：9787302456025
本书照我国计算机相关学科研究生教育的现状需要编写，结合作者30来年先后在哈尔滨工业大学和北京工业大学讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分9章，介绍语言与文法，正则语言的文...
刘晓琪，胡楫编著2016 年出版143 页ISBN：9787553634333
本书是由TOEFL Junior资深优秀教师和考试研究专家精心编写，是国内备考TOEFL Junior不可多得的权威辅导丛书。本书介绍了TOEFL Junior语言形式与含义考试的相关信息，对词汇和语法知识点进行详细的分类讲解，提供...
蒋跃著2018 年出版289 页ISBN：9787539881515
本书是在作者原有“绘画形式语言研究”“绘画构图与创作”两册图书的基础上针对近年绘画创作教学实际进行重新写作和出版的绘画理论专著。全书重点介绍了绘画艺术创作中画面的构成的形式、方法，书中共有700...
蔡曙山，邹崇理著2010 年出版604 页ISBN：9787010077987
本书对自然语言形式理论做了较为系统的论述，其特点表现在：第一，本书首次采用句法学、语义学和语法学三分法对自然语言进行研究；第二，进一步阐明了自然语言和形式语言的联系和区别，并提出诸多新见；第三，采用形......
（英）若弗雷·H. 巴克（Geoffrey Baker）著；王玮，张宝林，王丽娟译2005 年出版319 页ISBN：7508428757
本书是“国外高等院校建筑学专业教材”之一。书中第一部分在一个从几何学到象征主义很广的范围内讨论了建筑的性质和作用；第二部分通过引述和列举现代建筑大师——如阿尔托、迈耶和斯特林——的作品，论证了分...
（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
（美）斯蒂芬·克莱恩，（美）罗莎琳德·桑顿著2015 年出版556 页ISBN：9787100109451
本书是一本指导如何对儿童语言习得进行实验研究的专著。儿童语言习得实验是一项技术性很强的工作。如何设计儿童语言习得实验，如何获取儿童语言习得的有效数据，如何了解儿童认知及语言发展状况，这都需要专门的...
蒋严主编2011 年出版570 页ISBN：9787544431729
本书是《西方最新语言学理论译介》丛书的一种，系统介绍了当前国际语言学界关于形式语用学的最新进展，内容包括语用推理的实用逻辑观念；言语行为理论的形式语用学；博弈语用学；量化、数量和形式潜伏语用分析条件句...
