×

找到9个文档（结果1-9）

最新的 引文 关联
马蒂亚斯·拉加德·佩德森;乔治·巴奇;金·古德斯特兰·拉森;拉杜·马达尔

半马尔可夫决策过程模拟的半度量扩展。 （英语） Zbl 1514.68192号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 339-355 (2018).
MSC公司：第68季度87 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Pedersen}等人，Lect。注释计算。科学。11024、339--355（2018；Zbl 1514.68192）
全文： 内政部 链接
内特·福斯特;德克斯特·科赞;康斯坦蒂诺斯·马穆拉斯;马克·雷特布拉特;亚历山德拉·席尔瓦

概率NetKAT。 （英语） Zbl 1335.68027号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632282-309（2016）。
MSC公司：68甲15 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Foster}等人，Lect。注释计算。科学。9632，282--309（2016；Zbl 1335.68027）
全文： 内政部
德克斯特·科赞;拉杜·马达尔;帕南加登，普拉卡什

马尔可夫过程的度量对偶定理。 （英语） Zbl 1337.68186号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308211-227，仅电子版（2014）。
MSC公司：68问题85 03B45 03G25号 60J25型 第68季度87 68层37
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}等人，《电子》。理论注释。计算。科学。308211--227（2014；Zbl 1337.68186）
全文： 内政部
亚历山德罗·阿巴特;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克

通过有限近似互模拟对标记马尔可夫过程进行概率模型检验。 （英语） Zbl 1407.68275号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际献给他的散文。柏林：施普林格。莱克特。注释计算。科学。8464, 40-58 (2014).
MSC公司：60年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，Lect。注释计算。科学。8464，40-58（2014；Zbl 1407.68275）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

全部的 前3名

主字段

全部的 前3名

软件