![]() |
登入帳戶
| 訂單查詢
| ![]() |
|
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
香港/國際用戶 |
![]() |
最新/最熱/最齊全的簡體書網 | 品種:超過100萬種書,正品正价,放心網購,悭钱省心 | 送貨:速遞 / 物流,時效:出貨後2-4日 | ![]() |
在 大書城
以“
全文
模式”搜“
刘关俊
”共有
4
結果:![]() |
支援简体 / 繁體 / 正體字輸入搜索 |
![]() ![]() |
组合数学及应用
作者:刘关俊 出版:科学出版社 日期:2025-01-01 《组合数学及应用》围绕组合计数问题,将数学原理与实际应用相结合,介绍集合与多集上的排列与组合、二(多)项式定理、二项分布与信息熵、鸽巢原理、拉姆齐理论、生成函数、递归关系(包括斐波那契数、斯特林数、卡 ... |
詳情>> | 售價:NT$ 296 ![]() |
![]() ![]() |
基于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网的资源分配系统死锁预防策略、基于Petri网的交 ... |
詳情>> | 售價:NT$ 408 ![]() |
>>> (頁碼:1/1 行數:20/4) 1 |
書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
megBook.com.tw | |
Copyright (C) 2013 - 2025 (香港)大書城有限公司 All Rights Reserved. |