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

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

《形式逻辑》百学要点和思考题、练习题解答

形式主义的花园

该诗集记录了作者写作三十年来的思想探索与生命体验，内容丰富，艺术品质前卫而成熟。其创作手法以抒情与叙事的混合为特色，同时充满哲学思考与生活情趣，风格深邃而不乏诙谐，充满现代感与文化意识。作为一位广有影...

社会学 关于社会化形式的研究

本书介绍了群体的量的确定性，社会集团的交错，社会群体的自我保存，社会的空间和空间的秩序，群体的扩大和个性的培养等内容。

形式汉语句法学 第2版

本书是《西方最新语言学理论译介》丛书之一，介绍了汉语形式句法学研究的重要性及相关研究以及当前国际语言学界关于形式语法研究的最新进展。全书沿用比较“传统”的模式，把形式句法学的基本原理融人课程里，让...

形式对意义的模仿 语言文学中的象似性现象

中国城市体育消费构成实证

本书详细而全面地对中国城市体育消费构成进行了实证研究，内容涉及城市体育消费结构，城市体育消费市场潜力，城市体育消费水平分析，城市体育消费意识，城市体育消费心理动机等方面。...

实用立体构成训练技法

本书通过对艺术设计的三大构成的关系、立体构成基础知识、立体构成-线材训练技法、立体构成-面材训练技法、立体构成-块材训练技法和中外优秀立体构成作品欣赏知识的介绍，实现了理论和实践的统一。...

色彩构成

本书是高职高专艺术设计类专业规划教材中的一本，全书全面、系统地介绍了立体构成基础知识。本书从造型的基本问题出发，关注形态在空间位置、方向、角度、数量上的变化以及所产生的视觉问题，从中寻找到立体造型...

设计类专业色彩构成教程

本书共分4章，讲述色彩构成的基本理论、基本元素和色彩视觉感受；色彩构成的技巧、对比与色彩调和的表现技巧等内容。