-
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
-
7654356
右边伸出的bar导航,IOS编程学习源码,很好的参考资料。(Bar navigation right out, learning IOS programming source code, a good reference.)
- 2013-12-05 09:38:30下载
- 积分:1
-
Locations
Sample Code which helps to understand how to use LocationManager.
- 2011-01-15 06:20:50下载
- 积分:1
-
DATA-STRUCTURE
study of data structure implementation using c
- 2014-10-11 16:51:38下载
- 积分:1
-
ModuleC
this is module C that I wrote for FFT radix 2-2 1024 point.
- 2010-07-27 01:14:02下载
- 积分:1
-
DSP_FFT
产生两不迥频率的信号,并对两信号作复数FFT变换,找出频率为50Hz的信号对其进行能量计算(Two distant signal is not generated frequency, and two signals for complex FFT transform to identify the frequency of 50Hz signal to calculate its energy)
- 2013-12-01 10:35:35下载
- 积分:1
-
city_Dijkstra.m
说明: 数学建模中的图论知识来研究最短路径的问题,利用Dijkstra算法matlab实现(Graph theory knowledge in mathematical modeling is used to study the shortest path problem, which is realized by using Dijkstra algorithm matlab.)
- 2019-05-27 18:21:32下载
- 积分:1
-
rtmp-guifan1.0
rtmp规范翻译,想了解rtmp的可以多看看,入门非常好的资料哦(rtmp specification translation, want to know rtmp can see more, very good information Oh entry)
- 2014-10-14 17:23:17下载
- 积分:1
-
tree1.cpp
TREES PROGRAM IMPLEMENTAION DATA STRUCTRES
- 2014-09-05 05:22:36下载
- 积分:1
-
76545576
自定义风格的SegmentedControl,IOS编程学习源码,很好的参考资料。(A custom style SegmentedControl, learning IOS programming source code, a good reference.)
- 2013-12-05 09:13:30下载
- 积分:1