检索条件： 模型检测 ( 题名 )

检索结果共有6条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书模型检测
责任者克拉克,格伦贝格,佩莱德

出版信息电子工业出版社 ,2018

ISBN 978-7-121-35274-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
克拉克,格伦贝格,佩莱德.模型检测.电子工业出版社,2018.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/606568
复制引文到剪贴板

模型检测

克拉克,格伦贝格,佩莱德.电子工业出版社,2018.
2 图书模型检测
责任者克拉克,格伦贝格,佩莱德

出版信息电子工业出版社 ,2016

ISBN 978-7-121-27295-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
克拉克,格伦贝格,佩莱德.模型检测.电子工业出版社,2016.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/538390
复制引文到剪贴板

模型检测

克拉克,格伦贝格,佩莱德.电子工业出版社,2016.
3 图书模型检测量子系统：原理与算法：principles and algorithms
责任者应明生,冯元

出版信息机械工业出版社 ,2023

ISBN 978-7-111-72794-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
应明生,冯元.模型检测量子系统：原理与算法：principles and algorithms.机械工业出版社,2023.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/870383
复制引文到剪贴板

模型检测量子系统：原理与算法：principles and algorithms

应明生,冯元.机械工业出版社,2023.
4 图书随机模型检测理论与应用
责任者周从华

出版信息科学出版社 ,2014

ISBN 978-7-03-041892-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
周从华.随机模型检测理论与应用.科学出版社,2014.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/425505
复制引文到剪贴板

随机模型检测理论与应用

周从华.科学出版社,2014.
5 图书基于Petri网的计算树逻辑模型检测
责任者刘关俊,何雷锋

出版信息科学出版社 ,2024

ISBN 978-7-03-077284-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
刘关俊,何雷锋.基于Petri网的计算树逻辑模型检测.科学出版社,2024.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/896061
复制引文到剪贴板

基于Petri网的计算树逻辑模型检测

刘关俊,何雷锋.科学出版社,2024.
6 图书 Petri网的元展：一种并发系统模型检测方法
责任者刘关俊

出版信息科学出版社 ,2020

ISBN 978-7-03-066259-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
刘关俊.Petri网的元展：一种并发系统模型检测方法.科学出版社,2020.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/740187
复制引文到剪贴板

Petri网的元展：一种并发系统模型检测方法

刘关俊.科学出版社,2020.

通借成功!

预约成功!