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

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

形式主义的花园

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

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

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

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

约瑟夫的阶级成分 符号杂文自选集

本书收录了杂文家符号的90余篇杂文精品，这些文章是他阅世的记录，体验的感言，是所思所悟所疑所感的印痕。文集内容包括：《约瑟夫的阶级成分》、《左口袋右口袋》、《井蛙感言》、《“同床异梦”古今皆然》、《且...

丑闻的力量 大众传媒中的符号学

艾拉德将经典的符号学和实用主义理论用于对当今传媒的分析，特别针对性虐待案和电视布道中的道德话语进行了深入的考察。在他看来，对丑闻的社会和传播研究忽略了传媒的建构本质，而他所关注的是有意义的公众叙述...

视域与转换 文学的媒介视域与文化符号的转换

本书共分为“消费文化与文学转向”、“媒介时代的文学”、“文化符号的转换”3个部分，对网络传媒时代背景下文学变身的媒介动因及市场现状进行了深入分析；揭示了消费文化下的文学伴随着网络媒介技术的发展所...

明天的天气 以对话、书信、电报与其它文件等形式表达的现场报导剧

汉语形容词重叠形式的历史发展

本书研究了AA、AABB、ABB、A里AB和ABAB五种形容词重叠格式的产生和演变，考察了它们的结构、句法功能和语法意义在不同历史时期的发展变化，总结了形容词重叠形式演变的动因、机制和发展趋势。...

“格数”与数量公理：数量与数理“定律”的形式比

本书主要阐述了300年前伽利略提出“数量公理”之后所形成的当代科学体系究竟如何定位及其存在的问题，以及当代科学体系能够解决什么问题和不能解决什么问题。...