×

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

没必要认识很多邻居。实现MLSL的可实现解释。 (英语) Zbl 1444.68181号

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,为纪念Ernst-Rüdiger Olderog 60岁生日而举办的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360, 152-171 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

主字段

软件