×

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

最新的 引文 关联
托拜厄斯·温克勒;塞巴斯蒂安·荣格斯;吉列尔莫·A·佩雷斯。;Joost-Pieter卡托恩

参数马尔可夫决策过程可达性的复杂性。 （英语） Zbl 07649922号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第14条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Winkler}等人，LIPIcs——莱布尼茨国际程序。通知。140，第14条，第17页（2019年；Zbl 07649922）
全文： 内政部 arXiv公司
Lisa Hutschenreiter;克里斯特尔·拜尔;约阿希姆·克莱因

参数马尔可夫链：PCTL复杂性和无分数高斯消去。 （英语） Zbl 1483.68195号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256，16-30（2017）。
MSC公司：60年第68季度 03B70号 60年20日 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Hutschenreiter}等人，《电子》。程序。西奥。计算。科学。（EPTCS）256，16-30（2017年；兹bl 1483.68195）
全文： 链接
尼古拉·贝内什;伊万娜·乔纳;Štefaňák，Filip

组件交互自动机的因子分解。 （英语） Zbl 1302.68149号

Bieliková，Mária（编辑）等人，SOFSEM 2012：计算机科学的理论与实践。关于计算机科学理论和实践当前趋势的第38次会议，Špindlerův Mlýn，捷克共和国，2012年1月21-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27659-0/pbk）。计算机科学课堂讲稿7147554-565（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。7147554-565（2012年；兹比尔1302.68149）
全文： 内政部
亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基

混合和模态规范的决策问题的复杂性。 （英语） Zbl 1139.68035号

Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962112-126（2008）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Antonik}等人，Lect。注释计算。科学。4962、112-126（2008年；Zbl 1139.68035）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件