購物車/收銀台(
0
) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(
0
) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
刘关俊
”共有
3
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
Petri网的元展：一种并发系统模型检测方法
『简体书』 作者：刘关俊 出版：科学出版社 日期：2020-10-01 《Petri网的元展：一种并发系统模型检测方法》主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等 ... |
詳情>> | |
 |
基于Petri网的计算树逻辑模型检测
『简体书』 作者：刘关俊，何雷锋 出版：科学出版社 日期：2024-01-01 本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式 ... |
詳情>> | |
 |
同济博士论丛——Petri网活性与应用
『简体书』 作者：刘关俊，蒋昌俊，伍江 出版：同济大学出版社 日期：2020-06-01 《Petri网活性与应用同济博士论丛》从理论研究与应用结合两个方面着手，以Petri网活性为主线，开展了Perti网（子类）的活性判定、基于Petri网的资源分配系统死锁预防策略、基于Petri网的交互式系统活性与兼容性分析等三方面的研究。 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/3） 1 |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”