资源列表
rat_v0.20
- RaT(Radar Tools)--唯一一款IDL语言编写的开源软件(rat_v0.20_binary.tar) 内含所有源代码(rat_v0.20_source.tar)
CameraSW
- 这是笔者早年开发的一款用单片机读摄象头图象数据的程序,是用汇编写的,设计思路和程序风格可以借鉴,是笔者的得意之作。
rsat_2
- 最快速的可满足性分析工具软件,曾经获得比赛的冠军,能够让学习者,学很多的编程技巧
modelchecking_spin
- 对软件进行可达性测试的软件,并提供源代码,能够有效实施软件测试任务
JTIDL63Code
- 韩培友<<IDL可视化分析与应用>>一书的配套完整源代码与误勘表
cgrasp
- 有c语言编写的最基本的rsat源代码,可以供学习可满足性分析编写者使用,能够学到很多SAT方面的知识
aspnetProfile
- asp.net中profile的详细配置
AnswerSetProgramming
- 在vc上运行的回答集求解器源代码,能够供在人工智能上学习的学习者使用
HOJ10054
- ACM基础题,动态规划基础题,学习程序设计必备的算法基础练习
aspnetWebPart
- asp.net用Web Part创建门户
Commerce
- asp.net2.0 B2C 网上商城购物系统
COBOL_learning
- 谭浩强经典的cobol书籍,对于很难找到比较好资料的cobol学习者来说是很宝贵的。
