[其它] 程序验证经典《Principles of Model Checking》

说明： Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twen
<hfshgfh> 上传 | 大小：5mb

[其它] 数据恢复软件superrecover

说明： 数据恢复软件superrecover.强悍恢复各种数据。哈哈哈哈哈哈
<trate1> 上传 | 大小：2mb

[其它] 硬盘文件恢复工具

说明： 硬盘能显示出来，却无法打开盘符时，该工具可以帮你找回存在硬盘中的数据并拷贝出来。
<luoye_java> 上传 | 大小：17mb

[其它] U盘检测工具

说明： U盘检测的工具，可以查阅U盘的各类型号，查找U盘信息，为大家提供参考
<zjfrbzjf> 上传 | 大小：1mb

[其它] Net+Reactor(混淆工具，防止反编译)

说明： .Net Reactor 混淆工具 防止反编译，商业软件开发 操作简便 很好用得一个.Net工具
<angle860123> 上传 | 大小：3mb

[其它] *器

说明： *器
<ruanxiaoliu> 上传 | 大小：55kb

[其它] 7K的Shift后门 shiftdoor 1.2

说明： 7K的Shift后门 shiftdoor 1.2
<cna6cd> 上传 | 大小：3kb

[其它] MD5检测工具

说明： MD5准确检测，体积小巧，数据准确，纯绿色不用安装，是常用的好软件。
<feitianjinli> 上传 | 大小：29kb

[其它] USB转R232驱动

说明： USB转R232驱动 很好用！
<olaosan12345> 上传 | 大小：1mb

[其它] CAD数据转换

说明： 该软件是用于CAD服装打板的“参数数据”转换为“自由打板的数据”，该CAD数据转为软件可以实现批量转换的功能，转换完成后就可以拿到其他地方使用而无需修改参数。注意，这个数据转换为单向转换，请不要再逆向转换会CAD打板参数数据。所以在进行数据转换之前先备份您的CAD参数数据
<w1234567wpx> 上传 | 大小：481kb

[其它] 高级加密标准AES优胜算法Rijndael c语言源代码

说明： 高级加密标准AES优胜算法Rijndael c语言源代码
<sharewang> 上传 | 大小：5kb

[其它] AES 算法原理及其实现

说明： 在研究分析了AES 加密原理的基础上着重说明了AES 算法实现的具体步骤,并用C 语言完整地实现 了AES 算法,并利用密文分组链接(CBC) 方式将其用于对文件的加密/ 解密(密钥长度可选) 。AES 结合其它技 术还可实现更为广泛的安全协议。
<sharewang> 上传 | 大小：169kb