登入帳戶 | 訂單查詢 | 購物車/收銀台(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网的资源分 ... |
詳情>> | |
|
>>> (頁碼:1/1 行數:20/3) 1 |
如果未能搜尋到意向中的書籍,可以參看:“找書說明” 或 “尋書登記服務”
書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 香港用户 | 台灣用户 | 海外用户 |
megBook.com.hk | |
Copyright © 2013 - 2024 (香港)大書城有限公司 All Rights Reserved. |