古天龙，蔡国永著2003 年出版367 页ISBN：7505386468
本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......
邵洪亮著2015 年出版304 页ISBN：9787516162057
本书主要从语言功能出发，有所选择地运用语义语法学理论、语法化理论、标记理论、以及认知和类型学的相关理论，从一种新的视角考察句法语义层面的标记词羡余现象及相关问题。本书既从共时的角度对虚词的语义标...
（美）莱斯·沃里克编著；金雷译2016 年出版147 页ISBN：9787112192274
本书是关于前期设计与建筑策划的方法，即对信息进行收集整理，形成指导后期设计的设计任务书，以此作为设计工作的前奏。简单的说，这是一本有关如何制定设计任务的书。书中基于线和空间事务所超过35年的设计实践，通...
英语高阶学习词典设计特征研究 兼及多义词的认知语义结构和义项特征
田兵，陈国华著2009 年出版413 页ISBN：9787030238443
本书包括英语教学词典设计特征的对比研究对比内容：宏观设计特征和微观设计特征；对比对象：1、英、美对比单语教学词典；2、中、日对比（英汉、英日）双语词典；3、大陆与港、台对比英汉双解词典；对比阶段：传统阶段......
（英）迈克尔·汉恩著；王树良译2018 年出版177 页ISBN：9787112222506
本书设计艺术和设计中的结构与形式，主题广泛，它所包含的一系列话题对从事专业装饰艺术的从业者和学习设计的学生非常有价值。本书阐述并说明了二维现象的复杂性，同时注重解释各种三维形式。本书的意图不是对一...
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679
本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
文静，庞杰著2019 年出版228 页ISBN：9787563962594
艺术在现代设计中的创新是其自身发展和现代设计追求文化精神共同作用的结果，借助对艺术的符号化挖掘，促进地域性艺术的“视觉化再生”，对于新时代传承有着极其重要的意义。艺术的视觉化“活态”是当前阶段艺术...
琼斯·伊顿著；米永亮译1991 年出版127 页ISBN：7805125074
书名原文：Designandform:ThebasiccoursetheBavhavsandlater:著者原题：琼斯·伊顿:本书首版于1963年，书名是《我在鲍豪斯的基础课程、形式与设计》（MeinVorkusamBauhaus.Gestaltungsundformenlehre）:本书共七部分...
郭文英著2014 年出版122 页ISBN：9787542420442
在第二语言习得和外语教学领域存在着三种教学途径，它们分别是全形式、重意义和重形式三种途径。本书试图用对比的方式分别调查以上三种教学途径对我国非英语专业大学生的词汇学习（尤其是对他们的词汇记忆和保...
