资源列表
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
cvckybl
- 实现网上书店系统,使用STRUTS框架,十分方便学习交流-The realization of online bookstore system, using STRUTS framework, which is very convenient to study the exchange of
dct
- jpeg compression and expansion :P
easyjf.com_src
- EasyJF官网全站源码是EasyJF开源团队站务组及核心成员共同开发及维护的系统，该全部源码不是一个开源项目，仅供EasyJF团队正式成员使用，为庆祝2006年德国世界杯开幕，EasyJF管理团队讨论于6月9**对外开放源码，EasyJF没有打算对该下载包进行后期更新，该源码仅供广大的国内java开源爱好者学习及交流EasyJWeb及EasyDBO等开源目使用。 -Network-wide Station Official EasyJF source is open source Easy
txt
- 基于注册表的监控程序，实时看到注册表的变化。有较好的鲁棒性。-hao
NewFolder
- source code for rsa encryption
familyphotos
- JAVA BOT. this an irc bot with many features,use this program to educate-JAVA BOT. this is an irc bot with many features,use this program to educate.....
hideprocessxp
- use a single method for hide from task manager windows, use only winapi function.
NetShop
- 在同一程序中同时实现两种算法，可能大家感到稍难，所以，建议大家先各自单独实现优先数算法和时间片轮转算法。最后再将两种算法合并在一次。-在同一程序中同时实现两种算法，可能大家感到稍难，所以，建议大家先各自单独实现优先数算法和时间片轮转算法。最后再将两种算法合并在一次。
AI-Categorizer-0.07.tar
- categoriser perl scr ipt..
corrected
- k means clustering algorithm
IOapplication
- 这是一个IO程序，很有用哦，可以方便接口编程~~~~！-this is a application about io program.it is useful.