×

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

移动环境的标记转换(通过图形编码合成)。 (英语) Zbl 1291.68281号

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

反应系统、倒刺语义和移动环境。 (英语) Zbl 1234.68287号

de Alfaro,Luca(编辑),软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504272-287(2009)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

移动环境的分散实施。 (英语) Zbl 1175.68279号

Ehrig,Hartmut(编辑)等人,《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87404-1/pbk)。计算机科学课堂讲稿5214,115-130(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

软件