×

兹马思-数学第一资源

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

100
马查克斯
2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约,纽约:计算机机械协会(ACM)。327-340(2020年)。
理学硕士:03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2018,英国牛津,2018年7月9-12日。纽约,纽约:计算机机械协会(ACM)。649-658(2018年)。
理学硕士:03B40型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Miller,Dale(编辑),《第二届计算和演绎形式结构国际会议》。FSCD 2017,英国牛津,2017年9月3日至9日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。84,第20条,第18页。(2017年)。
理学硕士:03B40型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Altenkirch,Thorsten(编辑),《第13届lambda型结石及其应用国际会议》,TLCA'15,波兰华沙,2015年7月1日至3日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-87-3)。LIPIcs–莱布尼茨国际信息学论文集38,211-225(2015)。
理学硕士:68N18 03B40型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
PDF格式 BibTeX公司 XML 引用
全文: 内政部
PDF格式 BibTeX公司 XML 引用
全文: 内政部
经典量子引力 31,11号,物品编号115010,18页。(2014年); 更正同上。31号,第15号,物品编号159502,第3页。(2014年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士:82B31号 00A35型 00A79号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Birkedal,Lars(编辑),《软件科学和计算结构基础》。2012年第15届国际会议,作为欧洲软件理论与实践联合会议的一部分,2012年3月24日至4月1日,爱沙尼亚塔林,2012年ETAPS。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-28728-2/pbk)。计算机科学课堂讲稿7213316-330(2012)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bezem,Marc(编辑),《计算机科学逻辑》(CSL'11)。2011年9月12日至15日,挪威卑尔根,第25届国际研讨会,EACSL第20届年会。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-32-3)。LIPIcs–莱布尼茨国际信息学论文集12396-411,电子版(2011)。
理学硕士:68N18 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接
理学硕士:83F05型 85A40型 83B05型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2010年9月27日至29日,美国马里兰州巴尔的摩市第15届ACM SIGPLAN函数式编程国际会议论文集。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-60558-794-3)。ACM SIGPLAN公告45,第9号,143-156(2010年)。
理学硕士:68N30型 68N18 68问55 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2009年1月18日Sigannal第36届美国语言规划学会年会论文集。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-60558-379-2)。90-101(2009年)。
理学硕士:68N30型 03B70型 68T15型 94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
PDF格式 BibTeX公司 XML 引用
Aldini,Alessandro(ed.)等人,《编程语言数量方面第五次研讨会论文集》(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记190,第3期,185-203(2007)。
理学硕士:6885年 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Mackie,Ian(编辑),《第三届术语图重写国际研讨会论文集》(TERMGRAPH 2006),奥地利维也纳,2006年4月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记176,No.1,113-137(2007)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Caires,Luís(ed.)等人,CONCUR 2007–并发理论。第18届国际会议,2007年9月3日至8日,葡萄牙里斯本。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-540-74406-1/pbk)。计算机科学课堂讲稿4703349-363(2007)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Dershowitz,Nachum(编辑)等,编程逻辑,人工智能和推理。2007年10月15日至19日,亚美尼亚埃里温,LPAR 2007第14届国际会议。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,393-407(2007)。
理学硕士:03F52型 03F07号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Fauser,Bertfried(ed.)等人,《量子引力》。数学模型和实验界。论文基于2005年7月28日至8月1日在德国布劳伯伦举行的“量子引力的数学和物理方面”研讨会上的演讲。巴塞尔:Birkhäuser(ISBN 3-7643-7977-4/hbk)。15-39(2007年)。
PDF格式 BibTeX公司 XML 引用
Brookes,Steven(编辑),《第19届编程语义学数学基础会议论文集》(MFPS XIX),加拿大蒙特利尔,2003年3月19-22日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记83,169-186,电子版(2003)。
理学硕士:68N15 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Aagaard,Mark D.(ed.)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年FMCAD,美国俄勒冈州波特兰,2002年11月6日至8日。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。2517360-377(2002年)。
理学硕士:68岁07岁 6885年
PDF格式 BibTeX公司 XML 引用
全文: 链接
Zakharyaschev,Michael(编辑)等,模态逻辑进展。第二卷。1998年10月16日至18日,瑞典乌普萨拉,第二届国际研讨会论文选集。加州斯坦福:CSLI出版物。中情局局长。笔记。119,1-34(2001年)。
理学硕士:03E70型 03B45型
PDF格式 BibTeX公司 XML 引用
Lämmerzahl,C.(ed.)等人,陀螺,时钟,干涉仪:在太空中测试相对论重力。柏林:斯普林格。选择。注意物理。562195-212(2001年)。
PDF格式 BibTeX公司 XML 引用
Parigot,Michel(ed.)等人,《编程逻辑与自动推理》。第七届国际会议,2000年11月6日至10日,法国留尼汪岛。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。1955年,第54-69页(2000年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
Burgess,C.P.(编辑)等人,《广义相对论和相对论天体物理学》。第八届加拿大会议论文,加拿大魁北克省蒙特雷尔,1999年6月10日至12日。梅尔维尔,纽约:美国物理学会。AIP确认程序。4932008-212(1999年)。
PDF格式 BibTeX公司 XML 引用
Piran,Tsvi(编辑),第8届Marcel Grossmann会议,讨论理论和实验广义相对论、引力和相对论场理论的最新发展。1997年6月22日至27日在以色列耶路撒冷举行的会议记录。分两卷。新加坡:世界科学。1207-1212(1999年)。
理学硕士:83B05型 83摄氏度
PDF格式 BibTeX公司 XML 引用
Piran,Tsvi(编辑),第8届Marcel Grossmann会议,讨论理论和实验广义相对论、引力和相对论场理论的最新发展。1997年6月22日至27日在以色列耶路撒冷举行的会议记录。分两卷。新加坡:世界科学。1167-1170(1999年)。
理学硕士:83B05型 83摄氏度
PDF格式 BibTeX公司 XML 引用
Piran,Tsvi(编辑),第8届Marcel Grossmann会议,讨论理论和实验广义相对论、引力和相对论场理论的最新发展。1997年6月22日至27日在以色列耶路撒冷举行的会议记录。分两卷。新加坡:世界科学。1078-1085(1999年)。
理学硕士:83C35型 83B05型 83C45型
PDF格式 BibTeX公司 XML 引用
Wing,Jeannette M.(编辑)等人,99年FM。形式方法。计算系统发展中形式方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。2卷。柏林:斯普林格出版社(ISBN 3-540-66587-0/vol1;3-540-66588-9/vol2)。选择。笔记计算。科学。1708年;1709776-793(1999年)。
理学硕士:94A62型 03B70型 68页25页
PDF格式 BibTeX公司 XML 引用
Flum,Jörg(ed.)等人,《计算机科学逻辑》。第13届国际研讨会,CSL'99。欧洲空间法委员会第八届年会,1999年9月20日至25日,西班牙马德里。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。1683546-561(1999年)。
理学硕士:03B40型 03B70型
PDF格式 BibTeX公司 XML 引用
Ciobanu,Gabriel(ed.)等人,《计算理论基础》。1999年第12届国际研讨会。罗马尼亚,1999年8月30日至9月3日。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。1684362-373(1999年)。
理学硕士:03天10分 6885年 03B25型
PDF格式 BibTeX公司 XML 引用
Ciobanu,Gabriel(ed.)等人,《计算理论基础》。1999年第12届国际研讨会。罗马尼亚,1999年8月30日至9月3日。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。1684年,第13-38页(1999年)。
理学硕士:18度C50 68问10 18D05型 16周30分
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

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