马可·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 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Morazán},基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆:施普林格(2024;Zbl 07786059) 全文: 内政部
埃蒂安·安德烈(编辑);孙骏(编辑) 用于验证和分析的自动化技术。第21届国际研讨会,2023年10月24日至27日,新加坡,ATVA 2023。诉讼程序。第二部分。 (英语) Zbl 07826003号 计算机科学课堂讲稿14216.查姆:施普林格(ISBN 978-3-031-45331-1/pbk;978-3-331-45332-8/电子书)。xv,330页。(2023).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}(编辑)和\textit{J.Sun}(主编),验证和分析自动化技术。第21届国际研讨会,ATVA 2023,新加坡,2023年10月24-27日。诉讼程序。第二部分。商会:施普林格(2023;Zbl 07826003) 全文: 内政部
埃蒂安·安德烈(编辑);孙骏(编辑) 用于验证和分析的自动化技术。第21届国际研讨会,2023年10月24日至27日,新加坡,ATVA 2023。诉讼程序。第一部分。 (英语) Zbl 07826002号 计算机科学课堂讲稿14215.查姆:施普林格(ISBN 978-3-031-45328-1/pbk;978-3-331-45329-8/电子书)。十六、446页。(2023).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{É.André}(编辑)和\textit{J.Sun}(编辑),用于验证和分析的自动化技术。第21届国际研讨会,ATVA 2023,新加坡,2023年10月24-27日。诉讼程序。第一部分查姆:施普林格(2023;Zbl 07826002) 全文: 内政部
Alireza马祖翁;丹尼尔·格罗;罗尔夫·德雷克斯勒 结构复杂乘数的形式验证。 (英语) Zbl 07819811号 新加坡:Springer(ISBN 978-3-031-24570-1/hbk;978-3-051-24573-2/pbk;988-3-031-204571-8/电子书)。xiii,130页。(2023).MSC公司:68-02 2007年7月68日 2006年第68季度 第68季度第60季度 68瓦30 68瓦35 PDF格式BibTeX公司 XML格式引用 \textit{A.Mahzoon}等人,结构复杂乘数的形式验证。新加坡:Springer(2023;Zbl 07819811) 全文: 内政部
哈维尔·埃斯帕尔扎;布隆丁,迈克尔 自动机理论。算法方法。 (英语) 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页 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}和\textit{M.Blondin},自动机理论。算法方法。马萨诸塞州剑桥:麻省理工学院出版社(2023;Zbl 07770922) 全文: 链接
玛莎·施尼伯 近似函数的多项式形式验证。 (英语) Zbl 07761099号 最佳大师威斯巴登:Springer Vieweg;不来梅:不来梅大学(硕士论文)(ISBN 978-3-658-41887-8/pbk;978-3-558-41888-5/电子书)。x、 第79页。(2023).MSC公司:68-02 2006年第68季度 65年第68季度 第68季度第60季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Schnieber},近似函数的多项式形式验证。威斯巴登:斯普林格·维埃格;不来梅:不来梅大学(硕士论文)(2023;Zbl 07761099) 全文: 内政部
达斯科·巴甫洛维奇 以图表形式显示的程序。从类别可计算性到可计算类别。 (英语) Zbl 07761082号 可计算性理论与应用.商会:施普林格出版社(ISBN 978-3-031-34826-6/hbk;978-3-031-34829-7/pbk;978-3-031-34827-3/ebook)。十七、252页。(2023).MSC公司:68-01 18-01 18立方米 68号30 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{D.Pavlovic},程序作为图表。从类别可计算性到可计算类别。查姆:施普林格(2023;Zbl 07761082) 全文: 内政部 arXiv公司
第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。 (英语) Zbl 1530.68008号 纽约州纽约市:计算机协会(ACM)(ISBN 979-8-4007-0033-0)。xi,30篇文章,未连续页码(2023年)。MSC公司:68-06 93-06 65年第68季度 第68季度第60季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)(2023;Zbl 1530.68008) 全文: 内政部
亚历山大·阿提基斯(编辑);弗洛里安·布鲁斯(编辑);卢克·亨斯伯格(编辑) 第30届时间表征和推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。 (英语) Zbl 1522.68013号 LIPIcs–莱布尼茨国际信息学会议录278.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-298-3)。xiv,22篇文章,非连续页面,仅电子版,开放存取(2023年)。MSC公司:68-06 03B44号 第68季度第60季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}(ed.)等人,第30届时间表征与推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023;Zbl 1522.68013) 全文: 内政部 链接
康斯坦丁埃纳(编辑);阿卡什·拉尔(编辑) 计算机辅助验证。第35届国际会议,CAV 2023,法国巴黎,2023年7月17日至22日。诉讼程序。第三部分。 (英语) Zbl 1529.68047号 计算机科学课堂讲稿13966.查姆:施普林格(ISBN 978-3-031-37708-2/pbk;978-3-331-37709-9/ebook)。十七、502页。(2023).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}(编辑)和\textit{A.Lal}(编),计算机辅助验证。第35届国际会议,CAV 2023,巴黎,法国,2023年7月17-22日。诉讼程序。第三部分查姆:施普林格(2023;Zbl 1529.68047) 全文: 内政部
康斯坦丁埃纳(编辑);阿卡什·拉尔(编辑) 计算机辅助验证。第35届国际会议,CAV 2023,法国巴黎,2023年7月17日至22日。诉讼程序。第一部分。 (英语) Zbl 1529.68046号 计算机科学课堂讲稿13964.商会:施普林格出版社(ISBN 978-3-031-37705-1/pbk;978-3-031-37706-8/电子书)。xxxi,488页。(2023).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}(编辑)和\textit{A.Lal}(编),计算机辅助验证。第35届国际会议,CAV 2023,巴黎,法国,2023年7月17-22日。诉讼程序。第一部分查姆:施普林格(2023;Zbl 1529.68046) 全文: 内政部
维吉尔·普雷沃斯托(编辑);克里斯蒂娜·塞塞莱亚努(编辑) 测试和证明。第17届国际会议,TAP 2023,英国莱斯特,2023年7月18-19日。诉讼程序。 (英语) Zbl 1525.68002号 计算机科学课堂讲稿14066.查姆:施普林格(ISBN 978-3-031-38827-9/pbk;978-3-331-38828-6/ebook)。第二十二、187页。(2023).MSC公司:68-06 第68季度第60季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Prevosto}(编辑)和\textit{C.Seceleanu}(主编),测试和证明。第17届国际会议,TAP 2023,英国莱斯特,2023年7月18-19日。诉讼程序。查姆:斯普林格(2023;Zbl 1525.68002) 全文: 内政部
康斯坦丁埃纳(编辑);阿卡什·拉尔(编辑) 计算机辅助验证。第35届国际会议,CAV 2023,法国巴黎,2023年7月17日至22日。诉讼程序。第二部分。 (英语) Zbl 1528.68025号 计算机科学课堂讲稿13965.查姆:施普林格(ISBN 978-3-031-37702-0/pbk;978-3-331-37703-7/电子书)。十六、460页。(2023).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}(编辑)和\textit{A.Lal}(编),计算机辅助验证。第35届国际会议,CAV 2023,巴黎,法国,2023年7月17-22日。诉讼程序。第二部分。商会:施普林格(2023;兹比尔1528.68025) 全文: 内政部
迪莉娅·凯斯纳(编辑);皮埃尔·马里·佩德罗(编辑) 第28届国际证明和程序类型会议,types 2022,LS2N,南特大学,法国,2022年6月20日至25日。 (英语) Zbl 1517.68019号 LIPIcs–莱布尼茨国际信息学会议录269.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-285-3)。vii,15篇文章,非连续页面,仅电子版,开放存取(2023年)。MSC公司:68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}(ed.)和\textit{P.-M.Pédrot}(edi.),第28届证明和程序类型国际会议,types 2022,LS2N,南特大学,法国,2022年6月20日至25日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023;Zbl 1517.68019) 全文: 内政部 链接
沃尔夫冈·施莱纳 具体抽象。使用RISCAL模型检查器对离散理论和算法进行形式化和分析。 (英语) Zbl 1515.68009号 符号计算中的文本和专题查姆:施普林格(ISBN 978-3-031-24933-4/hbk;978-3-0.31-24936-5/pbk;978-1-3031-24944-1/电子书)。xii,271页。(2023).MSC公司:68-01 68页第10页 第68季度第60季度 68卢比 68V20型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{W.Schreiner},具体抽象。使用RISCAL模型检查器对离散理论和算法进行形式化和分析。商会:施普林格(2023年;兹比尔1515.68009) 全文: 内政部
乔治安娜·卡尔泰斯(编辑);克里斯蒂安·席林(编辑) 模型检查软件。第29届国际研讨会,SPIN 2023,法国巴黎,2023年4月26日至27日。诉讼程序。 (英语) Zbl 1522.68021号 计算机科学课堂讲稿13872.查姆:施普林格(ISBN 978-3-031-32156-6/pbk;978-3-331-32157-3/电子书)。x、 第199页。(2023).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}(编辑)和\textit{C.Schilling}(主编),模型检查软件。第29届国际研讨会,SPIN 2023,巴黎,法国,2023年4月26-27日。诉讼程序。查姆:施普林格(2023;Zbl 1522.68021) 全文: 内政部
文森佐·阿塞里(编辑);阿戈斯蒂诺·科尔特斯(编辑);皮埃特罗·费拉拉(编辑);马蒂娜·奥利亚罗(编辑) 软件验证的挑战。2022年5月20日,意大利威尼斯CSV第一次研讨会的贡献。 (英语) Zbl 1515.68022号 智能系统参考库238.新加坡:Springer(ISBN 978-981-19-9600-9/hbk;978-981-9-9603-0/pbk;978-19-9601-6/ebook)。xv,264页。(2023).MSC公司:68-06 68牛顿 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Arceri}(编辑)等人,《软件验证的挑战》。2022年5月20日,意大利威尼斯CSV第一次研讨会的贡献。新加坡:Springer(2023;Zbl 1515.68022) 全文: 内政部
穆罕默德·阿提夫;Jan Friso,格鲁特 了解使用mCRL2的分布式系统的行为。 (英语) Zbl 1516.68001号 系统、决策和控制研究458.查姆:施普林格出版社(ISBN 978-3-031-23007-3/hbk;978-3-331-23010-3/pbk;978-1-3031-23008-0/电子书)。第十五卷,235页。(2023).MSC公司:68-01 64岁以下 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Atif}和\textit{J.F.Groote},理解使用mCRL2的分布式系统的行为。商会:施普林格(2023;Zbl 1516.68001) 全文: 内政部
达纳·理查兹;亨利·汉堡包 计算机科学的逻辑和语言模型。第三版。 (英语) Zbl 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季度 65年第68季度 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式 全文: 内政部
塞萨拉·德拉戈伊(编辑);埃米,迈克尔(编辑);王晶波(编辑) 验证、模型检查和抽象解释。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。 (英语) Zbl 1517.68010号 计算机科学课堂讲稿13881.查姆:施普林格(ISBN 978-3-031-24949-5/pbk;978-3-331-24950-1/电子书)。x、 第389页。(2023).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dragoi}(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:施普林格(2023;Zbl 1517.68010) 全文: 内政部
海克尔,瑞科(编辑);克里斯托弗·M·波斯基特。(编辑) 第十三届图形计算模型国际研讨会论文集,GCM,法国南特,2022年7月6日。 (英语) Zbl 1522.68033号 理论计算机科学电子论文集(EPTCS)374.滑铁卢:开放出版协会(OPA)。93页。,仅电子化、开放存取(2022年)。MSC公司:68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Heckel}(ed.)和\textit{C.M.Poskitt}(edi.),第十三届图形计算模型国际研讨会论文集,GCM,法国南特,2022年7月6日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1522.68033) 全文: 内政部 arXiv公司 链接
杰弗里·汉密尔顿。(编辑);Temesghen Kahsai(编辑);毛里齐奥·普罗埃蒂(编辑) 2022年4月3日,德国慕尼黑,HCVS/VPT 2022,第九届验证与合成Horn条款研讨会和第十届验证与程序转换国际研讨会会议记录。 (英语) Zbl 1522.68032号 理论计算机科学电子论文集(EPTCS)373.滑铁卢:开放出版协会(OPA)。第62页。,仅电子化、开放存取(2022年)。MSC公司:68-06 68号30 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.W.Hamilton}(ed.)等人,《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》,HCVS/VPT 2022,德国慕尼黑,2022年4月3日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1522.68032) 全文: 内政部 arXiv公司 链接
皮埃尔·甘蒂(编辑);黛拉·莫妮卡,达里奥(编辑) 第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,甘道夫2022年,西班牙马德里,2022年9月21日至23日。 (英语) Zbl 1522.68028号 理论计算机科学电子论文集(EPTCS)370.滑铁卢:开放出版协会(OPA)。第228页。,仅电子化、开放存取(2022年)。MSC公司:68-06 65年第68季度 第68季度第60季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}(编辑)和\textit{D.Della Monica}(主编),第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,《甘道夫2022》,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)(2022;Zbl 1522.68028) 全文: 内政部 arXiv公司 链接
塞巴斯蒂安·肯特 动态创建线程和锁的并行递归程序的锁敏感可达性分析。基于图形的方法。 (英语) Zbl 1509.68004号 穆斯特:穆斯特大学,Mathematisch-Naturwissenschaftliche-Fakultät,Fachbereich Mathematik und Informatik(Diss.)。viii,第231页。,开放存取(2022年)。MSC公司:68-02 68号30 2012年第68季度 68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Kenter},动态创建线程和锁的并行递归程序的锁敏感可达性分析。基于图形的方法。穆斯特:穆斯特大学,Mathematisch-Naturwissenschaftliche-Fakultät,Fachbereich Mathematik und Informatik(Diss.)(2022;Zbl 1509.68004) 全文: 内政部
贾亚德夫·米斯拉 编程实践中的有效理论。 (英语) Zbl 1503.68006号 ACM图书47.纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-9973-9/hbk;978-1-450.3-9971-5/pbk;97 8-1-4503-4974-6/电子书)。第xx页,第541页。(2022).MSC公司:68-01 03B70号 68号30 68页第10页 68兰特 68周01 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra},编程实践中的有效理论。纽约州纽约市:计算机协会(ACM)(2022;Zbl 1503.68006)
阿努吉·达瓦尔(编辑);文凯特桑·古鲁斯瓦米(编辑) 第42届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2022),印度钦奈IIT马德拉斯,2022年12月18-20日。 (英语) Zbl 1502.68026号 LIPIcs–莱布尼茨国际信息学会议录250.瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)(ISBN 978-3-95977-261-7)。xv,44篇文章,非连续页面,仅电子版,开放获取(2022)。MSC公司:68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}(编辑)和\textit{V.Guruswami}(编),第42届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2022),印度钦奈IIT Madras,2022年12月18-20日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2022;Zbl 1502.68026) 全文: 内政部 链接
亚历山大·阿提基斯(编辑);罗伯托·波塞纳托(编辑);Stefano托内塔(编辑) 第29届时间表征与推理国际研讨会(TIME 2022),虚拟会议,2022年11月7日至9日。 (英语) Zbl 1502.68018号 LIPIcs–莱布尼茨国际信息学会议录247.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik(ISBN 978-3-95977-262-4)。xiv,15篇文章,非连续页面,仅电子版,开放存取(2022年)。MSC公司:68-06 03B44号 第68季度第60季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}(ed.)等人,第29届时间表征与推理国际研讨会(TIME 2022),虚拟会议,2022年11月7-9日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2022;Zbl 1502.68018) 全文: 内政部 链接
艾哈迈德·博阿贾尼(编辑);卢卡什·霍利克(编辑);吴志林(编辑) 用于验证和分析的自动化技术。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。 (英语) Zbl 1511.68011号 计算机科学课堂讲稿13505。Cham:S普林格出版社(ISBN 978-3-031-19991-2/pbk;978-3-031-19992-9/电子书)。第二十三章,第432页。(2022).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}(ed.)等人,验证和分析自动化技术。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25-28日。诉讼程序。查姆:施普林格(2022;Zbl 1511.68011) 全文: 内政部
叶卡捷琳娜·科门丹茨卡亚(编辑) 程序构造的数学。2022年9月26日至28日,第14届国际会议,MPC 2022,格鲁吉亚第比利斯。诉讼程序。 (英语) Zbl 1514.68005号 计算机科学课堂讲稿13544.查姆:施普林格(ISBN 978-3-031-16911-3/pbk;978-3-331-16912-0/电子书)。xv,第269页。(2022).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Komendantskaya}(编辑),程序构造数学。2022年9月26日至28日,第14届国际会议,MPC 2022,格鲁吉亚第比利斯。诉讼程序。查姆:斯普林格(2022;Zbl 1514.68005) 全文: 内政部
艾丽西亚·维拉纽瓦(编辑) 基于逻辑的程序合成和转换。第32届国际研讨会,LOPSTR 2022,格鲁吉亚第比利斯,2022年9月21日至23日。诉讼程序。 (英语) Zbl 1511.68020号 计算机科学课堂讲稿13474.查姆:施普林格(ISBN 978-3-031-16766-9/pbk;978-3-0031-16767-6/电子书)。xiii,155页。(2022).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Villanueva}(编辑),基于逻辑的程序合成和转换。第32届国际研讨会,LOPSTR 2022,格鲁吉亚第比利斯,2022年9月21日至23日。诉讼程序。查姆:施普林格(2022;Zbl 1511.68020) 全文: 内政部
奥沃拉比·勒贡森(编辑);格里戈·罗苏(编辑) 模型检查软件。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。 (英语) Zbl 1499.68019号 计算机科学课堂讲稿13255.查姆:施普林格(ISBN 978-3-031-15076-0/pbk;978-3-331-15077-7/电子书)。九、153页。(2022).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{O.Legunson}(编辑)和\textit{G.Rosu}(编),模型检查软件。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。查姆:施普林格(2022;Zbl 1499.68019) 全文: 内政部
刘冠军 Petri网。并发系统的理论模型和分析方法。 (英语) Zbl 1512.68001号 新加坡:Springer(ISBN 978-981-19-6308-7/hbk;978-981-9-6311-7/pbk;978-19-6309-4/电子书)。xi,第279页。(2022). 审核人:T.C.Mohan(钦奈) MSC公司:68-01 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Liu},Petri网。并发系统的理论模型和分析方法。新加坡:施普林格(2022;Zbl 1512.68001) 全文: 内政部
海宁·巴索尔德(编辑);杰斯珀·考克斯(编辑);西尔维娅·吉勒赞(编辑) 第27届国际校样和程序类型会议,types 2021,荷兰莱顿,虚拟会议,2021年6月14-18日。 (英语) Zbl 1494.68007号 LIPIcs–莱布尼茨国际信息学会议录239.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆宫(ISBN 978-3-95977-254-9)。vii,12篇文章,非连续页面,仅电子版,开放存取(2022年)。MSC公司:68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Basold}(ed.)等人,第27届国际校样和程序类型会议,types 2021,荷兰莱顿,虚拟会议,2021年6月14-18日。瓦德恩:达格斯图尔城堡-莱布尼茨信息中心(2022;兹bl 1494.68007) 全文: 内政部 链接
沙龙·肖姆(编辑);亚基尔·维泽尔(编辑) 计算机辅助验证。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第二部分。 (英语) Zbl 1499.68026号 计算机科学课堂讲稿13372.查姆:施普林格(ISBN 978-3-031-13187-5/pbk;978-3-331-13188-2/电子书)。xix,549页。(2022).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Shoham}(编辑)和\textit{Y.Vizel}(编),计算机辅助验证。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第二部分。查姆:施普林格(2022;Zbl 1499.68026) 全文: 内政部
莎伦·肖姆(编辑);亚基尔·维泽尔(编辑) 计算机辅助验证。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分。 (英语) Zbl 1499.68025号 计算机科学课堂讲稿13371.查姆:施普林格(ISBN 978-3-031-13184-4/pbk;978-3-331-13185-1/电子书)。xix,第555页。(2022).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Shoham}(编辑)和\textit{Y.Vizel}(编),计算机辅助验证。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格(2022;Zbl 1499.68025) 全文: 内政部
第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 65年第68季度 第68季度第60季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)(2022;Zbl 1492.68007) 全文: 内政部
劳拉·科瓦奇(编辑);卡尔·梅恩克(编辑) 测试和证明。第16届国际会议,TAP 2022,作为STAF 2022的一部分,于2022年7月5日在法国南特举行。诉讼程序。 (英语) Zbl 1499.68018号 计算机科学课堂讲稿13361.查姆:施普林格(ISBN 978-3-031-09826-0/pbk;978-3-331-09827-7/ebook)。viii,127页。(2022).MSC公司:68-06 第68季度第60季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács}(编辑)和\textit{K.Meinke}(主编),测试和证明。第16届国际会议,TAP 2022,作为STAF 2022的一部分,于2022年7月5日在法国南特举行。诉讼程序。查姆:施普林格(2022;Zbl 1499.68018) 全文: 内政部
伊曼纽尔·德·安吉利斯(编辑);温·范霍夫(编辑) 基于逻辑的程序合成和转换。第31届国际研讨会,2021年9月7日至8日,爱沙尼亚塔林,LOPSTR 2021。诉讼程序。 (英语) Zbl 1509.68011号 计算机科学课堂讲稿13290.查姆:施普林格(ISBN 978-3-030-98868-5/pbk;978-3-0030-98869-2/ebook)。ix,第177页。(2022).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}(编辑)和textit{W.Vanhoof}(编),基于逻辑的程序合成和转换。第31届国际研讨会,LOPSTR 2021,爱沙尼亚塔林,2021年9月7-8日。诉讼程序。查姆:斯普林格(2022;Zbl 1509.68011) 全文: 内政部
奥尔德罗格(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 65年第68季度 第68季度第60季度 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}(ed.)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格(2022;Zbl 1511.68019) 全文: 内政部
伯恩德·芬克贝纳(编辑);托马斯·怀斯(编辑) 验证、模型检查和抽象解释。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。 (英语) 兹比尔1490.68015 计算机科学课堂讲稿13182.查姆:施普林格(ISBN 978-3-030-94582-4/pbk;978-3-0030-94583-1/电子书)。x、 520页。(2022).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}(编辑)和\textit{T.Wies}(编),验证、模型检查和抽象解释。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16-18日。诉讼程序。查姆:施普林格(2022;Zbl 1490.68015) 全文: 内政部
David M.Russinoff。 浮点硬件设计的形式验证。数学方法。第二版。 (英语) Zbl 1486.68005号 查姆:施普林格(ISBN 978-3-030-87180-2/hbk;978-3-0.30-87183-3/pbk;988-3-030-287181-9/电子书)。第xxviii页,第436页。(2022).MSC公司:68-02 2007年7月68日 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Russinoff},浮点硬件设计的形式验证。数学方法。第二版。查姆:施普林格(2022;Zbl 1486.68005) 全文: 内政部
安娜·索科洛娃(编辑) 第37届编程语义数学基础会议论文集,MFPS,混合:奥地利萨尔茨堡和在线,2021年8月30日至9月2日。 (英语) Zbl 1489.68030号 理论计算机科学电子论文集(EPTCS)351.滑铁卢:开放出版协会(OPA)。第313页。,仅电子化、开放存取(2021年)。MSC公司:68-06 68号30 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sokolova}(编辑),第37届编程语义数学基础会议论文集,MFPS,混合:奥地利萨尔茨堡和在线,2021年8月30日至9月2日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.68030) 全文: 内政部 链接
皮埃尔·甘蒂(编辑);大卫·布雷索林(编辑) 2021年9月20日至22日,在意大利帕多瓦举行的第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集。 (英语) 兹比尔1489.68014 理论计算机科学电子论文集(EPTCS)346.滑铁卢:开放出版协会(OPA)。第307页。,仅电子化、开放存取(2021年)。MSC公司:68-06 65年第68季度 第68季度第60季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}(编辑)和\textit{D.Bresolin}(主编),第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF,意大利帕多瓦,2021年9月20-22日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.68014) 全文: 内政部 链接
侯赛因·霍贾特(编辑);比肖克桑·卡夫(编辑) 2021年3月28日,第八届验证和合成Horn条款研讨会论文集,HCVS,虚拟版。 (英语) Zbl 1489.68020号 理论计算机科学电子论文集(EPTCS)344.滑铁卢:开放出版协会(OPA)。108页。,仅限电子版,开放访问(2021)。MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hojjat}(ed.)和\textit{B.Kafle}(edi.),《验证和合成Horn子句第八次研讨会论文集》,HCVS,虚拟,2021年3月28日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.68020) 全文: 内政部 链接
阿列克谢·利西萨(编辑);安德烈·奈米提克(Andrei P.Nemytykh)。(编辑) 2021年3月27日至28日,卢森堡,VPT,第九届核查和项目转换国际研讨会会议记录。 (英语) Zbl 1489.68026号 理论计算机科学电子论文集(EPTCS)341.滑铁卢:开放出版协会。第94页。,仅电子化、开放存取(2021年)。MSC公司:68-06 68号30 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lisitsa}(编辑)和\textit{A.P.Nemytykh}(主编),第九届验证和程序转换国际研讨会会议记录,卢森堡VPT,卢森堡,2021年3月27日至28日。滑铁卢:开放出版协会(OPA)(2021;Zbl 1489.68026) 全文: 内政部 链接
Mikołaj博扬奇克(编辑);钱德拉·切库里(编辑) 第41届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2021,虚拟会议,2021年12月15日至17日。 (英语) Zbl 1482.68008号 LIPIcs–莱布尼茨国际信息学会议录213.瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-95977-215-0)。xv,52篇文章,非连续页面,仅电子版,开放存取(2021年)。MSC公司:68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}(编辑)和\textit{C.Chekuri}(编),第41届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2021,虚拟会议,2021年12月15日至17日。Wadern:达格斯图尔宫——莱布尼茨宫(Leibniz Zentrum für Informatik)(2021;Zbl 1482.68008) 全文: 内政部 链接
侯哲(编辑);维杰·加内什(编辑) 用于验证和分析的自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。 (英语) Zbl 1489.68022号 计算机科学课堂讲稿12971.查姆:施普林格(ISBN 978-3-030-88884-8/pbk;978-3-0030-88885-5/电子书)。xv,第382页。(2021).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hou}(编辑)和\textit{V.Ganesh}(主编),验证和分析自动化技术。第19届国际研讨会,ATVA 2021,澳大利亚昆士兰州黄金海岸,2021年10月18-22日。诉讼程序。查姆:施普林格(2021;Zbl 1489.68022) 全文: 内政部
卡洛·库比(编辑);约翰·埃德尔(编辑);马克·雷诺兹(编辑) 第28届时间表征与推理国际研讨会。《时代周刊》2021年9月27日至29日,奥地利克拉根福(虚拟会议)。 (英语) Zbl 1473.68013号 LIPIcs–莱布尼茨国际信息学会议录206.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-206-8)。xiv,17篇文章,非连续页面,仅限电子版,开放获取(2021)。MSC公司:68-06 03B44号 第68季度第60季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Combi}(编辑)等人,第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日,奥地利克拉根福(虚拟会议)。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔Informatik(2021;Zbl 1473.68013) 全文: 内政部 链接
侯哲 逻辑和计算基础。具有实用的自动推理和验证功能。 (英语) 兹比尔1489.68002 计算机科学课文查姆:施普林格(ISBN 978-3-030-87881-8/hbk;978-3-0.30-87882-5/电子书)。x、 第221页。(2021). 审核人:马可·贝尼尼(科莫) MSC公司:68-01 03-01 第68季度第60季度 68V20型 PDF格式BibTeX公司 XML格式引用 \文本{Z.Hou},逻辑和计算基础。具有实用的自动推理和验证功能。查姆:施普林格(2021;Zbl 1489.68002) 全文: 内政部
卡琳娜·皮尔奇 具有多个随机变量的混合Petri网的统计模型检查和有时限可达性分析。 (英语) Zbl 1472.68003号 穆斯特:穆斯特大学,Mathematisch-Naturwissenschaftliche-Fakultät,Fachbereich Mathematik und Informatik(Diss.)。十八、267页。(2021).MSC公司:68-02 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Pilch},具有多个随机变量的混合Petri网的统计模型检查和时限可达性分析。穆斯特:穆斯特大学,Mathematisch-Naturwissenschaftliche-Fakultät,Fachbereich Mathematik und Informatik(Diss.)(2021;Zbl 1472.68003)
克利夫·琼斯。(编辑);贾亚德夫·米斯拉(编辑) 编程理论。托尼·霍尔的生活和作品。 (英语) Zbl 1473.68016号 ACM图书39.纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-8728-6/hbk;978-1-450.3-8729-3/pbk;968-1-4503-4731-6/电子书)。xx,第429页。(2021). 审核人:哈伊姆·基洛夫(米林顿) MSC公司:68-06 01A70号 68-03 68号30 68问题55 68问题85 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones(编辑)和textit{J.Misra}(编辑),编程理论。托尼·霍尔的生活和作品。纽约州纽约市:计算机协会(ACM)(2021;Zbl 1473.68016) 全文: 内政部
阿尔芬斯·拉阿尔曼(编辑);安娜·索科洛娃(编辑) 模型检查软件。第27届国际研讨会,SPIN 2021,虚拟活动,2021年7月12日。诉讼程序。 (英语) Zbl 1482.68029号 计算机科学课堂讲稿12864.查姆:施普林格(ISBN 978-3-030-84628-2/pbk;978-3-0030-84629-9/ebook)。x、 195页。(2021).MSC公司:68-06 68纳米99 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Laarman}(编辑)和\textit{A.Sokolova}(主编),模型检查软件。第27届国际研讨会,SPIN 2021,虚拟活动,2021年7月12日。诉讼程序。查姆:施普林格(2021;Zbl 1482.68029) 全文: 内政部
亚历山德拉·席尔瓦(编辑);Leino,K.Rustan M。(编辑) 计算机辅助验证。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。 (英语) Zbl 1482.68040号 计算机科学课堂讲稿12760.查姆:施普林格(ISBN 978-3-030-81687-2/pbk;978-3-0030-81688-9/电子书)。第二十三章,第940页。(2021).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Silva}(编辑)和\textit{K.R.M.Leino}(编),计算机辅助验证。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:施普林格(2021;Zbl 1482.68040) 全文: 内政部
亚历山德拉·席尔瓦(编辑);Leino,K.Rustan M。(编辑) 计算机辅助验证。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分。 (英语) Zbl 1489.68029号 计算机科学课堂讲稿12759.查姆:施普林格(ISBN 978-3-030-81684-1/pbk;978-3-0030-81685-8/电子书)。第二十四、922页。(2021).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Silva}(编辑)和\textit{K.R.M.Leino}(编),计算机辅助验证。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格(2021;Zbl 1489.68029) 全文: 内政部
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 65年第68季度 第68季度第60季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)(2021;Zbl 1466.68005) 全文: 内政部
玛丽贝尔·费尔南德斯(编辑) 基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。 (英语) Zbl 1482.68019号 计算机科学课堂讲稿12561.查姆:施普林格(ISBN 978-3-030-68445-7/pbk;978-3-0030-68446-4/ebook)。x、 第345页。(2021).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fernández}(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7-9日。诉讼程序。商会:施普林格(2021;兹比尔1482.68019) 全文: 内政部
弗雷德里克·卢勒格(编辑);弗兰茨·沃塔瓦(编辑) 测试和证明。第15届国际会议,TAP 2021,作为STAF 2021的一部分,虚拟活动,2021年6月21日至22日举行。诉讼程序。 (英语) Zbl 1482.68031号 计算机科学课堂讲稿12740.查姆:施普林格(ISBN 978-3-030-79378-4/pbk;978-3-0030-79379-1/电子书)。xiii,107页。(2021).MSC公司:68-06 第68季度第60季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Loulergue}(编辑)和\textit{F.Wotawa}(编辑),测试和证明。第15届国际会议,TAP 2021,作为STAF 2021的一部分举行,虚拟活动,2021年6月21日至22日。诉讼程序。查姆:施普林格(2021;Zbl 1482.68031) 全文: 内政部
弗里茨·亨利恩(编辑);沙龙·肖姆(编辑);亚基尔·维泽尔(编辑) 验证、模型检查和抽象解释。第22届国际会议,VMCAI 2021,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。 (英语) Zbl 1471.68017号 计算机科学课堂讲稿12597.查姆:施普林格(ISBN 978-3-030-67066-5/pbk;978-3-0030-67067-2/电子书)。十五、604页。(2021).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein}(编辑)等人,《验证、模型检验和抽象解释》。第22届国际会议,VMCAI 2021,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格(2021;Zbl 1471.68017) 全文: 内政部
悉达哈·克里希纳;尼萨尔·帕特尔;丹尼斯·沙沙;托马斯·怀斯 并发搜索结构的自动验证。 (英语) Zbl 1473.68009号 计算机科学综合讲座13.加利福尼亚州圣拉斐尔:Morgan&Claypool出版社(ISBN 978-1-63639-130-4/hbk;978-1-63659-128-1/pbk;978-1-63639-129-8/电子书)。xi,176页。(2021).MSC公司:68-02 68页第10页 68第20页 第68季度第60季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{S.Krishna}等人,并发搜索结构的自动验证。加利福尼亚州圣拉斐尔:Morgan&Claypool出版社(2021;Zbl 1473.68009) 全文: 内政部
乌戈·德利古罗(编辑);斯特凡诺·贝拉尔迪(编辑);托尔斯滕·阿滕柯奇(编辑) 第26届国际校样和程序类型会议,2020年3月2日至5日,意大利都灵都灵大学,types 2020。 (英语) Zbl 1465.68018号 LIPIcs–莱布尼茨国际信息学会议录188.瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)(ISBN 978-3-95977-182-5)。vii,11篇文章,非连续页面,仅电子版,开放存取(2021年)。MSC公司:68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{U.de'Ligoro}(编辑)等人,第26届国际证明和程序类型会议,类型2020,都灵大学,意大利都灵,2020年3月2日至5日。Wadern:达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔Informatik(2021;Zbl 1465.68018) 全文: 内政部 链接
帕特里克·库索特 抽象解释原则。 (英语) Zbl 1494.68002号 马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-04490-5/hbk)。ix,819页。(2021).MSC公司:68-01 68号01 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot},抽象解释原则。马萨诸塞州剑桥:麻省理工学院出版社(2021;Zbl 1494.68002)
阿明·比尔(编辑);Marijn脚后跟(编辑);汉斯·范马伦(编辑);托比·沃尔什(编辑) 满意度手册。分为两部分。第二次更新和修订版。 (英语) Zbl 1456.68001号 人工智能和应用的前沿336.阿姆斯特丹:IOS出版社(ISBN 978-1-64368-160-3/pbk;978-1-643 68-161-0/ebook)。十七、1465页。(2021).MSC公司:68-00 第68季度第60季度 68兰特 68T20型 68T27型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}(编辑)等人,《可满足性手册》。分为两部分。第二次更新和修订版。阿姆斯特丹:IOS出版社(2021;Zbl 1456.68001) 全文: 链接
英明生;冯、袁 模型检查量子系统。原理和算法。 (英语) Zbl 1496.68008号 剑桥:剑桥大学出版社(ISBN 978-1-108-48430-5/hbk;978-1-108-1332-3/电子书)。xii,210页。(2021).MSC公司:68-01 第68季度12 第68季度第60季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}和\textit{Y.Feng},模型检验量子系统。原理和算法。剑桥:剑桥大学出版社(2021;Zbl 1496.68008) 全文: 内政部
亚历山大·拉施克(编辑);多米尼克·梅里(编辑);弗兰克·胡德克(编辑) 严格的基于国家的方法。第七届国际会议,ABZ 2020,德国乌尔姆,2020年5月27日至29日。诉讼程序。 (英语) Zbl 1496.68032号 计算机科学课堂讲稿12071.查姆:施普林格(ISBN 978-3-030-48076-9/pbk;978-3-0030-48077-6/电子书)。xii,第428页。(2020).MSC公司:68-06 68号01 04年第68季度 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Raschke}(编辑)等人,严格的基于状态的方法。第七届国际会议,ABZ 2020,德国乌尔姆,2020年5月27日至29日。诉讼程序。查姆:施普林格(2020;Zbl 1496.68032) 全文: 内政部
沃尔夫冈·阿伦特(编辑);海克·卫尔海姆(编辑) 测试和证明。第14届国际会议,TAP 2020,作为STAF 2020的一部分,于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。 (英语) Zbl 1498.68009号 计算机科学课堂讲稿12165.查姆:施普林格(ISBN 978-3-030-50994-1/pbk;978-3-0.30-50995-8/电子书)。xiii,181页。(2020).MSC公司:68-06 第68季度第60季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}(编辑)和\textit{H.Wehrheim}(主编),测试和证明。第14届国际会议,TAP 2020,作为STAF 2020的一部分,于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。查姆:施普林格(2020;Zbl 1498.68009) 全文: 内政部
毛里齐奥·加布里埃利(编辑) 基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修订了选定的论文。 (英语) Zbl 1493.68011号 计算机科学课堂讲稿12042.查姆:施普林格(ISBN 978-3-030-45259-9/pbk;978-3-0030-45260-5/电子书)。十六、261页。(2020).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}(编辑),基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修订了选定的论文。商会:施普林格(2020;兹比尔1493.68011) 全文: 内政部
Jean-Francois拉斯金(编辑);大卫·布雷索林(编辑) 第十一届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2020年9月21日至22日,比利时布鲁塞尔,GandALF 2020。 (英语) Zbl 1466.68026号 理论计算机科学电子论文集(EPTCS)326.滑铁卢:开放出版协会(OPA)。第233页。,仅电子化、开放存取(2020年)。MSC公司:68-06 65年第68季度 第68季度第60季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}(编辑)和\textit{D.Bresolin}(主编),第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)(2020;Zbl 1466.68026) 全文: 内政部 arXiv公司 链接
劳伦·弗里堡(编辑);马蒂亚斯·海兹曼(编辑) 2020年4月25日至26日,爱尔兰都柏林,《2020年VPT/HCVS》,第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录。 (英语) Zbl 1466.68013号 理论计算机科学电子论文集(EPTCS)320.滑铁卢:开放出版协会(OPA)。127页。,仅电子化、开放存取(2020年)。MSC公司:68-06 68号30 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}(ed.)和textit{M.Heizmann}(edi.),第八届验证和程序转换国际研讨会和第七届验证和合成Horn条款研讨会会议记录,VPT/HCVS 2020,爱尔兰都柏林,2020年4月25日至26日。滑铁卢:开放出版协会(OPA)(2020;Zbl 1466.68013) 全文: 内政部 arXiv公司 链接
Shuvendu Kumar拉希里(编辑);王超(编辑) 计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第二部分。 (英语) Zbl 1453.68018号 计算机科学课堂讲稿12225.查姆:施普林格(ISBN 978-3-030-53290-1/pbk;978-3-0030-53291-8/电子书)。十八、680页。(2020).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}(编辑)和\textit{C.Wang}(编),计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第二部分。查姆:施普林格(2020;Zbl 1453.68018) 全文: 内政部
Shuvendu Kumar拉希里(编辑);王超(编辑) 计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第一部分。 (英语) Zbl 1453.68017号 计算机科学课堂讲稿12224.查姆:施普林格(ISBN 978-3-030-53287-1/pbk;978-3-0030-53288-8/电子书)。十七、666页。(2020).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}(编辑)和\textit{C.Wang}(编),计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第一部分查姆:施普林格(2020;Zbl 1453.68017) 全文: 内政部
卡尔·海因茨·齐默尔曼 可计算性。计算模型和不确定性。(Berechenbarkeit.Berechnungsmodelle und Unentscheidbarkeit) (德语) Zbl 1452.68002号 基本要素威斯巴登:施普林格演讲(ISBN 978-3-658-31738-6/pbk;978-3-558-31739-3/ebook)。xiii,67页。(2020).MSC公司:68-01 03-01 03年3月 03日第10天 03D20日 03天35分 68号30 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.-H.Zimmermann},Berechenbarkeit。Berechnungsmodelle und Unentscheidbarkeit公司。威斯巴登:施普林格演讲会(2020;Zbl 1452.68002) 全文: 内政部
帕特里夏·约翰(编辑) 第36届编程语义数学基础会议论文集,MFPS XXXVI,虚拟会议,2020年6月2-6日。 (英语) Zbl 1451.68024号 理论计算机科学电子笔记352.阿姆斯特丹:爱思唯尔。304页。,仅电子化、开放存取(2020年)。MSC公司:68-06 68号30 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}(编辑),第36届编程语义数学基础会议论文集,MFPS XXXVI,虚拟会议,2020年6月2-6日。阿姆斯特丹:爱思唯尔(2020;Zbl 1451.68024) 全文: 链接
萨塞纳,尼廷(编辑);苏尼尔·西蒙(编辑) 第40届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2020,印度果阿,虚拟会议,2020年12月14-18日。 (英语) Zbl 1451.68027号 LIPIcs–莱布尼茨国际信息学会议录182.瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-95977-174-0)。viii,58篇文章,非连续页面,仅电子版,开放存取(2020年)。MSC公司:68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Saxena}(编辑)和\textit{S.Simon}(编),第40届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2020,印度果阿,虚拟会议,2020年12月14-18日。Wadern:达格斯图尔宫——莱布尼茨宫(Leibniz Zentrum für Informatik)(2020;Zbl 1451.68027) 全文: 内政部 链接
洪丹凡(编辑);奥列格·索科尔斯基(编辑) 用于验证和分析的自动化技术。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。 (英语) Zbl 1502.68030号 计算机科学课堂讲稿12302.查姆:施普林格(ISBN 978-3-030-59151-9/pbk;978-3-0030-59152-6/电子书)。xiv,574页。(2020).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Van Hung}(编辑)和\textit{O.Sokolsky}(主编),验证和分析自动化技术。第18届国际研讨会,2020年10月19-23日,越南河内,ATVA 2020。诉讼程序。商会:施普林格(2020;兹比尔1502.68030) 全文: 内政部
舒蒙·科加;米罗斯拉夫·克里斯蒂 材料相变PDE控制和估算。从添加剂制造到极地冰。 (英语) Zbl 1473.82004号 系统与控制:基础与应用查姆:Birkhä用户(ISBN 978-3-030-58489-4/hbk;978-3-0.30-58492-4/pbk;978-1-030-58490-0/电子书)。xiii,第352页。(2020). 审核人:君年(安娜堡) MSC公司:82-02 82B26型 82年第35季度 80至02 80A22型 79年第35季度 93-02 93C20美元 86A40型 78A57型 78A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Koga}和textit{M.Krstic},材料相变PDE控制与估算。从添加剂制造到极地冰。查姆:Birkhäuser(2020;Zbl 1473.82004) 全文: 内政部
扬尼克·希尔斯 具有多个一般转换触发的模型检查混合Petri网。 (英语) Zbl 1446.68001号 穆斯特:穆斯特大学,Mathematisch-Naturwissenschaftliche-Fakultät,Fachbereich Mathematik und Informatik(Diss.)。216页。(2020).MSC公司:68-02 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hüls},具有多个一般转换触发的模型检查混合Petri网。穆斯特:穆斯特大学,Mathematisch-Naturwissenschaftliche-Fakultät,Fachbereich Mathematik und Informatik(Diss.)(2020;Zbl 1446.68001)
埃米利奥·穆尼奥斯·韦拉斯科(编辑);安娜·奥扎基(编辑);马丁·西奥博尔德(编辑) 第27届时间表征与推理国际研讨会。《时代》2020,2020年9月23日至25日,意大利Bozen-Bolzano。诉讼程序。 (英语) Zbl 1443.68018号 LIPIcs–莱布尼茨国际信息学会议录178.瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-167-2)。xi,19篇文章,非连续页面,仅电子版,开放存取(2020年)。MSC公司:68-06 03B44号 第68季度第60季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Muñoz-Velasco}(ed.)等人,第27届时间表征和推理国际研讨会。《时代》2020,2020年9月23日至25日,意大利博赞博尔扎诺。诉讼程序。Wadern:Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社(2020;兹bl 1443.68018) 全文: 内政部 链接
马克·贝泽姆(编辑);阿西亚·马布比(编辑) 第25届国际校样和程序类型会议。2019年6月11日至14日,挪威奥斯陆。诉讼程序。 (英语) Zbl 1445.68007号 LIPIcs–莱布尼茨国际信息学会议录175.韦德恩:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-95977-158-0)。ix,10篇文章,非连续页面,仅电子版,开放存取(2020年)。MSC公司:68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}(编辑)和textit{A.Mahboubi}(编),第25届国际校样和程序类型会议。2019年6月11日至14日,挪威奥斯陆。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨宫(Leibniz Zentrum für Informatik)(2020;Zbl 1445.68007) 全文: 内政部 链接
第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。 (英语) 兹比尔1434.93002 纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-7018-9)。33篇文章,未连续翻页(2020年)。MSC公司:93-06 68-06 65年第68季度 第68季度第60季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)(2020;Zbl 1434.93002) 全文: 内政部
亚历山德拉·迪·皮耶罗(编辑);帕斯夸尔马拉卡里亚(编辑);拉贾戈帕尔·纳加拉扬(编辑) 从lambda演算到通过程序分析的网络安全。在克里斯·汉金退休之际献给他的散文。 (英语) Zbl 1435.68026号 计算机科学课堂讲稿12065.查姆:施普林格(ISBN 978-3-030-41102-2/pbk;978-3-0030-41103-9/电子书)。xiv,293页。(2020).MSC公司:68-06 03B70号 68平方米25 68号30 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Pierro}(编辑)等人,通过程序分析从lambda演算到网络安全。在克里斯·汉金退休之际为他撰写的论文。查姆:施普林格(2020;Zbl 1435.68026) 全文: 内政部
德克·拜尔(编辑);达米安·祖弗里(编辑) 验证、模型检查和抽象解释。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。 (英语) 兹比尔1429.68006 计算机科学课堂讲稿11990.查姆:施普林格(ISBN 978-3-030-39321-2/pbk;978-3-0030-39322-9/电子书)。xiv,第471页。(2020).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}(编辑)和\textit{D.Zufferey}(编),验证,模型检查和抽象解释。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:施普林格(2020;Zbl 1429.68006) 全文: 内政部
王家村;威廉·特普芬哈特 计算机科学中的形式化方法。 (英语) Zbl 1436.68002号 数学教科书佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-22570-4/hbk;978-1-4987-7532-8/pbk;978-0-429-18418-5/电子书)。xvii,第294页。(2020). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:68-01 03B44号 03B70号 65年第68季度 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}和\textit{W.Tepfenhart},计算机科学中的形式化方法。佛罗里达州博卡拉顿:CRC出版社(2020;Zbl 1436.68002) 全文: 内政部
弗莱明·尼尔森;汉内·里斯·尼尔森 形式化方法。开胃菜。 (英语) Zbl 1474.68003号 查姆:施普林格(ISBN 978-3-030-05155-6/hbk;978-3-0.30-05156-3/电子书)。十七、160页。(2019).MSC公司:68-01 68号30 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}和\textit{H.Riis-Nielson},形式方法。开胃菜。查姆:施普林格(2019;Zbl 1474.68003) 全文: 内政部
伊曼纽尔·德·安吉利斯(编辑);格里戈里·费迪尤科维奇(编辑);尼科斯·齐夫列科斯(编辑);马蒂亚斯·乌尔布里奇(编辑) 第六次霍恩条款验证与合成研讨会会议记录,2019年HCVS,第三次研讨会《程序等价性和关系推理》,PERR 2019,捷克共和国布拉格,2019年4月6日至7日。 (英语) Zbl 1441.68008号 理论计算机科学电子论文集(EPTCS)296.滑铁卢:开放出版协会。75页。,仅电子、开放存取(2019年)。MSC公司:68-06 03B70号 68号30 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}(ed.)等人,第六次霍恩条款验证与合成研讨会会议记录,2019年HCVS,以及第三次研讨会《程序等价性和关系推理》,PERR 2019,捷克共和国布拉格,2019年4月6-7日。滑铁卢:开放出版协会(OPA)(2019;Zbl 1441.68008) 全文: 内政部 arXiv公司 链接
杰罗姆·勒鲁(编辑);Jean-Francois拉斯金(编辑) 第十届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2019年9月2日至3日,法国波尔多,GandALF 2019。 (英语) Zbl 1436.68031号 理论计算机科学电子论文集(EPTCS)305.滑铁卢:开放出版协会(OPA)。182页。,仅电子、开放存取(2019年)。MSC公司:68-06 65年第68季度 第68季度第60季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}(编辑)和\textit{J.-F.Raskin}(主编),第十届游戏、自动机、逻辑和形式验证国际研讨会论文集,2019年甘道夫,法国波尔多,2019月2-3日。滑铁卢:开放出版协会(OPA)(2019;Zbl 1436.68031) 全文: 内政部 arXiv公司 链接
阿尔卡德夫查托帕迪亚伊(编辑);保罗·加斯丁(编辑) 第39届IARCS软件技术和理论计算机科学基础年会,2019年12月11-13日于印度孟买举行。 (英语) Zbl 1434.68021号 LIPIcs–莱布尼茨国际信息学会议录150.瓦登:达格斯图尔宫-莱布尼茨天顶信息馆(ISBN 978-3-95977-131-3)。xii,51篇文章,非连续页面,仅电子版,开放存取(2019年)。MSC公司:68-06 68号30 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Chattopadhyay}(ed.)和\textit{P.Gastin}(edi.),第39届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2019,印度孟买,2019年12月11-13日。瓦登:达格斯图尔宫——莱布尼茨宫(Leibniz Zentrum für Informatik)(2019;Zbl 1434.68021) 全文: 内政部 链接
彼得·戴比杰(编辑);何塞·埃斯皮里托·桑托(编辑);路易斯·平托(编辑) 2018年6月18日至21日在葡萄牙布拉加举行的第24届国际校样和程序类型会议,2018年types。 (英语) Zbl 1433.68014号 LIPIcs–莱布尼茨国际信息学会议录130.瓦德恩:《达格斯图尔城堡-莱布尼茨信息学》(ISBN 978-3-95977-106-1)。7篇文章,非连续页面,仅电子版,开放存取(2019年)。MSC公司:68-06 03B70号 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Dybjer}(ed.)等人,第24届国际校样和程序类型会议,2018年类型,葡萄牙布拉加,2018年6月18-21日。Wadern:达格斯图尔宫——莱布尼茨宫(Leibniz Zentrum für Informatik)(2019;Zbl 1433.68014) 全文: 内政部 链接
鲁道夫·伯格哈默 计算机科学数学。基本概念、结构及其应用。第三次扩展和更新版本。(Mathematik für die Informatik.Grundlegende Begriffe,Strukturen und ihre Anwendung) (德语) Zbl 1456.68002号 威斯巴登:Springer Vieweg(ISBN 978-3-658-25808-5/pbk;978-3-558-25809-2/ebook)。xii,426页。(2019). 审核人:迪特尔·里贝塞尔(吕内堡) MSC公司:68-01 00A06号 03B05号 03B10号机组 03E20型 68号01 68号30 68第05页 第68季度第60季度 68兰特 68周01 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer},Mathematik füR die Informatik,《信息》。Grundlegende Begriffe、Strukturen和ihre Anwendung。第三次扩展和更新版本。威斯巴登:斯普林格·维埃格(2019;Zbl 1456.68002) 全文: 内政部
罗纳德·哈恩 多项式层次结构中的参数化复杂性。将参数化复杂性理论扩展到更高层次。 (英语) Zbl 1435.68010号 计算机科学课堂讲稿11880.柏林:施普林格出版社(ISBN 978-3-662-60669-8/pbk;978-3-662-60670-4/ebook)。xi,第398页。(2019).MSC公司:68-02 03B44号 2015年第68季度 68年第27季度 第68季度第60季度 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.deHaan},多项式层次结构中的参数化复杂性。将参数化复杂性理论扩展到更高层次。柏林:施普林格(2019;Zbl 1435.68010) 全文: 内政部
格雷厄姆·赫顿(编辑) 程序构造的数学。2019年10月7日至9日在葡萄牙波尔图举行的MPC 2019第13届国际会议。诉讼程序。 (英语) 兹比尔1428.68024 计算机科学课堂讲稿11825.查姆:施普林格(ISBN 978-3-030-33635-6/pbk;978-3-0.30-33636-3/ebook)。viii,467页。(2019).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}(编辑),程序构造的数学。2019年10月7日至9日,葡萄牙波尔图,第13届国际会议,MPC 2019。诉讼程序。查姆:施普林格(2019;Zbl 1428.68024) 全文: 内政部
陈玉芳(编辑);Cheng,Chih-Hong先生(编辑);哈维尔·埃斯帕尔扎(编辑) 用于验证和分析的自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。 (英语) Zbl 1428.68012号 计算机科学课堂讲稿11781.查姆:施普林格(ISBN 978-3-030-31783-6/pbk;978-3-0030-31784-3/电子书)。xi,第552页。(2019).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Y.-F.Chen}(编辑)等,《验证和分析自动化技术》。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:施普林格(2019;Zbl 1428.68012) 全文: 内政部
巴巴拉·科尼格(编辑) 第35届编程语义数学基础会议记录,MFPS XXXV,英国伦敦,2019年6月4-7日。 (英语) Zbl 1428.68030号 理论计算机科学电子笔记347.阿姆斯特丹:爱思唯尔。第324页。,仅电子、开放存取(2019年)。MSC公司:68-06 68号30 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.König}(ed.),第35届编程语义数学基础会议论文集,MFPS XXXV,英国伦敦,2019年6月4-7日。阿姆斯特丹:Elsevier(2019;Zbl 1428.68030) 全文: 链接
弗雷德·梅斯纳德(编辑);彼得·斯图基(Peter J.Stuckey)。(编辑) 基于逻辑的程序合成和转换。2018年9月4日至6日,第28届国际研讨会,2018年LOPSTR,德国法兰克福/梅因。修订了选定的论文。 (英语) 兹比尔1425.68014 计算机科学课堂讲稿11408.查姆:施普林格(ISBN 978-3-030-13837-0/pbk;978-3-0.30-13838-7/电子书)。xx,203页。(2019).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mesnard}(编辑)和textit{P.J.Stuckey}(主编),基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修订了选定的论文。查姆:斯普林格(2019;Zbl 1425.68014) 全文: 内政部
约翰·甘珀(编辑);苏菲·平奇纳特(编辑);圭多·西亚维科(编辑) 第26届时间表征和推理国际研讨会,《时代》2019年。2019年10月16日至19日,西班牙马拉加。诉讼程序。 (英语) Zbl 1423.68024号 LIPIcs–莱布尼茨国际信息学会议录147.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-127-6)。xi,20篇文章,非连续页面,仅电子版,开放存取(2019年)。MSC公司:68-06 03B44号 第68季度第60季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gamper}(ed.)等人,第26届时间表征和推理国际研讨会,《时代》2019年。西班牙马拉加,2019年10月16-19日。诉讼程序。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2019;Zbl 1423.68024) 全文: 内政部 链接
法布里西奥·比昂迪(编辑);托马斯·吉文·威尔森(编辑);Legay、Axel(编辑) 模型检查软件。2019年7月15日至16日,第26届国际研讨会,SPIN 2019,中国北京。诉讼程序。 (英语) Zbl 1425.68004号 计算机科学课堂讲稿11636.商会:施普林格出版社(ISBN 978-3-030-30922-0/pbk;978-3-030-30923-7/电子书)。x、 第261页。(2019).MSC公司:68-06 68纳米99 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Biondi}(编辑)等人,模型检查软件。2019年7月15日至16日,第26届国际研讨会,SPIN 2019,中国北京。诉讼程序。查姆:施普林格(2019;Zbl 1425.68004) 全文: 内政部
佩德罗·里贝罗(编辑);奥古斯托·桑帕约(编辑) 统一编程理论。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。 (英语) 兹伯利1419.68018 计算机科学课堂讲稿11885.查姆:施普林格(ISBN 978-3-030-31037-0/pbk;978-3-0.30-31038-7/电子书)。xiv,217页。(2019).MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ribeiro}(编辑)和textit{A.Sampaio}(主编),统一编程理论。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆:斯普林格(2019;Zbl 1419.68018) 全文: 内政部
德克·拜尔(编辑);香塔尔·凯勒(编辑) 测试和证明。2019年10月9日至11日,作为2019年第三届世界正式方法大会的一部分,在葡萄牙波尔图举行了第十三届国际会议,即2019年TAP。诉讼程序。 (英语) Zbl 1419.68005号 计算机科学课堂讲稿11823.查姆:施普林格(ISBN 978-3-030-31156-8/pbk;978-3-0030-31157-5/电子书)。x、 207页。(2019).MSC公司:68-06 第68季度第60季度 68吨15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}(编辑)和\textit{C.Keller}(编辑),测试和证明。2019年10月9日至11日,作为2019年第三届世界正式方法大会的一部分,在葡萄牙波尔图举行了第十三届国际会议,即2019年TAP。诉讼程序。查姆:施普林格(2019;Zbl 1419.68005) 全文: 内政部
伊西尔·迪利格(编辑);塞尔达尔·塔西兰(编辑) 计算机辅助验证。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第二部分。 (英语) Zbl 1416.68008号 计算机科学课堂讲稿11562.查姆:施普林格(ISBN 978-3-030-25542-8/pbk;978-3-0030-25543-5/电子书)。第xx页,第549页。(2019).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{I.Dillig}(编辑)和\textit{S.Tasiran}(编),计算机辅助验证。2019年7月15日至18日,第31届国际会议,CAV 2019,美国纽约市。诉讼程序。第二部分。查姆:施普林格(2019;Zbl 1416.68008) 全文: 内政部
伊西尔·迪利格(编辑);塞尔达尔·塔西兰(编辑) 计算机辅助验证。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分。 (英语) 兹比尔1416.68007 计算机科学课堂讲稿11561.查姆:施普林格(ISBN 978-3-030-25539-8/pbk;978-3-0030-25540-4/电子书)。xix,673页。(2019).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{I.Dillig}(编辑)和\textit{S.Tasiran}(编),计算机辅助验证。2019年7月15日至18日,第31届国际会议,CAV 2019,美国纽约市。诉讼程序。第一部分查姆:施普林格(2019;Zbl 1416.68007) 全文: 内政部
Nakao,Mitsuhiro T。;迈克尔·普卢姆;渡边吉隆 偏微分方程的数值验证方法和计算机辅助证明。 (英语) Zbl 1462.65004号 计算数学中的Springer级数53.新加坡:Springer(ISBN 978-981-13-7668-9/hbk;978-981-3-7669-6/电子书)。xiii,467页。(2019). 审核人:Rózsa Horváth-Bokor(Budakalász) MSC公司:65-02年 35-02 6500万 65新元 65G20个 35J25型 第35页 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Nakao}等人,偏微分方程的数值验证方法和计算机辅助证明。新加坡:施普林格(2019;Zbl 1462.65004) 全文: 内政部