图书馆
登录
书目检索
分类浏览
热门推荐
新书通报
期刊导航
读者荐购
信息发布
我的图书馆
简单检索
多字段检索
组合检索
检索结果
全部
图书
期刊
搜 索
在结果中检索
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
题名
摘要
责任者
出版者
标准编码
索书号
主题词
全部字段
有随书光盘
搜索
基于Petri网的计算树逻辑模型检测
的资源 共有
1
条结果，用时
0.0
秒
每页显示：
5
10
15
20
显示方式：
详细显示
列表显示
排序方式：
默认排序
题 名
出版日期
入藏时间
索书号
图书馆
云南农业大学图书馆(1)
资源类型
图书(1)
馆藏地址
综合图书阅览室(1)
书目库
中文图书(1)
主题
计算机科学(1)
出版社
科学出版社(1)
出版时间
2024.01(1)
基于PETRI网的计算树逻辑模型检测
—
刘关俊, 何雷锋著
索书号：
TP3/680
标准编码：
978-7-03-077284-8
出版信息：
北京 科学出版社 2024.01
中文图书
收藏
馆藏预览
数据正在加载中……
数据正在加载中……
1
共有：1条记录
参考翻译
热门检索词
相关资源
