登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書

『簡體書』随机模型检测理论与应用

書城自編碼: 3365721
分類:簡體書→大陸圖書→社會科學社會學
作者: 周从华
國際書號(ISBN): 9787030418920
出版社: 科学出版社
出版日期: 2018-08-01


釘裝: 平装

售價:HK$ 125.0

我要買

share:

** 我創建的書架 **
未登入.



新書推薦:
宋以前医籍考
《 宋以前医籍考 》

售價:HK$ 286.8
华夏文库儒学书系:明代遗民:顾炎武、王夫之、黄宗羲
《 华夏文库儒学书系:明代遗民:顾炎武、王夫之、黄宗羲 》

售價:HK$ 25.4
中国书法之美:汉字美的历程
《 中国书法之美:汉字美的历程 》

售價:HK$ 136.8
葡萄酒与战争:法国人与纳粹的斗争(格致·格尔尼卡)
《 葡萄酒与战争:法国人与纳粹的斗争(格致·格尔尼卡) 》

售價:HK$ 73.2
2025年版 中华人民共和国药典(1~4部)
《 2025年版 中华人民共和国药典(1~4部) 》

售價:HK$ 4875.4
清华简《系年》综合研究(全二册)
《 清华简《系年》综合研究(全二册) 》

售價:HK$ 552.2
微渺人生
《 微渺人生 》

售價:HK$ 80.2
具身情绪:如何借助身体化解情绪困境
《 具身情绪:如何借助身体化解情绪困境 》

售價:HK$ 105.0

內容簡介:
本书是作者多年从事随机模型检测相关科研工作的结晶。全书致力于缓解随机模型检测中的状态空间爆炸问题,深入系统地论述克服状态空间爆炸的两种基本技术:限界模型检测技术与抽象技术。首先,介绍离散时间马尔可夫链、马尔可夫决策过程、连续时间马尔可夫链和概率实时解释系统中的限界检测技术。然后,讨论模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。*后,探讨随机模型检测技术在云计算和物联网领域的应用。

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2025 (香港)大書城有限公司  All Rights Reserved.