资源列表
排序选择:
AnswerSetProgramming
- 在vc上运行的回答集求解器源代码,能够供在人工智能上学习的学习者使用
aspnetProfile
- asp.net中profile的详细配置
cgrasp
- 有c语言编写的最基本的rsat源代码,可以供学习可满足性分析编写者使用,能够学到很多SAT方面的知识
News_Demo
- struts+hibernate模式的在线信息发布系统
JTIDL63Code
- 韩培友<<IDL可视化分析与应用>>一书的配套完整源代码与误勘表
modelchecking_spin
- 对软件进行可达性测试的软件,并提供源代码,能够有效实施软件测试任务
Build_your_own_web_site_HTML_and_CSS
- 用html和css来重构你的网站。。。让你的网站访问速度超人!
cmm
- 该资料为本校(华科大)计算机学院,软件学院:软件能力成熟度模型CMM 课程课件(对外公开)
Statistic_Demo
- jsp+servlet+jdbc结构的在线访问统计系统
rsat_2
- 最快速的可满足性分析工具软件,曾经获得比赛的冠军,能够让学习者,学很多的编程技巧
imagecutJavaScriptDemo
- Javascr ipt+剪切图片并把剪切结果传到服务器端生成新的图片的简单的
CameraSW
- 这是笔者早年开发的一款用单片机读摄象头图象数据的程序,是用汇编写的,设计思路和程序风格可以借鉴,是笔者的得意之作。
