检索条件： 刘关俊 ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Petri网的元展：一种并发系统模型检测方法
责任者刘关俊

出版信息科学出版社 ,2020

ISBN 978-7-03-066259-0

馆藏信息

图书信息

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

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

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

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

出版信息科学出版社 ,2024

ISBN 978-7-03-077284-8

馆藏信息

图书信息

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

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

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

刘关俊,何雷锋.科学出版社,2024.
3 图书 Petri网活性与应用
责任者刘关俊,蒋昌俊

出版信息同济大学出版社 ,2020

ISBN 978-7-5608-7428-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
刘关俊,蒋昌俊.Petri网活性与应用.同济大学出版社,2020.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Petri网活性与应用

刘关俊,蒋昌俊.同济大学出版社,2020.

通借成功!

预约成功!