当前位置：首页 > 名称
大约有100,000项符合查询结果项。（搜索耗时：0.0529秒）
为您推荐： 国际商事仲裁法 原理 制度与案例 国际商事仲裁法参考资料 中英文本 国际商事仲裁 中国商事仲裁法律与实务 国际关系实证研究方法 title组织与管理研究的实证方法 第二版
-
-
-
中国参与全球互联网治理研究 基于国际法理的视角
吕晓轩著2018 年出版235 页ISBN：9787511551061本书是一本学术著作。书稿从国际法理论与实践的视角出发，对全球互联网治理活动进行研究。通过梳理全球互联网治理领域的历史事实和理论成果，分析国内外、域内外互联网治理案例，探讨既有和新设国际法规则的适用...
-
-
-
-
网络安全协议的形式化分析与验证
张爱新，李建华著2010 年出版214 页ISBN：9787111297260本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
-
网络协议的形式化分析与设计
古天龙，蔡国永著2003 年出版367 页ISBN：7505386468本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......
-
简单网络管理协议的理论与实践 SNMP第1版、第2版
（美）马赛厄斯·海因（Mathias Hein），（美）戴维·格里菲思（David Griffiths）著；邢国光等译1999 年出版437 页ISBN：7118019682 -
Linux网络体系结构 Linux内核中网络协议的设计与实现
（美）威尔（Wehrle，K.）等著；汪青青，卢祖英译2006 年出版489 页ISBN：7302130191本书介绍了在Linux内核中实现网络功能时所需要的基础知识，同时也介绍了通信系统的设计。