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

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

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

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

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

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

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

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

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

釘裝：平装

售價：HK$ 125.0

我要買件

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

新書推薦：

《宋以前医籍考》
售價：HK$ 286.8

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

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

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

《 2025年版中华人民共和国药典（1~4部）》
售價：HK$ 4875.4

《清华简《系年》综合研究（全二册）》
售價：HK$ 552.2

《微渺人生》
售價：HK$ 80.2

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

內容簡介：

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

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

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