×

兹马思-数学第一资源

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

100
马查克斯
PDF格式 BibTeX公司 XML 引用
全文: 内政部
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Sergeyev,Yaroslav D.(ed.)等人,《数值计算:理论和算法》。第三届国际会议,2019年NUMTA,意大利克罗托内,2019年6月15日至21日。修订精选论文。第一部分:查姆:斯普林格。选择。笔记计算。科学。11973318-325(2020年)。
理学硕士:68平方米 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Klöfkorn,Robert(ed.)等人,《复杂应用的有限体积IX——方法、理论方面、示例》。FVCA 9,挪威卑尔根,2020年6月15日至19日。分两卷。第一卷和第二卷。查姆:斯普林格。斯普林格程序。数学。Stat.323715-723(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义11665查姆:斯普林格(ISBN 978-3-030-21484-5/pbk;978-3-030-21485-2/电子书)。十三,498页。(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Havelund,Klaus(编辑)等人,《形式方法》。第22届国际研讨会,FM 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月15-17日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10951550-567(2018年)。
理学硕士:6860问题 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Havelund,Klaus(编辑)等人,《形式方法》。第22届国际研讨会,FM 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月15-17日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10951523-541(2018年)。
理学硕士:68Q60型 68N19 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
阿达马茨基,安德鲁(编辑),可逆性和普遍性。在森田贤一70岁生日之际送给他的论文。查姆:斯普林格。紧急情况。复杂。计算机。30243-267(2018年)。
理学硕士:68周40 68N19 68分05秒
PDF格式 BibTeX公司 XML 引用
全文: 内政部
艾哈迈德,阿马尔(编辑),《编程语言与系统》。第27届欧洲编程研讨会,ESOP 2018,作为欧洲软件理论与实践联合会议的一部分举行,2018年ETAPS,希腊塞萨洛尼基,2018年4月14-20日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10801、940-967(2018年)。
理学硕士:68N30型 68N19 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
艾哈迈德,阿马尔(编辑),《编程语言与系统》。第27届欧洲编程研讨会,ESOP 2018,作为欧洲软件理论与实践联合会议的一部分举行,2018年ETAPS,希腊塞萨洛尼基,2018年4月14-20日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10801885-911(2018年)。
理学硕士:68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
艾哈迈德,阿马尔(编辑),《编程语言与系统》。第27届欧洲编程研讨会,ESOP 2018,作为欧洲软件理论与实践联合会议的一部分举行,2018年ETAPS,希腊塞萨洛尼基,2018年4月14-20日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10801856-882(2018年)。
理学硕士:68N30型 68N19 68问55 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
艾哈迈德,阿马尔(编辑),《编程语言与系统》。第27届欧洲编程研讨会,ESOP 2018,作为欧洲软件理论与实践联合会议的一部分举行,2018年ETAPS,希腊塞萨洛尼基,2018年4月14-20日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10801799-826(2018年)。
理学硕士:68米14 68米15 68N19 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
艾哈迈德,阿马尔(编辑),《编程语言与系统》。第27届欧洲编程研讨会,ESOP 2018,作为欧洲软件理论与实践联合会议的一部分举行,2018年ETAPS,希腊塞萨洛尼基,2018年4月14-20日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10801771-798(2018年)。
理学硕士:68N15 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
艾哈迈德,阿马尔(编辑),《编程语言与系统》。第27届欧洲编程研讨会,ESOP 2018,作为欧洲软件理论与实践联合会议的一部分举行,2018年ETAPS,希腊塞萨洛尼基,2018年4月14-20日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10801、442-471(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
艾哈迈德,阿马尔(编辑),《编程语言与系统》。第27届欧洲编程研讨会,ESOP 2018,作为欧洲软件理论与实践联合会议的一部分举行,2018年ETAPS,希腊塞萨洛尼基,2018年4月14-20日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10801、415-441(2018年)。
理学硕士:68N30型 68N19 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
艾哈迈德,阿马尔(编辑),《编程语言与系统》。第27届欧洲编程研讨会,ESOP 2018,作为欧洲软件理论与实践联合会议的一部分举行,2018年ETAPS,希腊塞萨洛尼基,2018年4月14-20日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10801、385-414(2018年)。
理学硕士:68N30型 03B70型 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
艾哈迈德,阿马尔(编辑),《编程语言与系统》。第27届欧洲编程研讨会,ESOP 2018,作为欧洲软件理论与实践联合会议的一部分举行,2018年ETAPS,希腊塞萨洛尼基,2018年4月14-20日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10801、357-384(2018年)。
理学硕士:68N30型 03B70型 68N19 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Barthe,Gilles(编辑)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:轻松。史诗服务器。计算机。57515-533(2018年)。
理学硕士:68N15 68N18 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lambers,Leen(ed.)等人,《图变换》。2018年ICGT第11届国际会议,作为2018年STAF的一部分,于2018年6月25日至26日在法国图卢兹举行。诉讼程序。查姆:斯普林格(ISBN 978-3-319-92990-3/pbk;978-3-319-92991-0/电子书)。计算机科学课堂讲稿10887,63-78(2018年)。
理学硕士:68N15 68N19 68吨20 68周20分
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义10795查姆:斯普林格(ISBN 978-3-319-90103-9/pbk;978-3-319-90104-6/电子书)。x、 219便士。(2018年)。
理学硕士:68-06年 68N15 68N19 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Czumaj,Artur(编辑),《第29届ACM-SIAM离散算法研讨会论文集》,SODA 2018,新奥尔良,美国,2018年1月7日至10日。宾夕法尼亚州费城:工业与应用数学学会(SIAM);纽约,纽约:计算机械协会(ACM)(ISBN 978-1-61197-503-1/电子书)。156-171(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 链接
纽约,纽约:Springer/Apress(isbn978-1-4842-3107-4/pbk;978-1-4842-3108-1/ebook)。二十一,245页。(2018年)。
理学硕士:68-01年 68N15 68N18 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
刘少英主编,结构化面向对象形式语言与方法。第六届国际研讨会,SOFL+MSVL 2016,日本东京,2016年11月15日。修订精选论文。查姆:斯普林格。选择。笔记计算。科学。1018932-51(2017年)。
理学硕士:68Q60型 68N15 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
刘少英主编,结构化面向对象形式语言与方法。第六届国际研讨会,SOFL+MSVL 2016,日本东京,2016年11月15日。修订精选论文。查姆:斯普林格。选择。笔记计算。科学。10189,3-14(2017年)。
理学硕士:68N15 68N19 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Larsen,Kim G.(ed.)等人,《第42届计算机科学数学基础国际研讨会》,MFCS 2017,2017年8月21日至25日,丹麦奥尔堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。83,第68条,第17页。(2017年)。
理学硕士:68N19 68N30型 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ranzato,Francesco(编辑),《静态分析》。第24届国际研讨会,SAS 2017,美国纽约,2017年8月30日至9月1日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10422,46-65(2017年)。
理学硕士:68N19 68问55 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Eiter,Thomas(ed.)等人,LPAR-21。第21届编程逻辑、人工智能和推理国际会议,博茨瓦纳莫恩,2017年5月8日至12日。精选论文。曼彻斯特:轻松。EPiC Series in Computing 46,368-384(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Paskevich,Andrei(编辑)等人,验证软件。理论、工具和实验。2017年7月22日至23日,德国海德堡,VSTTE 2017年第9届国际会议。修订精选论文。查姆:斯普林格(ISBN 978-3-319-72307-5/pbk;978-3-319-72308-2/电子书)。计算机科学课堂讲稿10712191-209(2017)。
理学硕士:68N19 03B70型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Paskevich,Andrei(编辑)等人,验证软件。理论、工具和实验。2017年7月22日至23日,德国海德堡,VSTTE 2017年第9届国际会议。修订精选论文。查姆:斯普林格(ISBN 978-3-319-72307-5/pbk;978-3-319-72308-2/电子书)。计算机科学课堂讲稿10712170-190(2017)。
理学硕士:68Q60型 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Paskevich,Andrei(编辑)等人,验证软件。理论、工具和实验。2017年7月22日至23日,德国海德堡,VSTTE 2017年第9届国际会议。修订精选论文。查姆:斯普林格(ISBN 978-3-319-72307-5/pbk;978-3-319-72308-2/电子书)。计算机科学课堂讲稿10712,132-151(2017年)。
理学硕士:68N15 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士:68N15 68N19
PDF格式 BibTeX公司 XML 引用
Fatourou,Panagiota(ed.)等人,第20届分布式系统原理国际会议(OPODIS 2016),西班牙马德里,2016年12月13-16日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。70,第35条,第17页。(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Castagna,Giuseppe(ed.)等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,2017年1月15日至21日,法国巴黎,POPL'17。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。530-544(2017年)。
理学硕士:68N19 68N18 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Castagna,Giuseppe(ed.)等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,2017年1月15日至21日,法国巴黎,POPL'17。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。190-204(2017年)。
理学硕士:68牛顿 68N15 68N19 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Castagna,Giuseppe(ed.)等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,2017年1月15日至21日,法国巴黎,POPL'17。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。175-189(2017年)。
理学硕士:68N19 68N15
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Castagna,Giuseppe(ed.)等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,2017年1月15日至21日,法国巴黎,POPL'17。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。130-144(2017年)。
理学硕士:68N19 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Castagna,Giuseppe(ed.)等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,2017年1月15日至21日,法国巴黎,POPL'17。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。2017年3月18日。
理学硕士:68N19 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2017年ACM分布式计算原理研讨会论文集,PODC'17,华盛顿特区,美国,2017年7月25-27日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-4992-5)。97-99(2017年)。
理学硕士:68N19 68问25
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义10189查姆:斯普林格(ISBN 978-3-319-57707-4/pbk;978-3-319-57708-1/电子书)。x、 239页。(2017年)。
理学硕士:68-06年 68N15 68N19 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Steffen,Bernhard(ed.)等人,《2017年计算机科学理论与实践》。第43届国际计算机科学理论与实践趋势国际会议,2017年1月16日至20日,爱尔兰利默里克,会议记录。查姆:斯普林格。选择。笔记计算。科学。10139103-115(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Chechik,Marsha(ed.)等人,《系统构建和分析的工具和算法》。第22届国际会议,2016年TACAS,作为欧洲软件理论与实践联合会议的一部分,2016年4月2日至8日,荷兰埃因霍温,ETAPS 2016。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。9636833-850(2016年)。
理学硕士:68N30型 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

文件类型
审查状态
全部的 前5名
作者
全部的 前5名
串行