[网络基础] 时间自动机与网络协议验证

说明： 随着计算机网络与通信技术的发展，网络协议的复杂性 也日益增加。协议开发的难度增大、周期增长，而且潜在错 误增多。而协议中的每一处错误和缺陷都将给网络系统的稳 定性、可靠性等带来巨大的危害。用形式化的方法来描述与 验证网络协议可以发现协议中潜在的错误。时间自动机可以 用直观的形式描述网络协议，特别是其中的时间特性。现在 已经开发出了基于时间自动机的多种验证工具，都可以很好 地用于网络协议验证中。
<superlj06> 上传 | 大小：126kb

[网络基础] 啊D网络工具包V2.02

说明： 啊D网络工具包，赶快下载，无敌，最好的工具
<yl8803> 上传 | 大小：725kb

[网络基础] TruthTracerUtilities-SysWatcher进程/模块管理/网络流量/数据包捕获、分析工具集V0.11

说明： 此版本已过时，请到以下链接下载最新版本：http://blog.csdn.net/TruthTracer/archive/2008/09/24/2973232.aspx
<zqt2000> 上传 | 大小：2mb

[网络基础] 网络编程 soket

说明： 里面包括了许多关于网络方面的基础的编程，也有实例解析
<mlp001> 上传 | 大小：117kb

[网络基础] 软考网络工程师历年真题

说明： 内含2001至2008年上半年的所有网络工程师考试的真题以及解答。
<wcj123456789> 上传 | 大小：4mb

[网络基础] 易顺佳刀模管理系统简体SQL网络版V1.06.22

说明： 易顺佳刀模管理系统是易顺佳软件工作室研发的企业管理软件。本软件适用于标签生产、印刷类、刀模生产、加工类企业进行刀模科学管理。本软件采用数字流水号的形式,从00001,00002,00003.....顺序对刀模进行编号排序,同时保存刀模的规格、模数、跳距、间距、排间距、虚线、模、排、客户名称与刀模图等信息,只要您在日常工作中,给刀模标上本软件生成的刀模编号,再按顺序排放在仓库中,您仅需在本软件中输入要查询的刀模信息(可按规格、模数、跳距、间距、排间距、虚线、模、排、客户名称等查询),您就可以马上
<miwa181> 上传 | 大小：4mb

[网络基础] 网络工程师路由+交换课程视频教程

说明： 全面介绍路由,与交换技术. 由经验丰富讲师主持
<meng1503159> 上传 | 大小：8mb

[网络基础] 超全的常用网络协议原理

说明： 超全的常用网络协议原理，希望对大家有用。
<zljlyc> 上传 | 大小：1mb

[网络基础] 考研英语模拟题(2009年)

说明： 考研英语模拟题, 英语模拟拟试题(2009 年)网络六套题.
<loveforeverlg> 上传 | 大小：1mb

[网络基础] 网站推广29种常见方法

说明： 网站推广29种常见方法，非常经典，让你的网站迅速得到推广
<liujianli123> 上传 | 大小：575kb

[网络基础] 3G网络计费系统体系结构的研究与设计

说明： 毕业设计论文 很有用，希望大家能够用掉。O(∩_∩)O哈哈~
<xijiann22> 上传 | 大小：3mb

[网络基础] packet是思科网络认证虚拟软件手册

说明： packet是思科网络认证虚拟软件，为网络布线学习者，思科考试者提供方便
<zhoufengjie848> 上传 | 大小：1mb