×

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

如何酿造精炼订单。 (英语) Zbl 1342.68094号

Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会会议记录(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259123-141(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

测试有限概率过程(扩展抽象)。 (英语) Zbl 1254.68166号

Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。2009年9月1日至4日,意大利博洛尼亚,第20届国际会议,CONCUR 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学课堂讲稿5710274-288(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段