×

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

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

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

数据字换能器的合成。 (英语) Zbl 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格式引用
全文: 内政部

串到上下文传感器的顺序。 (英语) 兹伯利07561621

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第128条,第14页(2019年)。
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

加权自动机的序列度。 (英语) Zbl 1396.68075号

Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-54457-0/pbk;978-3-562-54458-7/电子书)。计算机科学课堂讲稿10203,215-230(2017)。
PDF格式BibTeX公司 XML格式引用

非周期性串传感器。 (英语) Zbl 1436.68167号

Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9840125-137(2016)中所述。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件