×

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

最新 引文 相关性
蒂姆·夸特曼;Joost-Pieter卡托恩

长期平均和总回报的多目标优化。 （英语） Zbl 1467.68094号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 230-249 (2021).
MSC公司：60年第68季度 65年第68季度 87年第68季度 90C29型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Quatmann}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。12651、230-249（2021；Zbl 1467.68094）
全文： 内政部 arXiv公司
尤利亚·布特科娃;拉尔夫·威默;霍尔格·赫尔曼斯

马尔可夫自动机的长期回报。 （英语） Zbl 1452.68102号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206, 188-203 (2017).
MSC公司：65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Butkova｝等人，Lect。注释计算。科学。10206、188--203（2017；Zbl 1452.68102）
全文： 内政部
哈桑·哈特菲;拉尔夫·威默;布雷丁，贝蒂娜;费雷尔·菲奥里蒂，路易斯·玛丽亚;贝恩德·贝克尔;霍尔格·赫尔曼斯

随机博弈和马尔可夫自动机中的成本与时间。 （英语） Zbl 1370.68173号

正式Asp。计算。 29，第4号，629-649（2017）.
MSC公司：65年第68季度 68问题85 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{H.Hatefi}等人，《形式Asp》。计算。29，第4号，629--649（2017；Zbl 1370.68173）
全文： 内政部
酒井、玉树;Attrapadung、Nuttapong;花冈、果一郎

双线性映射电路的基于属性的签名。 （英语） 兹比尔1388.94076

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，283-300（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Sakai｝等人，Lect。注释计算。科学。9614，283--300（2016；Zbl 1388.94076）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

全部的 前3名

主字段

全部的 前3名

软件