网络协议的形式化分析与设计

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......

未来互联网体系结构与协议

本书是就未来网络领域的关键技术和网络架构以及未来网络的相关协议、理论和模型等重要内容，从整体上对未来网络目前的研究现状，进行了比较详尽的阐述，既有理论高度，又有实践探索，具有较高的学术水平，对目前国内.....

降龙十八掌 管理者必修的管理技能

本书在构思上借鉴了管理大师的管理价值系统，对管理者应该掌握的管理技能进行了系统梳理，并且一一对应了课程。这些管理技能是管理者的必修课。每一章将理念、方法、工具与实践贯穿始终，体现了实操性、有用与有...

LAW BOOKS IN PRINT VOLUME I AUTHOR/TITLE LIST A-K

高级网络操作系统及其应用 TCP/IP协议与分组无线网

眼光的交织 在曹雪芹与马塞尔·普鲁斯特之间

作为中法文化与文学的集大成之作，两部小说最重要的共同点，在于“寻找失去的时间”。曹雪芹和普鲁斯特生活的时代，两国分别处于文化上集大成的年代，同时又都经历着巨大的社会变革和转型。作者对两部作品进行了深...

网络安全协议分析与案例实践

本书比较全面地介绍了网络安全协议的关键技术和相关实验配置。特别对vpn列举了比较深入的实际应用。使学生了解网络安全协议的基本知识，掌握网络安全协议的基本概念和应用方法。使学生在已有的网络知识的基...

奈塞尔 认知心理与开拓者

在心理学史上，有这样一位传奇式的学术人物，他总是扮演着“边缘人”和“反叛者”的角色，从来都不迎合主流。他曾经这样评价自己：“我总是处于喜欢他人所不喜欢的事物的位置……我通常把自己视作一个边缘的、批判...

商业银行资本监管 理论、制度和技术 巴塞尔II、巴塞尔III及后巴塞尔III

本书收录了王胜邦先生若干篇解读银行资本监管和分析巴塞尔新资本协议应用等论著，以制约我国银行体系稳健运行和可持续发展的最重要因素资本不足为背景，着重围绕商业银行资本监管，分析了巴塞尔II的优势与缺陷、...

twentieth-century literary criticism annual cumulative title index covers volumes 1-296