马可·T·莫拉赞。 基于编程的形式语言和自动机理论。设计、实施、验证和证明。 (英语) Zbl 07786059号 计算机科学课文查姆:施普林格(ISBN 978-3-031-43972-8/hbk;978-3-331-43975-9/pbk;978-1-031-43973-5/电子书)。第二十三章,第524页。(2024).MSC公司:68-01 68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Morazán},基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆:施普林格(2024;Zbl 07786059) 全文: 内政部
亚历山大·梅杜纳;托马斯·科泽尔 自动化。理论、趋势和应用。 (英语) Zbl 07801310号 新加坡:世界科学(ISBN 978-981-12-7812-9/hbk)。(2023).MSC公司:68-01 第68季度第45季度 PDF格式BibTeX公司 XML格式 全文: 内政部
哈维尔·埃斯帕尔扎;迈克尔·布隆丁 自动机理论。算法方法。 (英语) Zbl 07770922号 马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-04863-7/hbk;978-0-2262-37693-8/电子书)。xii,532页。,开放存取(2023年)。 审核人:Ioan Tomescu(布库雷什蒂) MSC公司:68-02 68-01 68第05页 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}和\textit{M.Blondin},自动机理论。算法方法。马萨诸塞州剑桥:麻省理工学院出版社(2023;Zbl 07770922) 全文: 链接
贝内德克·纳吉(编辑) 自动机的实现和应用。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Nagy}(编辑),自动机的实现和应用。第27届国际会议,CIAA 2023,北塞浦路斯法马古斯塔,2023年9月19日至22日。诉讼程序。查姆:施普林格(2023;Zbl 07767954) 全文: 内政部
第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。 (英语) Zbl 07754282号 纽约州纽约市:计算机协会(ACM)(ISBN 979-8-4007-0033-0)。xi,30篇文章,未连续页码(2023年)。MSC公司:68-06 93-06 第68季度第45季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机机械协会(ACM)(2023;Zbl 07754282) 全文: 内政部
兹索尔特加兹达格(编辑);萨博尔茨·伊凡(编辑);格格利·科瓦什奈(编辑) 2023年9月5日至7日,匈牙利埃格尔,AFL,第16届国际自动机和形式语言会议记录。 (英语) Zbl 1522.68029号 理论计算机科学电子论文集(EPTCS)386.滑铁卢:开放出版协会(OPA)。280页。,仅电子化、开放存取(2023年)。MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Gazdag}(ed.)等人,《第16届国际自动机和形式语言会议论文集》,AFL,匈牙利埃格尔,2023年9月5-7日。滑铁卢:开放出版协会(OPA)(2023;Zbl 1522.68029) 全文: 内政部 arXiv公司 链接
法兰克·德雷维斯(编辑);米哈伊尔·沃尔科夫(编辑) 语言理论的发展。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}(编辑)和textit{M.Volkov}(主编),语言理论的发展。第27届国际会议,DLT 2023,瑞典乌莫,2023年6月12日至16日。诉讼程序。商会:施普林格(2023年;兹比尔1524.68002) 全文: 内政部
达纳·理查兹;亨利·汉堡包 计算机科学的逻辑和语言模型。第三版。 (英语) 兹伯利07662225 新加坡:世界科学(ISBN 978-981-12-6066-7/hbk;978-981-12-6068-1/电子书)。(2023).MSC公司:68-01 03-01 03B70号 68N17号 2005年第68季度 2012年第68季度 第68季度第45季度 68问题55 60年第68季度 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).MSC公司:68-01 00A07年 04年第68季度 2012年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Murlak}等人,《语言、自动机和计算的200个问题》。剑桥:剑桥大学出版社(2023;Zbl 1509.68002) 全文: 内政部
帕拉维·维杰·查万;亚什什·贾达夫 自动机理论和形式语言。 (英语) Zbl 07639970号 阿姆斯特丹:爱思唯尔/学术出版社(ISBN 978-0-323-91784-1/pbk;978-0-313-97217-8/电子书)。xxii,209页。(2023). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:68-01 04年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.V.Chavan}和\textit{A.Jadhav},自动机理论和形式语言。阿姆斯特丹:爱思唯尔/学术出版社(2023;Zbl 07639970)
皮埃尔·甘蒂(编辑);黛拉·莫妮卡,达里奥(编辑) 第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,甘道夫2022年,西班牙马德里,2022年9月21日至23日。 (英语) Zbl 1522.68028号 理论计算机科学电子论文集(EPTCS)370.滑铁卢:开放出版协会(OPA)。第228页。,仅电子化、开放存取(2022年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}(编辑)和\textit{D.Della Monica}(编辑),第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21-23日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1522.68028) 全文: 内政部 arXiv公司 链接
海宁·博迪恩(编辑);荷瓦思,热扎(编辑);György的Vaszil(编辑) 第十二届非经典自动机模型与应用国际研讨会论文集,NCMA 2022,Debrecen,匈牙利,2022年8月26-27日。 (英语) Zbl 1522.68019号 理论计算机科学电子论文集(EPTCS)367.滑铁卢:开放出版协会(OPA)。第189页。,仅电子化、开放存取(2022年)。MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}(ed.)等人,《第十二届自动机和应用非经典模型国际研讨会论文集》,NCMA 2022,匈牙利德布勒森,2022年8月26日至27日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1522.68019) 全文: 内政部 arXiv公司 链接
阿尔贝托·佩特罗西 自动机理论和形式语言。基本概念、定理和技术。 (英语) Zbl 1527.68002号 计算机科学本科专题查姆:施普林格(ISBN 978-3-031-11964-4/pbk;978-3-0031-11965-1/电子书)。viii,280页。(2022). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:68-01 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi},自动机理论和形式语言。基本概念、定理和技术。查姆:斯普林格(2022;Zbl 1527.68002) 全文: 内政部
劳拉·沃思 加权自动机、形式幂级数和加权逻辑。 (英语) Zbl 1498.68005号 最佳大师。威斯巴登:施普林格·斯佩克特伦;康斯坦兹:康斯坦兹大学(硕士论文)(ISBN 978-3-658-39322-9/pbk;978-3-558-39323-6/ebook)。xi,第190页。(2022).MSC公司:68-02 03B70号 05年3月 第68季度第45季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Wirth},加权自动机,形式幂级数和加权逻辑。威斯巴登:施普林格演讲;康斯坦兹:康斯坦兹大学(硕士论文)(2022;Zbl 1498.68005) 全文: 内政部
亚历山大·巴卡洛夫;蒂塔连科,拉里萨;卡米尔·米尔卡雷克;马·戈扎塔·马祖基维奇(Mazurkiewicz,Małgorzata);Elżbieta卡韦卡 基于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).MSC公司:68-02 第68季度第45季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Barkalov}等人,基于VLSI的组合有限状态机的逻辑综合。针对ASIC、CPLD和FPGA的合成。查姆:斯普林格(2022;Zbl 1502.68007) 全文: 内政部
第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。 (英语) Zbl 1492.68007号 纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-9196-2)。xii,30篇文章,未连续页码(2022年)。MSC公司:68-06 93-06 第68季度第45季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机械协会(ACM)(2022;兹bl 1492.68007) 全文: 内政部
卡隆,帕斯卡(编辑);卢多维奇·米格诺(编辑) 自动机的实现和应用。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Caron}(编辑)和\textit{L.Mignot}(编),自动机的实现和应用。第26届国际会议,CIAA 2022,法国鲁昂,2022年6月28日-7月1日。诉讼程序。查姆:施普林格(2022;Zbl 1492.68013) 全文: 内政部
沃尔克·迪克特(编辑);米哈伊尔·沃尔科夫(编辑) 语言理论的发展。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}(编辑)和textit{M.Volkov}(主编),语言理论的发展。第26届国际会议,DLT 2022,美国佛罗里达州坦帕,2022年5月9日至13日。诉讼程序。商会:施普林格(2022;兹比尔1492.68017) 全文: 内政部
林,海;Antsaklis,Panos J。 混合动力系统。基本原理和方法。 (英语) 兹比尔1497.93002 控制与信号处理高级教材查姆:施普林格(ISBN 978-3-030-78729-5/hbk;978-3-0030-78731-8/电子书)。十八、442页。(2022). 审核人:萨文·特伦塔(布库雷什蒂) MSC公司:93-02 93立方 93D05型 93B45码 90立方厘米11 49号70 91A23型 91A50型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}和\textit{P.J.Antsaklis},混合动力系统。基本原理和方法。查姆:施普林格(2022;Zbl 1497.93002) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog)(编辑);伯恩哈德·斯特芬(编辑);Yi,王(编辑) 模型检查、综合和学习。在本特·琼森60岁生日之际为他撰写的论文。 (英语) Zbl 1511.68019号 计算机科学课堂讲稿13030.查姆:施普林格(ISBN 978-3-030-91383-0/pbk;978-3-0030-91384-7/ebook)。viii,第219页。(2022).MSC公司:68-06 第68季度第45季度 60年第68季度 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}(ed.)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格(2022;Zbl 1511.68019) 全文: 内政部
霍曼达,W·阿迪斯·aw;维托尔德·佩德里茨 自动机理论和形式语言。 (英语) Zbl 1527.68001号 德格鲁伊特研究生柏林:De Gruyter(ISBN 978-3-11-075227-4/pbk;978-3-12-075230-4/电子书)。xiii,第231页。(2022). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:68-01 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Homenda}和\textit{W.Pedrycz},自动机理论和形式语言。柏林:De Gruyter(2022;Zbl 1527.68001) 全文: 内政部
皮埃尔·甘蒂(编辑);大卫·布雷索林(编辑) 2021年9月20日至22日,在意大利帕多瓦举行的第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集。 (英语) Zbl 1489.68014号 理论计算机科学电子论文集(EPTCS)346.滑铁卢:开放出版协会(OPA)。第307页。,仅电子化、开放存取(2021年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}(编辑)和\textit{D.Bresolin}(主编),第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF,意大利帕多瓦,2021年9月20-22日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.68014) 全文: 内政部 链接
让-埃里克·品(编辑) 自动机理论手册。第二卷。数学和选定应用中的自动机。 (英语) 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)。MSC公司:68-00 第68季度第45季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-Ei.Pin}(编辑),《自动机理论手册》。第二卷。数学和选定应用中的自动机。柏林:欧洲数学学会(EMS)(2021;Zbl 1470.68002) 全文: 内政部 内政部
让-埃里克·品(编辑) 自动机理论手册。第一卷理论基础。 (英语) 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)。MSC公司:68-00 第68季度第45季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-Ei.Pin}(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)(2021;Zbl 1470.68001) 全文: 内政部 内政部
内尔玛·莫雷拉(编辑);罗杰里奥·里斯(编辑) 语言理论的发展。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}(编辑)和\textit{R.Reis}(编辑),《语言理论的发展》。第25届国际会议,DLT 2021,葡萄牙波尔图,2021年8月16-20日。诉讼程序。查姆:施普林格(2021;Zbl 1482.68035) 全文: 内政部
2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。 (英语) Zbl 1466.68005号 纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-8339-4)。27篇文章,未连续翻页(2021年)。MSC公司:68-06 93-06 第68季度第45季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第24届ACM混合系统国际会议论文集:计算和控制,HSCC 2021,CPS物联网周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)(2021;Zbl 1466.68005) 全文: 内政部
唐纳德·桑内拉;迈克尔·福曼;彭浩然;菲利普·沃德勒 计算入门。哈斯克尔,逻辑和自动机。 (英语) Zbl 1497.68005号 计算机科学本科专题查姆:施普林格(ISBN 978-3-030-76907-9/pbk;978-3-0.30-76908-6/电子书)。十六、366页。(2021). 审核人:迪特尔·里贝塞尔(吕内堡) MSC公司:68-01 03-01 03B70号 68甲15 68甲18 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}等人,《计算导论》。哈斯克尔,逻辑和自动机。查姆:施普林格(2021;Zbl 1497.68005) 全文: 内政部
阿尔贝托·勒波拉蒂(编辑);卡洛斯·马丁·维德(编辑);达纳·夏皮拉(编辑);克劳迪奥·赞德隆(编辑) 语言和自动机理论及应用。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Leporati}(编辑)等人,《语言和自动机理论与应用》。2021年3月1日至5日,第15届国际会议,LATA 2021,意大利米兰。诉讼程序。查姆:施普林格(2021;Zbl 1470.68022) 全文: 内政部
塞巴斯蒂安·马内思(编辑) 自动机的实现和应用。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Maneth}(编辑),自动机的实现和应用。第25届国际会议,CIAA 2021,虚拟活动,2021年7月19-22日。诉讼程序。查姆:施普林格(2021;Zbl 1482.68034) 全文: 内政部
贾维丹·卡泽米·科尔德斯塔尼(编辑);迈赫迪·拉扎波·米萨利赫(编辑);Alireza Rezvanian公司(编辑);穆罕默德·雷扎·梅博迪(编辑) 学习自动机和智能优化的进展。 (英语) Zbl 1470.68021号 智能系统参考库208.查姆:施普林格(ISBN 978-3-030-76290-2/hbk;978-3-0030-76291-9/电子书)。xx,第340页。(2021).MSC公司:68-06 第68季度第45季度 68问题80 68T05型 68T20型 68瓦50 90 C59 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Kordestani}(编辑)等人,《学习自动机和智能优化的进展》。查姆:施普林格(2021;Zbl 1470.68021) 全文: 内政部
厄梅·埃西奥·卢;阿德里亚诺·加西亚(Adriano M.Garsia)。 枚举组合数学的课程。 (英语) 兹比尔1478.05001 数学研究生课程290.查姆:施普林格(ISBN 978-3-030-71249-5/hbk;978-3-0.30-71252-5/pbk;978-1-3030-71250-1/电子书)。十六、479页。(2021). 审核人:约瑟夫·劳里(Msida) MSC公司:05-01 2015年1月5日 第68季度第45季度 19年5月 05C25号 05二氧化碳 2018年1月5日 05年10月 PDF格式BibTeX公司 XML格式引用 \textit{Ù.E\ecio\lu}和\textit{A.M.Garsia},枚举组合学课程。查姆:斯普林格(2021;Zbl 1478.05001) 全文: 内政部
纳塔沙·乔诺斯卡(编辑);德米特罗·萨楚克(编辑) 语言理论的发展。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Jonoska}(编辑)和textit{D.Savchuk}(主编),语言理论的发展。第24届国际会议,DLT 2020,美国佛罗里达州坦帕,2020年5月11-15日。诉讼程序。查姆:施普林格(2020;Zbl 1496.68024) 全文: 内政部
Jean-Francois拉斯金(编辑);大卫·布雷索林(编辑) 第十一届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2020年9月21日至22日,比利时布鲁塞尔,GandALF 2020。 (英语) Zbl 1466.68026号 理论计算机科学电子论文集(EPTCS)326.滑铁卢:开放出版协会(OPA)。第233页。,仅电子化、开放存取(2020年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}(编辑)和\textit{D.Bresolin}(主编),第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)(2020;Zbl 1466.68026) 全文: 内政部 arXiv公司 链接
西蒙·拜尔 关于跳跃有限自动机的半线性集和变量的新结果。 (英语) 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). 审核人:彼得·科斯托拉尼(布拉迪斯拉发) MSC公司:68-02 第68季度第45季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Beier},关于半线性集和跳跃有限自动机变体的新结果。柏林:Logos Verlag;Gießen:Gießen大学物理与地理信息学院(2020;Zbl 1471.68003)
第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。 (英语) Zbl 1434.93002号 纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-7018-9)。33篇文章,未连续翻页(2020年)。MSC公司:93-06 68-06 第68季度第45季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)(2020;Zbl 1434.93002) 全文: 内政部
阿尔贝托·勒波拉蒂(编辑);卡洛斯·马丁·维德(编辑);达纳·沙皮拉(编辑);克劳迪奥·赞德隆(编辑) 语言和自动机理论及应用。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Leporati}(编辑)等人,《语言和自动机理论与应用》。第14届国际会议,2020年3月4-6日,意大利米兰,LATA 2020。诉讼程序。查姆:施普林格(2020;Zbl 1435.68034) 全文: 内政部
Hadjicostis,Christopros N。 离散事件系统中的估计和推理。基于模型的有限自动机方法。 (英语) Zbl 1436.93002号 通信与控制工程查姆:施普林格(ISBN 978-3-030-30820-9/hbk;978-3-0.30-30821-6/电子书)。十八、346页。(2020). 审核人:Tiit Riismaa(塔林) MSC公司:93-02 93元65角 93个B07 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{C.N.Hadjicostis},离散事件系统中的估计和推断。基于模型的有限自动机方法。商会:施普林格(2020;兹比尔1436.93002) 全文: 内政部 链接
张奎泽;张丽君;谢丽华 离散时间和离散空间动力系统。 (英语) Zbl 1430.93007号 通信与控制工程查姆:施普林格(ISBN 978-3-030-25971-6/hbk;978-3-0.30-25972-3/电子书)。xiv,222页。(2020). 审核人:Krzysztof Gałkowski(齐埃罗娜·戈拉) MSC公司:93-02 93C55美元 93个B07 93C28型 93B70型 93甲15 第68季度第45季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang}等人,离散时间和离散空间动力系统。查姆:施普林格(2020;Zbl 1430.93007) 全文: 内政部
王家村;威廉·特普芬哈特 计算机科学中的形式化方法。 (英语) Zbl 1436.68002号 数学教科书佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-22570-4/hbk;978-1-4987-7532-8/pbk;978-0-429-18418-5/电子书)。十七、294页。(2020). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:68-01 03B44号 03B70号 第68季度第45季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}和\textit{W.Tepfenhart},计算机科学中的形式化方法。佛罗里达州博卡拉顿:CRC出版社(2020;Zbl 1436.68002) 全文: 内政部
杰拉德·魏斯堡 复杂系统动力学。自动机网络简介。第二卷。翻译自法语。重印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).MSC公司:37-01 68-01 82-01 92-01 37N20号 第68季度第45季度 82立方32 92B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Weisbuch},复杂系统动力学。自动机网络简介。第二卷。翻译自法语。1989年版的再版。米尔顿公园,阿宾顿:劳特利奇(2019;Zbl 1502.37001) 全文: 内政部
勒鲁,杰罗姆(编辑);Jean-Francois拉斯金(编辑) 第十届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2019年9月2日至3日,法国波尔多,GandALF 2019。 (英语) Zbl 1436.68031号 理论计算机科学电子论文集(EPTCS)305.滑铁卢:开放出版协会(OPA)。182页。,仅电子、开放存取(2019年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}(编辑)和\textit{J.-F.Raskin}(主编),第十届游戏、自动机、逻辑和形式验证国际研讨会论文集,2019年甘道夫,法国波尔多,2019月2-3日。滑铁卢:开放出版协会(OPA)(2019;Zbl 1436.68031) 全文: 内政部 arXiv公司 链接
米查尔·霍斯波达尔(编辑);加琳娜·吉尔亚斯科娃(编辑) 自动机的实现和应用。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hospodár}(编辑)和\textit{G.Jirásková}(主编),自动机的实现和应用。2019年7月22日至25日在斯洛伐克科希策举行的CIAA 2019第24届国际会议。诉讼程序。查姆:施普林格(2019;Zbl 1437.68010) 全文: 内政部
卡洛斯·马丁·维德(编辑);亚历山大·奥霍金(编辑);达纳·夏皮拉(编辑) 语言和自动机理论及应用。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Martín-Vide}(编辑)等人,《语言和自动机理论与应用》。2019年3月26-29日在俄罗斯圣彼得堡举行的第13届LATA国际会议,会议记录。查姆:施普林格(2019;Zbl 1423.68031) 全文: 内政部
杰雷米·查洛平(编辑);皮埃尔·吉隆(编辑) [艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔;安娜·弗里德;弗朗克·Hétroy-Wheeler;让-吕克玛丽;亚醇,杰拉德;科里亚·克瑙尔;阿尔诺·拉博雷尔] 数学信息学。2019年拍摄。(Informatique mathematique,2019年联合国摄影展。) (法语) Zbl 1440.68006号 CNRS阿尔法巴黎:CNRS数据库(ISBN 978-2-271-12611-5/pbk)。148页。(2019).MSC公司:68-06 00A09号 第68季度第45季度 68兰特 68单位05 68宽15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Chalopin}(编辑)和\textit{P.Guillon}(主编),信息数学。2019年拍摄。巴黎:CNRS Editions(2019;Zbl 1440.68006)
皮奥特雷克·霍夫曼(编辑);Micha Skrzypczak(编辑) 语言理论的发展。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hofman}(编辑)和textit{M.Skrzypczak}(主编),语言理论的发展。第23届国际会议,DLT 2019,波兰华沙,2019年8月5-9日。诉讼程序。商会:施普林格(2019;兹bl 1416.68011) 全文: 内政部
斯托扬·米霍夫;克劳斯·舒尔茨。 有限状态技术。自动机、传感器和双机械。 (英语) Zbl 1465.68006号 剑桥理论计算机科学丛书60.剑桥:剑桥大学出版社(ISBN 978-1-108-48541-8/hbk;978-1-108/75694-5/电子书)。x、 304页。(2019). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:68-02 20立方米 68甲18 2012年第68季度 第68季度第45季度 70年第68季度 68T50型 68周01 PDF格式BibTeX公司 XML格式引用 \textit{S.Mihov}和\textit{K.U.Schulz},有限状态技术。自动机、传感器和双机械。剑桥:剑桥大学出版社(2019;Zbl 1465.68006) 全文: 内政部
马吕斯·弗拉辛斯基 句法模式识别。 (英语) Zbl 1423.68009号 计算机视觉系列6.新泽西州哈肯萨克:世界科学(ISBN 978-981-327-846-2/hbk;978-981-3 27-848-6/电子书)。xv,第386页。(2019).MSC公司:68-02 68-03 68问题32 2012年第68季度 第68季度第45季度 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{M.Flasianski},句法模式识别。新泽西州哈肯萨克:世界科学(2019;Zbl 1423.68009) 全文: 内政部
Jochen Schmidt 计算机科学基础课程。练习本。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). 审核人:迪特尔·里贝塞尔(吕内堡) MSC公司:68-01 68页 68季度xx 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{J.Schmidt},Grundkurs Informatik。达斯·尤·邦斯布奇。148 Aufgaben mit Lösungen学校。威斯巴登:斯普林格·维埃格(2019;Zbl 1427.68006) 全文: 内政部
2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。 (英语) Zbl 1411.93004号 纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-6282-5)。xi,第299页。(2019).MSC公司:93-06 68-06 第68季度第45季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 2019年4月16日至18日,加拿大魁北克省蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)(2019;Zbl 1411.93004) 全文: 内政部
戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha) 自动化和可计算性。程序员的观点。 (英语) Zbl 1478.68004号 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-138-55242-5/hbk;978-1-315-14817-5/电子书)。第xx页,第328页。(2019). 审核人:György Vaszil(德布勒森) MSC公司:68-01 68-04 04年第68季度 65年第68季度 2012年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Gopalakrishnan},《自动化与可计算性》。程序员的观点。佛罗里达州博卡拉顿:CRC出版社(2019;Zbl 1478.68004) 全文: 内政部
米迦·霍弗里;霍萨姆·马哈茂德。 非均匀性算法:工具和范例。 (英语) Zbl 1402.68004号 离散数学及其应用佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-5071-4/hbk;978-1-4987-5072-1/ebook)。xix,第569页。(2019). 审核人:Irina Ioana Mohorianu(牛津) MSC公司:68-01 68-02 68第05页 68页第10页 2005年第68季度 第68季度第45季度 87年第68季度 68卢比 68兰特 68周01 68周05 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofri}和\textit{H.M.Mahmoud},《非均匀性算法:工具和范式》。佛罗里达州博卡拉顿:CRC出版社(2019;Zbl 1402.68004) 全文: 链接
安德烈亚·奥兰迪尼(编辑);马丁·齐默尔曼(编辑) 第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2018年9月26日至28日,德国萨尔布吕肯,GandALF 2018。 (英语) Zbl 1436.68032号 理论计算机科学电子论文集(EPTCS)277.滑铁卢:开放出版协会(OPA)。279页。,仅电子版,开放存取(2018年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Orlandini}(编辑)和\textit{M.Zimmermann}(编者),第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录,《2018年甘道夫》,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)(2018;Zbl 1436.68032) 全文: 内政部 arXiv公司 链接
克里斯蒂安·林多夫 自我回避行走的语言。拟传递图的连接常数。 (英语) Zbl 1407.05002号 最佳大师威斯巴登:施普林格演讲(硕士论文)(ISBN 978-3-658-24763-8/pbk;978-3-558-24764-5/电子书)。viii,65页。(2018).MSC公司:2002年5月 05C63号 第68季度第45季度 05C90年 05C78号 PDF格式BibTeX公司 XML格式引用 \textit{C.Lindorfer},自我回避行走的语言。拟传递图的连接常数。威斯巴登:施普林格演讲(硕士论文)(2018;Zbl 1407.05002) 全文: 内政部
詹弗兰科·兰佩蒂;玛丽娜·扎内拉;赵祥福 主动系统诊断简介。 (英语) 兹比尔1400.68011 查姆:施普林格(ISBN 978-3-319-92731-2/hbk;978-3-3169-92733-6/电子书)。xv,第353页。(2018).MSC公司:68-02 第68季度第45季度 60年第68季度 68T20型 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Lamperti}等人,主动系统诊断简介。查姆:斯普林格(2018;Zbl 1400.68011) 全文: 内政部
第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。 (英语) Zbl 1402.93017号 纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-5642-8)。x、 第286页。(2018).MSC公司:93-06 68-06 第68季度第45季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)(2018;Zbl 1402.93017) 全文: 内政部
Alireza Rezvanian公司;阿里·穆罕默德·萨吉里;S.Mehdi,瓦希迪普尔;迈赫迪·埃斯纳沙里;穆罕默德·雷扎·梅博迪 学习自动机的最新进展。 (英语) Zbl 1402.68012号 计算智能研究754.查姆:施普林格(ISBN 978-3-319-72427-0/hbk;978-3-3169-72428-7/电子书)。xix,第458页。(2018).MSC公司:68-02 第68季度第45季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rezvanian}等人,学习自动机的最新进展。查姆:施普林格(2018;Zbl 1402.68012) 全文: 内政部
水户户西(编辑);Shinnosuke Seki公司(编辑) 语言理论的发展。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoshi}(主编)和textit{S.Seki}(编辑),语言理论的发展。第22届国际会议,DLT 2018,日本东京,2018年9月10日至14日。诉讼程序。查姆:施普林格(2018;Zbl 1398.68030) 全文: 内政部
路易斯·奥古斯托。 计算逻辑。第一卷:经典演绎计算与经典逻辑。 (英语) 兹比尔1408.68001 计算中的文本19.伦敦:学院出版物(ISBN 978-1-84890-280-0/pbk)。十八、464页。(2018). 审核人:埃里克·马丁(悉尼) MSC公司:68-01 03B70号 68N17号 2005年第68季度 2015年第68季度 2017年第68季度 2012年第68季度 第68季度第45季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Augusto},计算逻辑。第一卷:经典演绎计算与经典逻辑。伦敦:学院出版物(2018;Zbl 1408.68001)
塞扎尔·坎帕努(编辑) 自动机的实现和应用。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Cámpeanu}(编辑),自动机的实现和应用。2018年7月30日至8月2日在加拿大PE夏洛特敦举行的CIAA 2018第23届国际会议。诉讼程序。查姆:施普林格(2018;Zbl 1398.68018) 全文: 内政部
斯塔夫罗斯·康斯坦蒂尼迪斯(编辑);乔瓦尼·皮奇奇尼(编辑) 形式系统的描述复杂性。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Konstantinidis}(ed.)和\textit{G.Pighizini}(edi.),形式系统的描述复杂性。2018年7月25日至27日,第20届IFIP工作组1.02国际会议,DCFS 2018,加拿大NS哈利法克斯。诉讼程序。查姆:施普林格(2018;Zbl 1428.68031) 全文: 内政部
安德鲁·阿达马茨基(编辑) 可逆性和普遍性。在森田贤一70岁生日之际,向他提交了论文。 (英语) 兹比尔1396.68007 涌现、复杂性和计算30.查姆:施普林格(ISBN 978-3-319-73215-2/hbk;978-3-3169-73216-9/电子书)。xii,484页。(2018).MSC公司:68-06 00B15号机组 00B30型 2005年第68季度 2012年第68季度 第68季度第45季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Adamatzky}(编辑),可逆性和普遍性。在森田贤一70岁生日之际,向他提交了论文。查姆:施普林格(2018;Zbl 1396.68007) 全文: 内政部
约翰·麦考密克 可以计算什么?计算理论的实用指南。 (英语) Zbl 1393.68003号 新泽西州普林斯顿:普林斯顿大学出版社(ISBN 978-0-691-17066-4/hbk;978-1-4008-8984-6/电子书)。xix,第383页。(2018). 审核人:T.C.Mohan(金奈) MSC公司:68-01 68甲15 2005年第68季度 2015年第68季度 2017年第68季度 65年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{J.MacCormick},可以计算什么?计算理论的实用指南。新泽西州普林斯顿:普林斯顿大学出版社(2018;Zbl 1393.68003)
Shmuel Tomi Klein(编辑);卡洛斯·马丁·维德(编辑);达纳·沙皮拉(编辑) 语言和自动机理论及应用。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.T.Klein}(编辑)等人,《语言和自动机理论与应用》。2018年4月9日至11日,第12届国际会议,LATA 2018,以色列拉马特甘。诉讼程序。查姆:施普林格(2018;Zbl 1386.68008) 全文: 内政部
亚历山大·巴卡洛夫;拉里萨·蒂塔伦科;雅切克·比加诺夫斯基 基于线性状态链的有限状态机逻辑综合。基础、最新发展和挑战。 (英语) 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格式引用 \textit{A.Barkalov}等人,基于线性状态链的有限状态机逻辑综合。基础、最新发展和挑战。查姆:施普林格(2018;Zbl 1375.68006) 全文: 内政部
达纳·理查兹;亨利·汉堡包 计算机科学的逻辑和语言模型。第三版。 (英语) Zbl 1400.68004号 新泽西州哈肯萨克:世界科学(ISBN 978-981-3229-20-4/hbk;978-981-3 230-50-7/pbk)。第十五章,451页。(2018).MSC公司:68-01 03-01 03B70号 68N17号 2005年第68季度 2012年第68季度 第68季度第45季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.理查兹}和\textit{H.汉堡},计算机科学的逻辑和语言模型。第三版。新泽西州哈肯萨克:世界科学(2018;Zbl 1400.68004) 全文: 内政部
帕特里夏·鲍耶(编辑);安德烈亚·奥兰迪尼(编辑);圣彼得罗,皮耶路易吉(编辑) 第八届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2017,意大利罗马,2017年9月20日至22日。 (英语) 兹比尔1436.68017 理论计算机科学电子论文集(EPTCS)256.滑铁卢:开放出版协会(OPA)。第296页。,仅电子版,开放访问(2017年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}(ed.)等人,第八届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2017,意大利罗马,2017年9月20-22日。滑铁卢:开放出版协会(OPA)(2017;Zbl 1436.68017) 全文: 内政部 arXiv公司 链接
埃兹贝特·苏哈伊·瓦尔朱(编辑);波尔·多莫西(编辑);György的Vaszil(编辑) 2017年9月4日至6日,第15届自动机与形式语言国际会议论文集,AFL'17,匈牙利德布勒森。 (英语) Zbl 1433.68013号 理论计算机科学电子论文集(EPTCS)252.滑铁卢:开放出版协会(OPA)。第247页。,仅电子版,开放访问(2017年)。MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Csuhaj-Varjú}(ed.)等人,《第十五届国际自动机和形式语言会议论文集》,AFL’17,匈牙利德布勒森,2017年9月4-6日。滑铁卢:开放出版协会(OPA)(2017;Zbl 1433.68013) 全文: 内政部 arXiv公司 链接
盛田贤一 可逆计算理论。 (英语) Zbl 1383.68002号 理论计算机科学专著。EATCS系列东京:Springer(ISBN 978-4-431-56604-5/hbk;978-4-331-56606-9/电子书)。十七、457页。(2017). 审核人:Mark S.Burgin(洛杉矶) MSC公司:68-02 2005年第68季度 2010年第68季度 第68季度第45季度 68问题80 68周01 PDF格式BibTeX公司 XML格式引用 \textit{K.Morita},可逆计算理论。东京:施普林格(2017;Zbl 1383.68002) 全文: 内政部
亚历山大·梅杜纳;翁德热苏库普 现代语言模型和计算。理论与应用。 (英语) Zbl 1385.68002号 查姆:施普林格(ISBN 978-3-319-63099-1/hbk;978-3-3169-63100-4/电子书)。xix,548页。(2017). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:68-02 2012年第68季度 第68季度第45季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meduna}和\textit{O.Soukup},现代语言模型和计算。理论与应用。查姆:斯普林格(2017;Zbl 1385.68002) 全文: 内政部
杰拉德·奥里根 形式方法简明指南。理论、基础和工业应用。 (英语) Zbl 1375.68002号 计算机科学本科专题查姆:施普林格(ISBN 978-3-319-64020-4/pbk;978-3-3169-64021-1/电子书)。第二十六、322页。(2017).MSC公司:68-01 03B70号 68号30 第68季度第45季度 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.O'Regan},形式方法简明指南。理论、基础和工业应用。查姆:斯普林格(2017;Zbl 1375.68002) 全文: 内政部
沃伊切赫·维克佐雷克 语法推理。算法、例程和应用程序。 (英语) Zbl 1374.68004号 计算智能研究673.查姆:施普林格(ISBN 978-3-319-46800-6/hbk;978-3-3169-46801-3/电子书)。xi,第145页。(2017).MSC公司:68-01 68问题32 2012年第68季度 第68季度第45季度 68T05型 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{W.Wieczorek},语法推理。算法、例程和应用程序。查姆:施普林格(2017;Zbl 1374.68004) 全文: 内政部
胡安·冈萨雷斯(Juan González-Meneses)(编辑);马丁·卢斯蒂格(编辑);恩里克·文图拉(编辑) [哈维尔·阿拉马约纳;沃尔克·迪克特;克里斯托弗·雷宁格。;佩德罗·席尔瓦。;阿敏·韦] 围绕自由群和自同构的算法和几何主题。基于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).MSC公司:20-06 20E05年 20E36年 20楼67 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.González-Meneses}(ed.)等人,围绕自由群和自同构的算法和几何主题。基于2012年9月至12月在西班牙巴塞罗那举办的暑期学校。查姆:Birkhäuser/Springer(2017;Zbl 1387.20001) 全文: 内政部
卢卡·埃特罗(编辑);乔治·巴奇(编辑);乔瓦尼·巴奇(编辑);Anna Ingólfsdóttir(编辑);Legay、Axel(编辑);拉杜·马达尔(编辑) 模型、算法、逻辑和工具。纪念金·古德斯特兰·拉森60岁生日的文章。 (英语) Zbl 1368.68004号 计算机科学课堂讲稿10460.商会:施普林格出版社(ISBN 978-3-319-63120-2/pbk;978-3-319-63121-9/ebook)。十七、662页。(2017).MSC公司:68-06 03B70号 第68季度第45季度 60年第68季度 68问题85 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格(2017;Zbl 1368.68004) 全文: 内政部
埃米莉·查利尔(编辑);朱利安·勒罗伊(编辑);米歇尔·里戈(编辑) 语言理论的发展。第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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{埃·查利埃}(编辑)等人,《语言理论的发展》。第21届国际会议,2017年DLT,2017年8月7日至11日,比利时列日。诉讼程序。查姆:斯普林格(2017;Zbl 1369.68016) 全文: 内政部
卡林·贝尔塔;博扬·约丹诺夫;艾丁·戈尔(Ebru Aydin Gol) 离散时间动力系统的形式化方法。 (英语) Zbl 1409.93003号 系统、决策和控制研究89.查姆:施普林格(ISBN 978-3-319-50762-0/hbk;978-3-3169-50763-7/电子书)。十八、284页。(2017). 审核人:Lazaros Moysis(塞萨洛尼基) MSC公司:93-02 93C55美元 93立方 93二氧化碳 03B44号 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Belta}等人,离散时间动力系统的形式化方法。查姆:斯普林格(2017;Zbl 1409.93003) 全文: 内政部
乔瓦尼·皮奇奇尼(编辑);塞扎尔·坎帕努(编辑) 形式系统的描述复杂性。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Pighizini}(编辑)和\textit{C.Cámpeanu}(主编),形式系统的描述复杂性。2017年7月3-5日在意大利米兰举行的第19届IFIP WG 1.02国际会议,DCFS 2017。诉讼程序。查姆:斯普林格(2017;Zbl 1364.68014) 全文: 内政部
Carayol,阿诺(编辑);西里尔·尼科德(编辑) 自动机的实现与应用。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Carayol}(编辑)和\textit{C.Nicaud}(编),自动机的实现和应用。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格(2017;Zbl 1365.68007) 全文: 内政部
2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。 (英语) Zbl 1360.93003号 纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。xii,275页。(2017).MSC公司:93-06 68-06 第68季度第45季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第20届ACM混合系统国际会议论文集:计算与控制,2017年HSCC,匹兹堡,宾夕法尼亚州,美国,2017年4月18-20日。纽约州纽约市:计算机协会(ACM)(2017;Zbl 1360.93003) 全文: 内政部
德里克·霍尔特(Derek F.Holt)。;莎拉·里斯;Röver,Claas E。 群、语言和自动机。 (英语) 兹比尔1515.20012 伦敦数学学会学生课文88.剑桥:剑桥大学出版社(ISBN 978-1-316-60652-0/pbk;978-1-107-15235-9/hbk;978-1-316-58824-6/电子书)。xi,第294页。(2017).MSC公司:20-02 2010年1月20日 20层65 20立方米 第68季度第45季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.F.Holt}等人,《组、语言和自动机》。剑桥:剑桥大学出版社(2017;Zbl 1515.20012) 全文: 内政部
法兰克·德雷维斯(编辑);卡洛斯·马丁·维德(编辑);比安卡·特鲁特(编辑) 语言和自动机理论及应用。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。 (英语) 兹比尔1358.68010 计算机科学课堂讲稿10168.查姆:施普林格(ISBN 978-3-319-53732-0/pbk;978-3-3169-53733-7/电子书)。xxiii,第462页。(2017).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}(编辑)等人,《语言和自动机理论与应用》。2017年3月6-9日在瑞典乌梅举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆:斯普林格(2017;Zbl 1358.68010) 全文: 内政部
巴特·雅各布斯 余代数简介。走向状态和观察的数学。 (英语) Zbl 1364.68001号 剑桥理论计算机科学丛书59.剑桥:剑桥大学出版社(ISBN 978-1-107-17789-5/hbk;978-1-316-82318-7/电子书)。十六、477页。(2017). 审核人:Ernst-Erich Doberkat(多特蒙德) MSC公司:68-01 第68季度第65季度 03B45号 68问题85 18立方厘米 18个C20 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},余代数简介。走向状态和观察的数学。剑桥:剑桥大学出版社(2017;Zbl 1364.68001) 全文: 内政部
所罗门·W·哥伦布。 移位寄存器序列。安全和有限访问代码生成器、效率代码生成器、规定属性生成器、数学模型。第三修订版。 (英语) 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格式引用 \textit{S.W.Golomb},移位寄存器序列。安全和有限访问代码生成器、效率代码生成器、指定属性生成器、数学模型。第三修订版。新泽西州哈肯萨克:世界科学(2017;Zbl 1408.94004) 全文: 内政部
坎通·多梅尼科(编辑);乔治·德尔扎诺(编辑) 2016年9月14日至16日,在意大利卡塔尼亚举行的第七届游戏、自动机、逻辑和形式验证国际研讨会会议记录。 (英语) Zbl 1436.68019号 理论计算机科学电子论文集(EPTCS)226.滑铁卢:开放出版协会(OPA)。315页。,仅电子版,开放存取(2016年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}(编辑)和\textit{G.Delzanno}(编),第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,意大利卡塔尼亚,2016年9月14-16日。滑铁卢:开放出版协会(OPA)(2016;Zbl 1436.68019) 全文: 内政部 arXiv公司 链接
马蒂亚斯·昆泽;马蒂亚斯·韦斯克 行为模型。从建模有限自动机到分析业务流程。 (英语) Zbl 1382.68003号 查姆:施普林格(ISBN 978-3-319-44958-6/hbk;978-3-3169-44960-9/电子书)。xii,279页。(2016).MSC公司:68-01 第68季度第45季度 60年第68季度 68问题85 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunze}和\textit{M.Weske},行为模型。从建模有限自动机到分析业务流程。商会:施普林格(2016;兹比尔1382.68003) 全文: 内政部
西里尔·阿尔托(编辑);彼得·塞巴·奥维茨基(编辑) 安全关键系统的正式技术。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。 (英语) Zbl 1393.68009号 计算机与信息科学中的通信596.查姆:施普林格(ISBN 978-3-319-29509-1/pbk;978-3-3169-29510-7/电子书)。x、 第271页。(2016).MSC公司:68-06 68米15 68N99型 60年第68季度 68岁20岁 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Artho}(编辑)和\textit{P.C.Olveczky}(主编),安全关键系统的形式化技术。第四次国际研讨会,2015年FTSCS,法国巴黎,2015年11月6-7日。修订了选定的论文。商会:施普林格(2016;兹比尔1393.68009) 全文: 内政部
爱德华·基南。;劳伦斯·莫斯。 语言中的数学结构。 (英语) 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). 审核人:Efstratios Rappos(奥邦) MSC公司:03-02 03B65号 68-02 第68季度第45季度 68T50型 91层20 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Keenan}和\textit{L.S.Moss},语言中的数学结构。加利福尼亚州斯坦福:CSLI出版物(2016;Zbl 1446.03003)
Micha Skrzypczak 自动机理论中的描述性集合论方法。可决定性和拓扑复杂性。 (英语) Zbl 1375.03003号 计算机科学课堂讲稿9802.柏林:施普林格出版社(ISBN 978-3-662-52946-1/pbk;978-3-562-52947-8/电子书)。xiii,211页。(2016). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:03-02 05年3月 03E15年 第68季度第45季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Skrzypczak},自动机理论中的描述性集合论方法。可判定性和拓扑复杂性。柏林:施普林格(2016;兹bl 1375.03003) 全文: 内政部
第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。 (英语) Zbl 1344.93003号 纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。十六、308页。(2016).MSC公司:93-06 68-06 第68季度第45季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(2016;Zbl 1344.93003) 全文: 内政部
斯雷切科·布列克(编辑);克里斯托夫·鲁特瑙尔(编辑) 语言理论的发展。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Brlek}(编辑)和textit{C.Reutenauer}(主编),语言理论的发展。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:施普林格出版社(2016;Zbl 1342.68008) 全文: 内政部
塞扎尔·坎帕努(编辑);弗罗林·马内亚(编辑);杰弗里·沙利特(编辑) 形式系统的描述复杂性。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Cámpeanu}(ed.)等人,《形式系统的描述复杂性》。2016年7月5-8日,罗马尼亚布加勒斯特,2016年DCFS,第18届IFIP WG 1.2国际会议。诉讼程序。查姆:斯普林格(2016;Zbl 1342.68009) 全文: 内政部
Han、Yo-Sub(编辑);凯·萨洛马(编辑) 自动机的实现和应用。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.Han}(编辑)和\textit{K.Salomaa}(编),自动机的实现和应用。2016年7月19日至22日,第21届国际会议,CIAA 2016,韩国首尔。诉讼程序。商会:施普林格(2016;兹比尔1365.68008) 全文: 内政部
克里斯·伯恩哈特 图灵的愿景。计算机科学的诞生。 (英语) Zbl 1350.68001号 马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-03454-8/hbk;978-0-262/3379-5/电子书)。十七、189页。(2016). 审核人:阿尔伯特·C·刘易斯(奥斯汀) MSC公司:68-01 68-03 01A60型 01A70号 03B25号 05年3月 03日第10天 2005年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernhardt},图灵的愿景。计算机科学的诞生。马萨诸塞州剑桥:麻省理工学院出版社(2016;Zbl 1350.68001)
贾库布·西曼尼克 量词和认知:逻辑和计算视角。 (英语) Zbl 1432.03003号 语言学和哲学研究96.查姆:施普林格(ISBN 978-3-319-28747-8/hbk;978-3-3169-28749-2/电子书)。xii,211页。(2016).MSC公司:03-02 03B65号 03C80号 05年3月 03A05号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Szymanik},《量词与认知:逻辑和计算视角》。商会:施普林格(2016;兹比尔1432.03003) 全文: 内政部
阿德里安·霍里亚·德迪乌(编辑);Janoušek,扬(编辑);卡洛斯·马丁·维德(编辑);比安卡·特鲁特(编辑) 语言和自动机理论及应用。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。 (英语) Zbl 1331.68010号 计算机科学课堂讲稿9618.查姆:施普林格(ISBN 978-3-319-29999-0/pbk;978-3-3169-30000-9/电子书)。第二十二、618页。(2016).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.-H.Dediu}(编辑)等人,《语言与自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆:斯普林格(2016;Zbl 1331.68010) 全文: 内政部
哈维尔·埃斯帕尔扎(编辑);恩里科·特隆西(编辑) 第六届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2015,热那亚,意大利,2015年9月21日至22日。 (英语) 兹比尔1435.68028 理论计算机科学电子论文集(EPTCS)193.滑铁卢:开放出版协会(OPA)。185页。,仅电子版,开放存取(2015年)。MSC公司:68-06 第68季度第45季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}(ed.)和textit{E.Tronci}(edi.),第六届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2015,意大利热那亚,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)(2015;Zbl 1435.68028) 全文: 内政部 arXiv公司 链接
埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多 Petri网合成。 (英语) Zbl 1351.68003号 理论计算机科学课文。EATCS系列柏林:施普林格出版社(ISBN 978-3-662-47966-7/hbk;978-3-562-47967-4/电子书)。xiii,第339页。(2015). 审核人:约格·德塞尔(哈根) MSC公司:68-02 第68季度第45季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Badouel}等人,Petri网合成。柏林:施普林格出版社(2015;Zbl 1351.68003) 全文: 内政部 哈尔
比什特,R.K。;达米,H.S。 离散数学。 (英语) Zbl 1332.05001号 牛津:牛津大学出版社(ISBN 978-0-19-945279-8/pbk)。xxv,600页。(2015). 审核人:佐尔坦·卡萨(克卢日-纳波卡) MSC公司:05-01 00A05号 00A06号 03-01 2001年6月 12-01 13-01 16-01 20-01 68-01 94-01 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Bisht}和\textit{H.S.Dhami},离散数学。牛津:牛津大学出版社(2015;Zbl 1332.05001)
法兰克·德雷维斯(编辑) 自动机的实现和应用。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}(编辑),自动机的实现和应用。2015年8月18-21日,第20届国际会议,CIAA 2015,瑞典乌梅奥。诉讼程序。查姆:斯普林格(2015;Zbl 1318.68015) 全文: 内政部
伊戈尔·波塔波夫(编辑) 语言理论的发展。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).MSC公司:68-06 第68季度第45季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{I.Potapov}(编辑),语言理论的发展。第19届国际会议,DLT 2015,英国利物浦,2015年7月27日至30日。诉讼程序。查姆:斯普林格(2015;Zbl 1316.68025) 全文: 内政部
第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,美国华盛顿州西雅图,2015年4月14日至16日。 (英语) Zbl 1319.93003号 纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3433-4)。x、 第308页。,仅电子版(2015年)。MSC公司:93-06 68-06 第68季度第45季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)(2015;Zbl 1319.93003) 全文: 内政部