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

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

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

形式主义的花园

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

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

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

形式汉语句法学 第2版

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

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

纯粹数学与应用数学专著 典藏版 第24号 微分动力系统的定性理论

工科硕士研究生数学用书 常微分方程组与运动稳定性理论

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

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

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

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