×

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

最新的 引文 关联
瓦伦蒂娜·卡斯蒂格利奥尼；米歇尔·洛雷蒂；西蒙·蒂尼

你的程序适应性和可靠性如何？ （英语） Zbl 1489.68139号

Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12719, 60-79 (2021).
MSC公司：第68季度第60季度 68号30 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Castiglioni}等人，Lect。票据计算。科学。12719、60-79（2021年；Zbl 1489.68139）
全文： 内政部
Mio、Matteo；瓦莱里亚·维格努德利

不确定性和概率的单数和定量方程理论。 （英语） Zbl 07559484号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第28条，第18页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Mio}和\textit{V.Vignudelli}，LIPIcs——莱布尼茨国际程序。通知。171，第28条，第18页（2020；Zbl 07559484）
全文： 内政部 arXiv公司
菲利波·邦奇；巴巴拉·科尼格；佩特里西安，丹妮拉

通过谎言实现行为指标的最新技术。 （英语） Zbl 1520.68089号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第17条，第17页（2018年）。
MSC公司：68问题85 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。118，第17条，第17页（2018；Zbl 1520.68089）
全文： 内政部 arXiv公司
瓦伦蒂娜·卡斯蒂格利奥尼；丹尼尔·格布勒；西蒙·蒂尼

基于SOS的非确定性概率过程的模态分解。 （英语） Zbl 1448.68333号

日志。方法计算。科学。 14，第2号，第18号论文，51页（2018）。
MSC公司：68问题85 03B45号 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛V.Castiglioni｝等人，日志。方法计算。科学。14，第2号，第18号论文，51页（2018；Zbl 1448.68333）
全文： 内政部 arXiv公司
拉诺特，拉格罗；马西莫·梅罗；西蒙·蒂尼

组密钥更新的组合弱度量。 （英语） Zbl 1441.68146号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第72条，第16页（2017年）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛R.Lanotte｝等人，LIPIcs——莱布尼茨国际期刊。通知。83，第72条，第16页（2017年；Zbl 1441.68146）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件