安全协议形式化分析与验证

语言形式与英语词汇教学

在第二语言习得和外语教学领域存在着三种教学途径，它们分别是全形式、重意义和重形式三种途径。本书试图用对比的方式分别调查以上三种教学途径对我国非英语专业大学生的词汇学习（尤其是对他们的词汇记忆和保...

密码协议形式化分析

本书介绍了密码协议所涉及的一些密码学基础知识，密码协议的概念等。

形式语言与自动机理论引论

本书照我国计算机相关学科研究生教育的现状需要编写，结合作者30来年先后在哈尔滨工业大学和北京工业大学讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分9章，介绍语言与文法，正则语言的文...

师生互动中的聚焦形式研究 应用语言学专业英语

本书系新西兰奥克兰理工大学赵毓琴的博士论文，主要研究了英语作为第二外语教学课堂中的师生之间在自由交际活动过程中出现的偶发聚焦形式进行了对比性研究。...

超现实主义绘画语言

无声的语言 世界绘画

绘画的形态语言

本书分为:绘画形态语言的基本理论和图例分析两部分。

TOEFL Junior语言形式与含义

本书是由TOEFL Junior资深优秀教师和考试研究专家精心编写，是国内备考TOEFL Junior不可多得的权威辅导丛书。本书介绍了TOEFL Junior语言形式与含义考试的相关信息，对词汇和语法知识点进行详细的分类讲解，提供...

现代绘画 新的形象语言