《随机模型检测理论与应用》 - 周从华 - 科学出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

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

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

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

釘裝：平装

售價：HK$ 125.0

我要買件

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

新書推薦：

《黛莱丝的一生（诺奖得主莫里亚克钟爱之作，当婚姻变成“枷锁”，人生如坠漫长黑夜）》
售價：HK$ 52.8

《牛津西方音乐史（卷四）：20世纪早期音乐》
售價：HK$ 261.8

《英格兰的扩张》
售價：HK$ 96.8

《不焦虑的立体几何：学透稳拿分》
售價：HK$ 87.8

《海外中国研究·洪亮吉：清朝士大夫的生存之道》
售價：HK$ 74.8

《数据资本大时代》
售價：HK$ 86.9

《激情耗尽（精装彩插典藏版）》
售價：HK$ 65.9

《人鼠之间长谷（诺奖得主斯坦贝克再次书写大时代洪流之下小人物的悲喜命运，感动人心的世纪之书）》
售價：HK$ 75.9

內容簡介：

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

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.