-
NuSMV-2.5.1.tar
这是模型检测的一个最新版本，希望对大家有所帮助。(This is one of the latest version of model checking, we want to help.)
- 2010-11-11 15:32:08下载
- 积分：1
-
SDWebImage_10803
及时通信，及时通信，及时通信，及时通信，及时通信，(Timely communication, timely communication, timely communication, timely communication, timely communication,)
- 2013-12-23 15:53:39下载
- 积分：1
-
ImageDemo
这是个图片显示的例子。帮助查看资料。资料的详细功要让或其他好源码(This is a picture display example. Help View information. For more information or to make a good power source)
- 2011-10-20 12:21:07下载
- 积分：1
-
68965
很炫的抽屉式侧边栏导航效果，精选ios编程学习源码，很好的参考资料。(Drawer type sidebar navigation effect of cool, selection of learning IOS programming source code, a good reference.)
- 2013-12-06 11:38:11下载
- 积分：1
-
cat
这是用M语言写的程序，模拟猫追耗子的matlab程序(This is written in M language program,
，Matlab program to simulate the cat chased the mouse
)
- 2013-03-02 08:47:37下载
- 积分：1
-
msp430x2013_ADC_Comparator
Dont complain so much , This is startup program. Not Complete one.
- 2014-10-16 15:17:05下载
- 积分：1
-
sparse-representation
稀疏表示，使得数据简单看，而且易懂，是流行的一种数据表示方法(Sparse representation，Make the data look simple, but to understand, is one of the popular data representation method)
- 2014-09-17 14:50:39下载
- 积分：1
-
sy01_simulink
simulink有一个很大的优点是为用户省去了许多重复的代码编写。(simulink have a great advantage for the user save a lot of repetitive coding.)
- 2009-01-19 17:17:01下载
- 积分：1
-
DeNoising
去噪工具包，包含了多中去噪方法，主要是基于MATLAB环境下运行。(De-noising tool kit contains a number of de-noising method is based mainly on the MATLAB environment.)
- 2009-04-20 10:02:21下载
- 积分：1
-
Implementation-of-Caesar-Cipher
Implementation of Ceaser Cipher in C
- 2014-10-01 13:36:39下载
- 积分：1
