-
本书详细介绍了模型检测的基本原理,分析了模型检测在各个行业的应用,重点分析了模型检测各种算法,是有关模型检测方面不可多得百科全书式的经典资料。...
本书详细介绍了模型检测的基本原理,分析了模型检测在各个行业的应用,重点分析了模型检测各种算法,是有关模型检测方面不可多得百科全书式的经典资料。-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
-
into the era of CRM Marketing
走进CRM营销时代-into the era of CRM Marketing
- 2022-02-01 23:52:46下载
- 积分:1
-
资源的尺度效应对MPP的性能:
Resource Scaling Effects on MPP Performance:
The STAP Benchmark Implications
- 2022-08-21 22:05:14下载
- 积分:1
-
2007开源报告,针对多平台,包括操作系统、开发平台、开发工具...
2007开源报告,针对多平台,包括操作系统、开发平台、开发工具-2007 revenue report for multi-platforms, including operating systems, development platforms, development tools
- 2022-03-17 01:56:59下载
- 积分:1
-
CCD noise reduction technologies research article, using adobe reader to open, t...
CCD降噪技术的研究的文章,用adobe reader打开,描述CCD降噪原理-CCD noise reduction technologies research article, using adobe reader to open, to describe the principle of CCD noise
- 2022-01-24 17:15:56下载
- 积分:1
-
这是是工商管理专业的一篇毕业论文,主要介绍中国女装市场现状和发展趋势。适合于社会调查,服装前景规划,服装现状分析...
这是是工商管理专业的一篇毕业论文,主要介绍中国女装市场现状和发展趋势。适合于社会调查,服装前景规划,服装现状分析-This the business and professional management of a dissertation, mainly on the Chinese women"s status and market trends. Adapted to the social survey, clothing vision, clothing, etc. Analysis
- 2023-04-20 14:15:03下载
- 积分:1
-
foreign authority on wireless sensor networks on the professional field
国外权威的关于无线传感器网络专业领域的综述-foreign authority on wireless sensor networks on the professional field
- 2023-03-05 07:10:05下载
- 积分:1
-
CAJ format, using genetic algorithm shortest path problem, need to look at
CAJ格式的,用遗传算法求解最短路径问题,需要的可以看一下-CAJ format, using genetic algorithm shortest path problem, need to look at
- 2023-03-31 23:40:04下载
- 积分:1
-
ARM assembley language programming . to embed projects based on ARM family of mi...
ARM assembley language programming . to embed projects based on ARM family of micro controllers
- 2022-06-14 23:59:05下载
- 积分:1
-
聚类研究,实现了基于距离,基于密度和改进算法
聚类研究,实现了基于距离,基于密度和改进算法-clustering, based on the distance to achieve, based on density and improved algorithm
- 2022-08-04 06:43:41下载
- 积分:1