×

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

传感器定义的数据字函数的可计算性。 (英语) Zbl 07250940号

Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议,FOSSACS 2020,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2020,2020年4月25日至30日,爱尔兰都柏林。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12077, 217-236 (2020).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

数据字换能器的合成。 (英语) 兹比尔07649932

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第24条,第15页(2019年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多序列规格换能器综合的复杂性。 (英语) Zbl 1512.68138号

Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第46条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件