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