×

兹马思-数学第一资源

找到124份文件(结果1-100)

100
马查克斯
Chatzigeorgiou,Alexander(编辑)等人,《SOFSEM 2020:计算机科学理论与实践》。第46届国际信息学理论与实践趋势国际会议,SOFSEM 2020,利马索尔,塞浦路斯,2020年1月20日至24日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12011、161-173(2020年)。
理学硕士:68Q60型 68Q45号 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
陈玉芳(编),自动化验证与分析技术。第17届国际研讨会,2019年ATVA,台湾台北,2019年10月28-31日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。117816369-386(2019年)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Potapov,Igor(编辑)等,第43届计算机科学数学基础国际研讨会。2018年8月27-31日,英国利物浦,2018年8月27日至31日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。117,第46条,第16页。(2018年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lokam,Satya(ed.)等人,第37届IARC软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12日至14日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。93,第38条,第16页。(2018年)。
理学硕士:68N30型 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lokam,Satya(ed.)等人,第37届IARC软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12日至14日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。93,第26条,第13页。(2018年)。
理学硕士:68N30型 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
乔治·韦伯(George Web)等人。第14届国际葡萄酒大会,2018年12月15日至17日,英国牛津。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11316,21-36(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Clarke,Edmund M.(ed.)等人,《模型检查手册》。查姆:斯普林格(ISBN 978-3-319-10574-1/hbk;978-3-319-10575-8/电子书)。921-962(2018年)。
理学硕士:68Q60型 68Q45号 91A43型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Legay,Axel(ed.)等人,《用于系统构建和分析的工具和算法》。第23届国际会议,2017年TACAS,作为欧洲软件理论与实践联合会议的一部分,2017年4月22日至29日,瑞典乌普萨拉,ETAPS 2017。诉讼程序。第一部分:柏林:斯普林格。选择。笔记计算。科学。10205443-460(2017年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Meyer,Roland(ed.)等人,第28届并发理论国际会议。CONCUR 2017,德国柏林,2017年9月5日至8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。第85条,第21条,第18页。(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Larsen,Kim G.(ed.)等人,《第42届计算机科学数学基础国际研讨会》,MFCS 2017,2017年8月21日至25日,丹麦奥尔堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。83,第55条,第13页。(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Larsen,Kim G.(ed.)等人,《第42届计算机科学数学基础国际研讨会》,MFCS 2017,2017年8月21日至25日,丹麦奥尔堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。83,第39条,第14页。(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
塞本。系统。肛门。 53号,第5号,675-683(2017年); 翻译自基伯恩。西斯特。肛门。2017年第5期,第22-33期(2017年)。
理学硕士:68Q60型 03D05年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Esparza,Javier(ed.)等人,《软件科学与计算结构基础》。第20届国际会议,FOSACS 2017,作为欧洲软件理论与实践联合会议的一部分举行,2017年4月22日至29日,瑞典乌普萨拉,2017年ETAPS。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。10203145-161(2017年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bouajjani,Ahmed(ed.)等人,验证、模型检查和抽象解释。2017年第18届国际会议,2017年1月15日至17日,法国巴黎。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。1014555-72(2017年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
De Nicola,Rocco(ed.)等人,《软件工程与形式化方法》。第14届国际会议,SEFM 2016,作为STAF 2016的一部分,于2016年7月4日至8日在奥地利维也纳举行。诉讼程序。查姆:斯普林格(ISBN 978-3-319-41590-1/pbk;978-3-319-41591-8/电子书)。计算机科学课堂讲稿9763304-320(2016)。
理学硕士:91A43型 91A06型 91A65型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Gairing,Martin(ed.)等人,《算法博弈论》。第九届国际研讨会,SAGT 2016,英国利物浦,2016年9月19-21日。诉讼程序。柏林:斯普林格(ISBN 978-3-662-53353-6/pbk;978-3-662-53354-3/电子书)。计算机科学课堂讲稿9928153-166(2016)。
理学硕士:91A43型 91B32型 91A25型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2016年《测试理论与应用》(2016年版)。第19届国际会议,法国波尔多,2016年7月5日至8日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。9710302-320(2016年)。
理学硕士:68问25 68吨20
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kulikov,Alexander S.(ed.)等人,《计算机科学——理论与应用》。第11届俄罗斯国际计算机科学研讨会,CSR 2016,俄罗斯圣彼得堡,2016年6月9日至13日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。9691,1-15(2016年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Jacobs,Bart(ed.)等人,《软件科学与计算结构基础》。第19届国际会议,Fossac2016,作为欧洲软件理论与实践联合会议的一部分,2016年4月2日至8日,荷兰埃因霍温,ETAPS 2016。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。9634353-369(2016年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
交互自动机的协调。 (英语。俄文原件) Zbl 1328.68110号
塞本。系统。肛门。 51号,第5676-686号(2015年); 翻译自基伯恩。西斯特。肛门。2015年第2期,第13-25期(2015年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
哈尔德尔松,马格努斯M.(编辑)等,自动机,语言和编程。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。选择。笔记计算。科学。9135108-120(2015年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2012年1月17日,《离散算法研讨会》,日本京都,2012年1月17日。宾夕法尼亚州费城:工业与应用数学学会(SIAM);纽约,纽约:计算机机械协会(ACM)。1386-1399(2012年)。
PDF格式 BibTeX公司 XML 引用
全文: 链接
Bezhanishvili,Nick(编辑)等,关于逻辑和计算的讲座。埃斯利2010哥本哈根,丹麦,2010年8月,埃斯利2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:斯普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388210-263(2012)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Fariñas del Cerro,Luis(ed.)等人,《人工智能中的逻辑》。2012年9月26日至28日,法国图卢兹,第13届欧洲会议。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-33352-1/pbk)。计算机科学课堂讲稿7519。人工智能课堂讲稿,450-462(2012)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kuncak,Viktor(编辑)等人,验证,模型检查和抽象解释。2012年第13届国际会议,美国宾夕法尼亚州费城,2012年1月22日至24日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148283-298(2012)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kuncak,Viktor(编辑)等人,验证,模型检查和抽象解释。2012年第13届国际会议,美国宾夕法尼亚州费城,2012年1月22日至24日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148152-168(2012)。
理学硕士:94A60型 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bieliková,Mária(ed.)等人,SOFSEM 2012:计算机科学理论与实践。第38届计算机科学理论与实践趋势会议,2012年1月21日至27日,捷克共和国。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-27659-0/pbk)。计算机科学课堂讲稿7147554-565(2012)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Fahrenberg,Uli(ed.)等人,《时间系统的形式化建模与分析》。2011年9月21-23日,丹麦奥尔堡,第9届国际会议,格式2011。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919145-159(2011)。
理学硕士:68Q45号 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Katoen,Joost Pieter(编辑)等人,CONCUR 2011–并发理论。第22届国际会议,CONCUR 2011,德国亚琛,2011年9月6日至9日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿6901512-527(2011)。
理学硕士:6885年 93B50型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Katoen,Joost Pieter(编辑)等人,CONCUR 2011–并发理论。第22届国际会议,CONCUR 2011,德国亚琛,2011年9月6日至9日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿6901497-511(2011)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Manna,Zohar(编辑)等人,验证时间。纪念埃米尔·普努埃利的文章。柏林:斯普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学课堂讲稿6200202-259(2010)。
理学硕士:68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Blass,Andreas(ed.)等人,《逻辑与计算领域》。在尤里·古列维奇70岁生日之际献给他的文章。柏林:斯普林格出版社(ISBN 978-3-642-15024-1/pbk)。计算机科学讲义6300,147-164(2010)。
理学硕士:68Q45号 03D05年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
塞本。系统。肛门。 第45期,第5671-679号(2009年); 翻译自基伯恩。西斯特。肛门。2009年,第5期,第3-12期(2009年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ouakine,Joël(ed.)等人,《时间系统的形式化建模与分析》。2009年9月14日至16日,匈牙利布达佩斯,2009年格式第七届国际会议。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-04367-3/pbk)。《计算机科学》第5813-148期讲稿。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bravetti,Mario(ed.)等人,CONCUR 2009–并发理论。2009年9月1日至4日,意大利博洛尼亚,CONCUR 2009年第20届国际会议。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学课堂讲稿5710431-447(2009)。
理学硕士:93B50型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Královič,Rastislav(编辑)等人,《计算机科学数学基础》,2009年。第34届国际研讨会,2009年MFCS,Novy Smokovec,High Tatras,斯洛伐克,2009年8月24-28日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-03815-0/pbk)。计算机科学课堂讲稿5734307-318(2009)。
理学硕士:68Q60型 91A43型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kowalewski,Stefan(ed.)等人,《系统构建和分析的工具和算法》。第15届国际会议,2009年TACAS,作为欧洲软件理论与实践联合会议的一部分,2009年3月22日至29日在英国约克举行。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学课堂讲稿5505139-154(2009)。
理学硕士:68N30型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kowalewski,Stefan(ed.)等人,《系统构建和分析的工具和算法》。第15届国际会议,2009年TACAS,作为欧洲软件理论与实践联合会议的一部分,2009年3月22日至29日在英国约克举行。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学课堂讲稿5505992-106(2009)。
理学硕士:68Q60型 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

文件类型
审查状态
全部的 前5名
作者
全部的 前5名
出版年份
全部的 前3名
分类
全部的 前3名
软件