-
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
-
Multisim_10
multisim软件是画图仿真领域的龙头,而这个文件是个好的开始(the multisim Software is drawing the the simulation field' s leading, and this document is a good start)
- 2013-03-18 22:57:33下载
- 积分:1
-
IOT_Simulation_3_BasicModels
opnet 仿真,陈敏老师2015年新书 opnet物联网仿真(opnet Simulation)
- 2020-09-22 22:47:49下载
- 积分:1
-
ENC28J60
28335 ENC28J60驱动底层程序,ping通,没有附带协议部分(28335 ENC28J60 driver underlying program, ping-pass, no part of the agreement with)
- 2020-11-10 18:39:45下载
- 积分:1
-
675467
一个完整的功能比较全的PDF阅读器,IOS编程学习源码,很好的参考资料。(A complete comparison of the entire PDF reader, learning IOS programming source code, a good reference.)
- 2013-12-05 09:48:20下载
- 积分:1
-
EEPROM-Lab2
dsPIC30F3014的IIC读写C程序源代码,通过ICD3编程器测试。(dsPIC30F3014 the IIC to read and write C program source code, programmer by ICD3 test.)
- 2011-06-29 16:24:53下载
- 积分:1
-
chap08
針對單輸入與雙輸入模糊溫度控制系統,以C語言程式分別實現(For single-input and two-input fuzzy temperature control system to realize, respectively, C language programs)
- 2007-10-29 18:16:36下载
- 积分:1
-
wuxian
nrf24l01和avr配合使用的东西哦,很好很强大。(nrf24l01 and avr with the use of things Oh, very very strong.)
- 2011-07-29 21:42:21下载
- 积分:1
-
Failure-Mode-and-Reliability
结构系统失效模式可靠性Monte-Carlo法
结构系统失效模式研究与可靠性分析(Structural system reliability failure modes Monte-Carlo method structural system reliability analysis and failure mode study)
- 2013-12-18 19:43:11下载
- 积分:1
-
bomb-game
扫雷游戏的C++代码,适用于学习C++的初学者,有助于理解程序,提升能力。(
Minesweeper game C++ code, suitable for beginners to learn C++, to help understand the process, enhance the capacity.
Minesweeper game C++ code, suitable for beginners to learn C++, to help understand the process, enhance the capacity.)
- 2014-01-03 10:24:46下载
- 积分:1