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