×

找到6个文档(结果1-6)

量子系统的可编码性标准。 (英语) Zbl 1499.68234号

Mousavi,Mohammad Reza(编辑)等人,分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议,FORTE 2022,作为第17届分布式计算技术国际联合会议的一部分,于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13273, 151-169 (2022).
MSC公司:第68季度85 81页68
PDF格式BibTeX公司 XML格式引用

关于马尔可夫自动机的语义。 (英语) Zbl 1333.68162号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学讲义6756,307-318(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于测试概率过程的备注。 (英语) Zbl 1277.68121号

Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172,359-397(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段