×

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

用于资源使用控制的名义自动机。 (英语) Zbl 1297.68121号

Moreira,Nelma(编辑)等人,《自动机的实现和应用》。2012年7月17日至20日,第17届国际会议,CIAA 2012,葡萄牙波尔图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31605-0/pbk)。计算机科学课堂讲稿7381125-137(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弱粘结剂的艰苦生活。 (英语) Zbl 1291.68278号

Hildebrandt,Thomas(编辑)等人,《第十五届并发表达能力国际研讨会论文集》(EXPRESS 2008),加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》242,第1期,49-72(2009)。
MSC公司:68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

移动流程的因果关系。 (英语) Zbl 1412.68149号

Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,匈牙利塞格德,第22届国际学术讨论会,ICALP’95。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。944, 660-671 (1995).
MSC公司:68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

成熟的树木。 (英语) Zbl 1425.68291号

Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 629-640 (1992).
MSC公司:68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段