×

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

艰难的建模之路:摘自近20年愉快合作的记录。 (英语) Zbl 1395.68005号

Konstantinidis,Stavros(编辑)等人,《理论在计算机科学中的作用》。专为Janusz Brzozowski撰写的论文。新泽西州哈肯萨克:世界科学(ISBN 978-981-3148-19-2/hbk;978-981-3 148-21-5/电子书)。83-120 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

具有多个波的孤立子自动机。 (英语) Zbl 1323.68339号

Calude,Cristian S.(编辑)等人,《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际,为他撰写的论文。查姆:施普林格(ISBN 978-3-319-13349-2/pbk;978-3-316-13350-8/电子书)。计算机科学课堂讲稿8808,32-48(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

特刊:正式系统的描述复杂性(DCFS 2013)。前言。 (英语) Zbl 1305.00143号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式系统的描述复杂性。2014年8月5日至8日,第16届国际研讨会,DCFS 2014,芬兰图尔库。诉讼程序。 (英语) Zbl 1292.68006号

计算机科学课堂讲稿8614.柏林:施普林格出版社(ISBN 978-3-319-09703-9/pbk)。xii,365页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代码的自动机。 (英语) 兹比尔1298.94071

Konstantinidis,Stavros(编辑),自动化的实现和应用。2013年7月16日至19日,加拿大新南威尔士州哈利法克斯,2013年CIAA第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39273-3/pbk)。计算机科学课堂讲稿7982,2-15(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式系统的描述复杂性。2013年7月22日至25日,第15届国际研讨会,DCFS 2013,加拿大安大略省伦敦。诉讼程序。 (英语) Zbl 1268.68025号

计算机科学课堂讲稿8031.柏林:施普林格出版社(ISBN 978-3-642-39309-9/pbk)。x、 第289页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

编码几何图形的有限自动机。 (英语) Zbl 1050.68568号

Boldt,Oliver(编辑)等人,《自动化实现》。第四届国际研讨会,1999年7月17日至19日,德国波茨坦,WIA'99。修订论文。柏林:施普林格出版社(ISBN 3-540-42812-7)。莱克特。注释计算。科学。2214, 101-108 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

故障半自动机的半格。 (英语) Zbl 0944.68104号

Karhumäki,Juhani(编辑)等人,《珠宝是永恒的》。对理论计算机科学的贡献,以纪念阿尔托·萨洛马。柏林:斯普林格。3-15 (1999).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份