×

找到1414个文档(结果1-100)

基于编程的形式语言和自动机理论。设计、实施、验证和证明。 (英语) Zbl 07786059号

计算机科学课文查姆:施普林格(ISBN 978-3-031-43972-8/hbk;978-3-331-43975-9/pbk;978-1-031-43973-5/电子书)。第二十三章,第524页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机理论。算法方法。 (英语) Zbl 07770922号

马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-04863-7/hbk;978-0-2262-37693-8/电子书)。xii,532页。,开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

自动机的实现和应用。第27届国际会议,CIAA 2023,法马古斯塔,北塞浦路斯,2023年9月19-22日。诉讼程序。 (英语) Zbl 07767954号

计算机科学课堂讲稿14151.查姆:施普林格(ISBN 978-3-031-40246-3/pbk;978-3-331-40247-0/ebook)。xii,304页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。 (英语) Zbl 07754282号

纽约州纽约市:计算机协会(ACM)(ISBN 979-8-4007-0033-0)。xi,30篇文章,未连续页码(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2023年9月5日至7日,匈牙利埃格尔,AFL,第16届国际自动机和形式语言会议记录。 (英语) Zbl 1522.68029号

理论计算机科学电子论文集(EPTCS)386.滑铁卢:开放出版协会(OPA)。280页。,仅电子化、开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用

语言理论的发展。第27届国际会议,DLT 2023,瑞典乌梅,2023年6月12-16日。诉讼程序。 (英语) Zbl 1524.68002号

计算机科学课堂讲稿13911.查姆:施普林格(ISBN 978-3-031-33263-0/pbk;978-3-331-33264-7/电子书)。第xx页,第259页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

200关于语言、自动机和计算的问题。 (英语) Zbl 1509.68002号

剑桥:剑桥大学出版社(ISBN 978-1-00-907378-3/pbk;978-1-316-51346-0/hbk;978-1-00-907263-2/电子书)。x、 256页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机理论和形式语言。 (英语) Zbl 07639970号

阿姆斯特丹:爱思唯尔/学术出版社(ISBN 978-0-323-91784-1/pbk;978-0-313-97217-8/电子书)。xxii,209页。(2023).
PDF格式BibTeX公司 XML格式引用

第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,甘道夫2022年,西班牙马德里,2022年9月21日至23日。 (英语) Zbl 1522.68028号

理论计算机科学电子论文集(EPTCS)370.滑铁卢:开放出版协会(OPA)。第228页。,仅电子化、开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用

第十二届非经典自动机模型与应用国际研讨会论文集,NCMA 2022,Debrecen,匈牙利,2022年8月26-27日。 (英语) Zbl 1522.68019号

理论计算机科学电子论文集(EPTCS)367.滑铁卢:开放出版协会(OPA)。第189页。,仅电子化、开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用

自动机理论和形式语言。基本概念、定理和技术。 (英语) Zbl 1527.68002号

计算机科学本科专题查姆:施普林格(ISBN 978-3-031-11964-4/pbk;978-3-0031-11965-1/电子书)。viii,280页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权自动机、形式幂级数和加权逻辑。 (英语) Zbl 1498.68005号

最佳大师。威斯巴登:施普林格·斯佩克特伦;康斯坦兹:康斯坦兹大学(硕士论文)(ISBN 978-3-658-39322-9/pbk;978-3-558-39323-6/ebook)。xi,第190页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于VLSI的组合有限状态机的逻辑综合。以ASIC、CPLD和FPGA为目标的合成。 (英语) Zbl 1502.68007号

电气工程课堂讲稿922.查姆:施普林格(ISBN 978-3-031-16026-4/hbk;978-3-331-16029-5/pbk;988-3-031-16027-1/电子书)。第十五卷,第291页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。 (英语) Zbl 1492.68007号

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-9196-2)。xii,30篇文章,未连续页码(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机的实现和应用。第26届国际会议,CIAA 2022,法国鲁昂,2022年6月28日至7月1日。诉讼程序。 (英语) Zbl 1492.68013号

计算机科学课堂讲稿13266.查姆:施普林格(ISBN 978-3-031-07468-4/pbk;978-3-0031-07469-1/电子书)。x、 第251页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言理论的发展。第26届国际会议,DLT 2022,美国佛罗里达州坦帕,2022年5月9日至13日。诉讼程序。 (英语) Zbl 1492.68017号

计算机科学课堂讲稿13257.查姆:施普林格(ISBN 978-3-031-05577-5/pbk;978-3-331-05578-2/ebook)。十八、325页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合动力系统。基本原理和方法。 (英语) 兹比尔1497.93002

控制与信号处理高级教材查姆:施普林格(ISBN 978-3-030-78729-5/hbk;978-3-0030-78731-8/电子书)。十八、442页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查、综合和学习。在本特·琼森60岁生日之际为他撰写的论文。 (英语) Zbl 1511.68019号

计算机科学课堂讲稿13030.查姆:施普林格(ISBN 978-3-030-91383-0/pbk;978-3-0030-91384-7/ebook)。viii,第219页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机理论和形式语言。 (英语) Zbl 1527.68001号

德格鲁伊特研究生柏林:De Gruyter(ISBN 978-3-11-075227-4/pbk;978-3-12-075230-4/电子书)。xiii,第231页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2021年9月20日至22日,在意大利帕多瓦举行的第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集。 (英语) Zbl 1489.68014号

理论计算机科学电子论文集(EPTCS)346.滑铁卢:开放出版协会(OPA)。第307页。,仅电子化、开放存取(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

自动机理论手册。第二卷。数学和选定应用中的自动机。 (英语) Zbl 1470.68002号

柏林:欧洲数学学会(EMS)(ISBN 978-3-98547-003-7/hbk;978-3-9547-006-8/set;978-3-98547-506-3/ebook-set)。xxii、840-1493、xxiii-lv(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 内政部

自动机理论手册。第一卷理论基础。 (英语) Zbl 1470.68001号

柏林:欧洲数学学会(EMS)(ISBN 978-3-98547-002-0/hbk;978-3-9547-006-8/set;978-3-48547-506-3/ebook-set)。第二十二章,第838页。,xxiii-lv(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 内政部

语言理论的发展。第25届国际会议,DLT 2021,葡萄牙波尔图,2021年8月16-20日。诉讼程序。 (英语) Zbl 1482.68035号

计算机科学课堂讲稿12811.查姆:施普林格(ISBN 978-3-030-81507-3/pbk;978-3-0030-81508-0/ebook)。十七、381页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。 (英语) Zbl 1466.68005号

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-8339-4)。27篇文章,未连续翻页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算入门。哈斯克尔,逻辑和自动机。 (英语) Zbl 1497.68005号

计算机科学本科专题查姆:施普林格(ISBN 978-3-030-76907-9/pbk;978-3-0.30-76908-6/电子书)。十六、366页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言和自动机理论及应用。2021年3月1日至5日,第15届国际会议,LATA 2021,意大利米兰。诉讼程序。 (英语) Zbl 1470.68022号

计算机科学课堂讲稿12638.商会:施普林格出版社(ISBN 978-3-030-68194-4/pbk;978-3-030-68195-1/电子书)。xi,第342页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机的实现和应用。第25届国际会议,CIAA 2021,虚拟活动,2021年7月19-22日。诉讼程序。 (英语) Zbl 1482.68034号

计算机科学课堂讲稿12803.查姆:施普林格(ISBN 978-3-030-79120-9/pbk;978-3-0030-79121-6/电子书)。xiii,第191页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习自动机和智能优化的进展。 (英语) Zbl 1470.68021号

智能系统参考库208.查姆:施普林格(ISBN 978-3-030-76290-2/hbk;978-3-0030-76291-9/电子书)。xx,第340页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

枚举组合数学的课程。 (英语) 兹比尔1478.05001

数学研究生课程290.查姆:施普林格(ISBN 978-3-030-71249-5/hbk;978-3-0.30-71252-5/pbk;978-1-3030-71250-1/电子书)。十六、479页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言理论的发展。第24届国际会议,DLT 2020,美国佛罗里达州坦帕,2020年5月11日至15日。诉讼程序。 (英语) Zbl 1496.68024号

计算机科学课堂讲稿12086.查姆:施普林格(ISBN 978-3-030-48515-3/pbk;978-3-0030-48516-0/ebook)。x、 第333页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第十一届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2020年9月21日至22日,比利时布鲁塞尔,GandALF 2020。 (英语) Zbl 1466.68026号

理论计算机科学电子论文集(EPTCS)326.滑铁卢:开放出版协会(OPA)。第233页。,仅电子化、开放存取(2020年)。
PDF格式BibTeX公司 XML格式引用

关于跳跃有限自动机的半线性集和变量的新结果。 (英语) Zbl 1471.68003号

柏林:Logos Verlag;Gießen:Gieéen-Univ.,Fachbereich Mathematik und Informatik,Physik,Geographie(Diss.)(ISBN 978-3-8325-5210-7/pbk)。xi,第232页。(2020).
PDF格式BibTeX公司 XML格式引用

第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。 (英语) Zbl 1434.93002号

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-7018-9)。33篇文章,未连续翻页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言和自动机理论及应用。第14届国际会议,LATA 2020,意大利米兰,2020年3月4日至6日。诉讼程序。 (英语) Zbl 1435.68034号

计算机科学课堂讲稿12038.查姆:施普林格(ISBN 978-3-030-40607-3/pbk;978-3-0030-40608-0/ebook)。xi,第449页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散事件系统中的估计和推理。基于模型的有限自动机方法。 (英语) Zbl 1436.93002号

通信与控制工程查姆:施普林格(ISBN 978-3-030-30820-9/hbk;978-3-0.30-30821-6/电子书)。十八、346页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

离散时间和离散空间动力系统。 (英语) Zbl 1430.93007号

通信与控制工程查姆:施普林格(ISBN 978-3-030-25971-6/hbk;978-3-0.30-25972-3/电子书)。xiv,222页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学中的形式化方法。 (英语) Zbl 1436.68002号

数学教科书佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-22570-4/hbk;978-1-4987-7532-8/pbk;978-0-429-18418-5/电子书)。十七、294页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

复杂系统动力学。自动机网络简介。第二卷。翻译自法语。重印1989年版。 (英语) Zbl 1502.37001号

米尔顿公园,阿宾顿:劳特利奇(ISBN 978-0-367-00299-2/hbk;978-0-367-15286-4/pbk;978-0-429-03285-1/电子书)。xvii,第190页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第十届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2019年9月2日至3日,法国波尔多,GandALF 2019。 (英语) Zbl 1436.68031号

理论计算机科学电子论文集(EPTCS)305.滑铁卢:开放出版协会(OPA)。182页。,仅电子、开放存取(2019年)。
PDF格式BibTeX公司 XML格式引用

自动机的实现和应用。2019年7月22日至25日在斯洛伐克科希策举行的CIAA 2019第24届国际会议。诉讼程序。 (英语) Zbl 1437.68010号

计算机科学课堂讲稿11601.查姆:施普林格(ISBN 978-3-030-23678-6/pbk;978-3-0.30-23679-3/电子书)。十六、249页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言和自动机理论及应用。2019年3月26日至29日在俄罗斯圣彼得堡举行的第13届LATA国际会议,会议记录。 (英语) Zbl 1423.68031号

计算机科学课堂讲稿11417.查姆:施普林格(ISBN 978-3-030-13434-1/pbk;978-3-0.30-13435-8/电子书)。十七、470页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言理论的发展。第23届国际会议,DLT 2019,波兰华沙,2019年8月5-9日。诉讼程序。 (英语) Zbl 1416.68011号

计算机科学课堂讲稿11647.查姆:施普林格(ISBN 978-3-030-24885-7/pbk;978-3-0030-24886-4/电子书)。x、 第319页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限状态技术。自动机、传感器和双机械。 (英语) Zbl 1465.68006号

剑桥理论计算机科学丛书60.剑桥:剑桥大学出版社(ISBN 978-1-108-48541-8/hbk;978-1-108/75694-5/电子书)。x、 304页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学基础课程。练习本。148个带答案的练习。(《格兰德库斯信息报》(Grundkurs Informatik.Dasübungsbuch.148 Aufgaben mit Lösungen) (德语) Zbl 1427.68006号

勒尔布赫。威斯巴登:Springer Vieweg(ISBN 978-3-658-25944-0/pbk;978-3-558-25945-7/电子书)。188页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。 (英语) Zbl 1411.93004号

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-6282-5)。xi,第299页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动化和可计算性。程序员的观点。 (英语) Zbl 1478.68004号

佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-138-55242-5/hbk;978-1-315-14817-5/电子书)。第xx页,第328页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非均匀性算法:工具和范例。 (英语) Zbl 1402.68004号

离散数学及其应用佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-5071-4/hbk;978-1-4987-5072-1/ebook)。xix,第569页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 链接

第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2018年9月26日至28日,德国萨尔布吕肯,GandALF 2018。 (英语) Zbl 1436.68032号

理论计算机科学电子论文集(EPTCS)277.滑铁卢:开放出版协会(OPA)。279页。,仅电子版,开放存取(2018年)。
PDF格式BibTeX公司 XML格式引用

自我回避行走的语言。拟传递图的连接常数。 (英语) Zbl 1407.05002号

最佳大师威斯巴登:施普林格演讲(硕士论文)(ISBN 978-3-658-24763-8/pbk;978-3-558-24764-5/电子书)。viii,65页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。 (英语) Zbl 1402.93017号

纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-5642-8)。x、 第286页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习自动机的最新进展。 (英语) Zbl 1402.68012号

计算智能研究754.查姆:施普林格(ISBN 978-3-319-72427-0/hbk;978-3-3169-72428-7/电子书)。xix,第458页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言理论的发展。第22届国际会议,DLT 2018,日本东京,2018年9月10日至14日。诉讼程序。 (英语) Zbl 1398.68030号

计算机科学课堂讲稿11088.商会:施普林格出版社(ISBN 978-3-319-98653-1/pbk;978-3-319-98654-8/电子书)。xiv,第568页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算逻辑。第一卷:经典演绎计算与经典逻辑。 (英语) 兹比尔1408.68001

计算中的文本19.伦敦:学院出版物(ISBN 978-1-84890-280-0/pbk)。十八、464页。(2018).
PDF格式BibTeX公司 XML格式引用

自动机的实现和应用。2018年7月30日至8月2日在加拿大PE夏洛特敦举行的CIAA 2018第23届国际会议。诉讼程序。 (英语) Zbl 1398.68018号

计算机科学课堂讲稿10977.查姆:施普林格(ISBN 978-3-319-94811-9/pbk;978-3-3169-94812-6/电子书)。xi,第339页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式系统的描述复杂性。第20届IFIP工作组1.02国际会议,2018年7月25日至27日,加拿大NS哈利法克斯,DCFS 2018。诉讼程序。 (英语) 兹比尔1428.68031

计算机科学课堂讲稿10952.商会:施普林格出版社(ISBN 978-3-319-94630-6/pbk;978-3-319-94631-3/ebook)。xiv,251页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可逆性和普遍性。在森田贤一70岁生日之际,向他提交了论文。 (英语) 兹比尔1396.68007

涌现、复杂性和计算30.查姆:施普林格(ISBN 978-3-319-73215-2/hbk;978-3-3169-73216-9/电子书)。xii,484页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可以计算什么?计算理论的实用指南。 (英语) Zbl 1393.68003号

新泽西州普林斯顿:普林斯顿大学出版社(ISBN 978-0-691-17066-4/hbk;978-1-4008-8984-6/电子书)。xix,第383页。(2018).
PDF格式BibTeX公司 XML格式引用

语言和自动机理论及应用。2018年4月9日至11日,第12届国际会议,LATA 2018,以色列拉马特甘。诉讼程序。 (英语) Zbl 1386.68008号

计算机科学课堂讲稿10792.查姆:施普林格(ISBN 978-3-319-77312-4/pbk;978-3-3169-77313-1/电子书)。x、 第321页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于线性状态链的有限状态机逻辑综合。基础、最新发展和挑战。 (英语) Zbl 1375.68006号

系统、决策和控制研究113.查姆:施普林格(ISBN 978-3-319-59836-9/hbk;978-3-3169-59837-6/电子书)。viii,225页。(2018).
MSC公司:68-02 2007年7月68日 第68季度第45季度 94立方厘米10
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学的逻辑和语言模型。第三版。 (英语) Zbl 1400.68004号

新泽西州哈肯萨克:世界科学(ISBN 978-981-3229-20-4/hbk;978-981-3 230-50-7/pbk)。第十五章,451页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第八届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2017,意大利罗马,2017年9月20日至22日。 (英语) 兹比尔1436.68017

理论计算机科学电子论文集(EPTCS)256.滑铁卢:开放出版协会(OPA)。第296页。,仅电子版,开放访问(2017年)。
PDF格式BibTeX公司 XML格式引用

2017年9月4日至6日,第15届自动机与形式语言国际会议论文集,AFL'17,匈牙利德布勒森。 (英语) Zbl 1433.68013号

理论计算机科学电子论文集(EPTCS)252.滑铁卢:开放出版协会(OPA)。第247页。,仅电子版,开放访问(2017年)。
PDF格式BibTeX公司 XML格式引用

可逆计算理论。 (英语) Zbl 1383.68002号

理论计算机科学专著。EATCS系列东京:Springer(ISBN 978-4-431-56604-5/hbk;978-4-331-56606-9/电子书)。十七、457页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

现代语言模型和计算。理论与应用。 (英语) Zbl 1385.68002号

查姆:施普林格(ISBN 978-3-319-63099-1/hbk;978-3-3169-63100-4/电子书)。xix,548页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式方法简明指南。理论、基础和工业应用。 (英语) Zbl 1375.68002号

计算机科学本科专题查姆:施普林格(ISBN 978-3-319-64020-4/pbk;978-3-3169-64021-1/电子书)。第二十六、322页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语法推理。算法、例程和应用程序。 (英语) Zbl 1374.68004号

计算智能研究673.查姆:施普林格(ISBN 978-3-319-46800-6/hbk;978-3-3169-46801-3/电子书)。xi,第145页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

围绕自由群和自同构的算法和几何主题。基于2012年9月至12月在西班牙巴塞罗那举办的暑期学校。 (英语) Zbl 1387.20001号

数学高级课程-CRM巴塞罗那查姆:Birkhäuser/Springer(ISBN 978-3-319-60939-3/pbk;978-3-3169-60940-9/电子书)。ix,149页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型、算法、逻辑和工具。纪念金·古德斯特兰·拉森60岁生日的文章。 (英语) Zbl 1368.68004号

计算机科学课堂讲稿10460.商会:施普林格出版社(ISBN 978-3-319-63120-2/pbk;978-3-319-63121-9/ebook)。十七、662页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言理论的发展。第21届国际会议,2017年DLT,2017年8月7日至11日,比利时列日。诉讼程序。 (英语) Zbl 1369.68016号

计算机科学课堂讲稿10396.查姆:施普林格(ISBN 978-3-319-62808-0/pbk;978-3-3169-62809-7/电子书)。第二十三章,第379页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散时间动力系统的形式化方法。 (英语) Zbl 1409.93003号

系统、决策和控制研究89.查姆:施普林格(ISBN 978-3-319-50762-0/hbk;978-3-3169-50763-7/电子书)。十八、284页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式系统的描述复杂性。2017年7月3日至5日,第19届IFIP WG 1.02国际会议,DCFS 2017,意大利米兰。诉讼程序。 (英语) 兹伯利1364.68014

计算机科学课堂讲稿10316.查姆:施普林格(ISBN 978-3-319-60251-6/pbk;978-3-3169-60252-3/电子书)。x、 第311页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机的实现与应用。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。 (英语) Zbl 1365.68007号

计算机科学课堂讲稿10329.查姆:施普林格(ISBN 978-3-319-60133-5/pbk;978-3-3169-60134-2/电子书)。xx,213页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。 (英语) Zbl 1360.93003号

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。xii,275页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

群、语言和自动机。 (英语) 兹比尔1515.20012

伦敦数学学会学生课文88.剑桥:剑桥大学出版社(ISBN 978-1-316-60652-0/pbk;978-1-107-15235-9/hbk;978-1-316-58824-6/电子书)。xi,第294页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言和自动机理论及应用。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。 (英语) 兹比尔1358.68010

计算机科学课堂讲稿10168.查姆:施普林格(ISBN 978-3-319-53732-0/pbk;978-3-3169-53733-7/电子书)。xxiii,第462页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

余代数简介。走向状态和观察的数学。 (英语) Zbl 1364.68001号

剑桥理论计算机科学丛书59.剑桥:剑桥大学出版社(ISBN 978-1-107-17789-5/hbk;978-1-316-82318-7/电子书)。十六、477页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

移位寄存器序列。安全和有限访问代码生成器、效率代码生成器、规定属性生成器、数学模型。第三修订版。 (英语) Zbl 1408.94004号

新泽西州哈肯萨克:世界科学(ISBN 978-981-4632-00-3/hbk;978-981-14632-02-7/电子书)。第二十二、249页。(2017).
MSC公司:94-02 94A55型 94立方厘米10 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2016年9月14日至16日,在意大利卡塔尼亚举行的第七届游戏、自动机、逻辑和形式验证国际研讨会会议记录。 (英语) Zbl 1436.68019号

理论计算机科学电子论文集(EPTCS)226.滑铁卢:开放出版协会(OPA)。315页。,仅电子版,开放存取(2016年)。
PDF格式BibTeX公司 XML格式引用

行为模型。从建模有限自动机到分析业务流程。 (英语) Zbl 1382.68003号

查姆:施普林格(ISBN 978-3-319-44958-6/hbk;978-3-3169-44960-9/电子书)。xii,279页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全关键系统的正式技术。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。 (英语) Zbl 1393.68009号

计算机与信息科学中的通信596.查姆:施普林格(ISBN 978-3-319-29509-1/pbk;978-3-3169-29510-7/电子书)。x、 第271页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言中的数学结构。 (英语) Zbl 1446.03003号

CSLI课堂讲稿218.加利福尼亚州斯坦福市:CSLI出版物(ISBN 978-1-57586-847-9/pbk;978-1-575 86-872-1/hbk;97 8-1-68400-021-0/电子书)。xi,第473页。(2016).
PDF格式BibTeX公司 XML格式引用

自动机理论中的描述性集合论方法。可决定性和拓扑复杂性。 (英语) Zbl 1375.03003号

计算机科学课堂讲稿9802.柏林:施普林格出版社(ISBN 978-3-662-52946-1/pbk;978-3-562-52947-8/电子书)。xiii,211页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。 (英语) Zbl 1344.93003号

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。十六、308页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言理论的发展。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。 (英语) Zbl 1342.68008号

计算机科学课堂讲稿9840.柏林:施普林格出版社(ISBN 978-3-662-53131-0/pbk;978-3-562-53132-7/电子书)。十七、407页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式系统的描述复杂性。2016年7月5日至8日,罗马尼亚布加勒斯特,2016年DCFS,第18届IFIP工作组1.2国际会议。诉讼程序。 (英语) Zbl 1342.68009号

计算机科学课堂讲稿9777.查姆:施普林格(ISBN 978-3-319-41113-2/pbk;978-3-3169-41114-9/电子书)。十六、217页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机的实现和应用。2016年7月19日至22日,第21届国际会议,CIAA 2016,韩国首尔。诉讼程序。 (英语) Zbl 1365.68008号

计算机科学课堂讲稿9705.查姆:施普林格(ISBN 978-3-319-40945-0/pbk;978-3-3169-40946-7/电子书)。十六、335页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图灵的愿景。计算机科学的诞生。 (英语) Zbl 1350.68001号

马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-03454-8/hbk;978-0-262/3379-5/电子书)。十七、189页。(2016).
PDF格式BibTeX公司 XML格式引用

语言和自动机理论及应用。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。 (英语) Zbl 1331.68010号

计算机科学课堂讲稿9618.查姆:施普林格(ISBN 978-3-319-29999-0/pbk;978-3-3169-30000-9/电子书)。第二十二、618页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第六届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2015,热那亚,意大利,2015年9月21日至22日。 (英语) 兹比尔1435.68028

理论计算机科学电子论文集(EPTCS)193.滑铁卢:开放出版协会(OPA)。185页。,仅电子版,开放存取(2015年)。
PDF格式BibTeX公司 XML格式引用

Petri网合成。 (英语) Zbl 1351.68003号

理论计算机科学课文。EATCS系列柏林:施普林格出版社(ISBN 978-3-662-47966-7/hbk;978-3-562-47967-4/电子书)。xiii,第339页。(2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。 (英语) Zbl 1318.68015号

计算机科学课堂讲稿9223.查姆:施普林格(ISBN 978-3-319-22359-9/pbk;978-3-3169-22360-5/电子书)。第二十三、317页。(2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。 (英语) Zbl 1316.68025号

计算机科学课堂讲稿9168.查姆:施普林格(ISBN 978-3-319-21499-3/pbk;978-3-3169-21500-6/电子书)。第二十二章,第440页。(2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,美国华盛顿州西雅图,2015年4月14日至16日。 (英语) Zbl 1319.93003号

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3433-4)。x、 第308页。,仅电子版(2015年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份