-
本书详细介绍了模型检测的基本原理，分析了模型检测在各个行业的应用，重点分析了模型检测各种算法，是有关模型检测方面不可多得百科全书式的经典资料。...
本书详细介绍了模型检测的基本原理，分析了模型检测在各个行业的应用，重点分析了模型检测各种算法，是有关模型检测方面不可多得百科全书式的经典资料。-The book details the basic principles of model checking, analysis of model checking applications in various industries, focusing on analysis of the model checking algorithms is the model of testing rare classic encyclopedic information.
- 2022-08-21 02:43:36下载
- 积分：1
-
ns protocol registry help.......
ns protocol registry help-ns protocol registry help.......
- 2022-08-04 09:51:01下载
- 积分：1
-
DM9000数据表
DM9000 datasheet-DM9000 datasheet_______
- 2022-04-10 08:22:47下载
- 积分：1
-
ip电话的关键技术,包括语音编码,压缩,打包,分组交换,以及保证语音质量而采取的回声抵消技术....
ip电话的关键技术,包括语音编码,压缩,打包,分组交换,以及保证语音质量而采取的回声抵消技术.-ip telephone key technologies, including voice coding, compression, packing and packet switching, and voice quality assurance and the echo cancellation technology.
- 2022-08-09 01:25:24下载
- 积分：1
-
另一个AVR编程器
yet another avr programmer
- 2022-06-12 16:00:42下载
- 积分：1
-
一篇关于“设计和开发低成本的超高频RFID读写器”
A Paper on "Design & Development of Low Cost UHF RFID Reader"
- 2022-06-19 16:19:02下载
- 积分：1
-
介绍基于mimo的4G系统中调度算法的设计。比较基础。
介绍基于mimo的4G系统中调度算法的设计。比较基础。-mimo based on the 4G system scheduling algorithm design. Basis for comparison.
- 2022-03-04 16:15:22下载
- 积分：1
-
虚拟现实项目。该算法构建大型图像体积仁德…
virtual reality project. This algorithm for building large image to Volume rendering. Using directx
- 2022-04-27 17:23:30下载
- 积分：1
-
可以进行动态重建的酒店平面图的源码下载，欢迎改进。
可以进行动态重建的酒店平面图的源码下载，欢迎改进。-Dynamic reconstruction can
- 2022-07-14 12:38:58下载
- 积分：1
-
AquaLogic_Interaction_Portal:由BEA开发维护的主流门户系统之一，目前在国内实施成功的方案在文档里面有说明，如果有这方面需求的个人公...
AquaLogic_Interaction_Portal:由BEA开发维护的主流门户系统之一，目前在国内实施成功的方案在文档里面有说明，如果有这方面需求的个人公司可以参考。-AquaLogic_Interaction_Portal: development by BEA to maintain one of the main portal, currently in the domestic implementation of successful programs described in the document which, if there is demand in this area can refer to the individual companies.
- 2022-01-21 01:52:02下载
- 积分：1
