资源列表
排序选择:
[Windows编程] cheatmaster
说明:值得研究的記憶體修改器.第一次修改可能重有一些bugs.請各位幫手-A invaluable experience in making game memory cheating engine, thx for replying bugs for improvement<splendid_123> 在 2024-12-27 上传 | 大小:17kb | 下载:0
[弱点检测代码] mops-0.9.1.tar
说明:Mops 模型检测工具 用来对C程序进行检测-model checking c programs<gavin> 在 2024-12-27 上传 | 大小:599kb | 下载:0
[串口编程] OXO-CSTA-CTI
说明:中小企业呼叫中心CTI技术软件任务包和相关的文档。-Small and medium-sized CTI call center software package and related tasks documents.<郭志雷> 在 2024-12-27 上传 | 大小:2.99mb | 下载:0
[JSP源码/Java] MediaStore
说明:Java版音像店管理系统 安装步骤: (1) 安装jdk1.4 (2) 安装tomcat5.0 (3) 安装Microsoft SQL server 2000 (4) 利用MediaStore/sql/db_init.sql文件,创建数据表,并导入初始化数据 (5) 将MediaStore文件夹,整个拷贝到tomcat5.0/webapps目下,并打开MediaStore/WEB-INF/web.xml文件<谭骏> 在 2024-12-27 上传 | 大小:8.96mb | 下载:0
[JSP源码/Java] jsp(commerce)
说明:jsp开发的电子商务系统 实现了电子商务的基本流程 相信对你有帮助-jsp development of e-commerce e-commerce systems to achieve the basic process believe that you have to help! !<心如止水> 在 2024-12-27 上传 | 大小:10.6mb | 下载:0
[人工智能/神经网络/遗传算法] KMEANS
说明:K-Means动态聚类算法源程序 在数据挖掘中的应用-K-Means dynamic algorithm source data mining application<张照辉> 在 2024-12-27 上传 | 大小:129kb | 下载:0
[弱点检测代码] lbt-1.2.2.tar
说明:在模型检测中将LTL公式转化成等价的自动机的c++实现-This piece of software provides a C++ implementation for an algorithm that converts a linear temporal logic formula to a generalised Büchi automaton<gavin> 在 2024-12-27 上传 | 大小:20kb | 下载:0
[软件工程] fluids_libs
说明:Hi I’ am an Algerian student, I’ am in second year of post graduation, in mechanical engineering, option simulation and modulation in mechanic.<walid> 在 2024-12-27 上传 | 大小:678kb | 下载:0
[弱点检测代码] NuSMV-2.4.3.tar
说明:NuSMV是一个符号模型检测器,由CMU的SMV发展而来的。-NuSMV-2.4.3 a model checking tool<gavin> 在 2024-12-27 上传 | 大小:3.17mb | 下载:0
[JSP源码/Java] shopshangcheng
说明:一个购物商城系统,jsp技术开发 里面的资源基本实现了各个功能模块 相信对你有所帮助-A shopping mall system, jsp technology development resources which basically believe that the various functional modules help you! !<心如止水> 在 2024-12-27 上传 | 大小:3.15mb | 下载:0