×

兹马思-数学第一资源

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

100
马查克斯
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约,纽约:计算机机械协会(ACM)。564-577(2020年)。
理学硕士:03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
J、 数学教学。朱西厄 18号,第4期,707-758(2019年); 勘误表同上。第18期,第1113期(2019年)。
PDF格式 BibTeX公司 XML 引用
逻辑学讲义48剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)(ISBN 978-1-108-41558-3/hbk;978-1-108-23423-8/电子书)。七,243页。(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cerone,Antonio(ed.)等人,《软件工程与形式化方法》。SEFM 2017并置研讨会:DataMod、FAACS、MSE、CoSim CPS和意大利特伦托FOCLASA,2017年9月4日至5日。修订精选论文。查姆:斯普林格。选择。笔记计算。科学。10729153-167(2018年)。
理学硕士:68米14 68米15 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cerone,Antonio(ed.)等人,《软件工程与形式化方法》。SEFM 2017并置研讨会:DataMod、FAACS、MSE、CoSim CPS和意大利特伦托FOCLASA,2017年9月4日至5日。修订精选论文。查姆:斯普林格。选择。笔记计算。科学。10729137-152(2018年)。
理学硕士:68平方米25 68M12
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Alves,Sandra(ed.)等人,《第12届逻辑与语义框架与应用研讨会论文选集》(LSFA 2017),巴西巴西利亚,2017年9月23-24日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。338203-218(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Fischer,Bernd(ed.)等人,《计算的理论方面——ICTAC 2018》。2018年10月16-19日,南非Stellenbosch,第15届国际学术讨论会。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11187376-395(2018年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士:18日50分 55P48页 18日20时 18点55分 55页43页 55岁35岁
PDF格式 BibTeX公司 XML 引用
Miller,Dale(编辑),《第二届计算和演绎形式结构国际会议》。FSCD 2017,英国牛津,2017年9月3日至9日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。84,第10条,第17页。(2017年)。
理学硕士:68Q60型 68问55 68V15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bonchi,Filippo(ed.)等人,第七届计算机科学代数和coalgebra会议,CALCO 2017,2017年6月14-16日,斯洛文尼亚卢布尔雅那。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。72,第15条,第15页。(2017年)。
理学硕士:68N30型 68问10 68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理论计算机科学专著。EATCS系列. 东京:斯普林格(ISBN 978-4-431-56604-5/hbk;978-4-431-56606-9/电子书)。十七,第457页。(2017年)。
理学硕士:68-02年 2005年第68季度 68问10 68Q45号 68Q80型 68周01分
PDF格式 BibTeX公司 XML 引用
全文: 内政部
阿斯特里斯克387巴黎:法国兴业银行(SMF)(ISBN 978-2-85629-852-7/pbk)。七,161页。(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 阿尔十四
Cook,Matthew(ed.)等人,《细胞自动机与离散复杂系统》。第22届IFIP WG 1.5国际研讨会,AUTOMATA 2016,瑞士苏黎世,2016年6月15日至17日。诉讼程序。查姆:斯普林格(ISBN 978-3-319-39299-8/pbk;978-3-319-39300-1/电子书)。计算机科学课堂讲稿966463-76(2016)。
理学硕士:68Q80型 37B15号 2005年第68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Sommaruga,Giovanni(编辑)等人,图灵革命。他关于可计算性思想的影响。查姆:Birkhäuser/Springer(ISBN 978-3-319-22155-7/hbk;978-3-319-22156-4/电子书)。105-126(2015年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lutz,Carsten(ed.)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。9322256-271(2015年)。
理学硕士:68V15型 03B16号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Voronkov,Andrei(编辑)等人,《系统信息学的观点》。2014年6月24日至27日,俄罗斯圣彼得堡,PSI 2014第9届国际埃尔索夫信息学会议。修订精选论文。柏林:斯普林格。选择。笔记计算。科学。897476-91(2015年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Matthes,Ralph(ed.)等人,《第19届国际校样和程序类型会议》,2013年4月22日至26日,法国图卢兹。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-72-9)。LIPIcs–莱布尼茨国际信息学论文集26,230-250(2014)。
理学硕士:68牛顿 68N18
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2014年9月1日至3日,瑞典哥德堡,第19届ACM SIGPLAN函数式编程国际会议记录,ICFP'14。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-2873-9)。363-376(2014年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2014年9月1日至3日,瑞典哥德堡,第19届ACM SIGPLAN函数式编程国际会议记录,ICFP'14。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-2873-9)。349-361(2014年)。
理学硕士:68N18 68问55 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bonsangue,M.(编辑),《计算机科学中的生态学方法》。第12届IFIP工作组1.3国际研讨会,2014年CMCS,与2014年ETAPS合用,法国格勒诺布尔,2014年4月5日至6日。修订精选论文。柏林:斯普林格(ISBN 978-3-662-44123-7/pbk;978-3-662-44124-4/电子书)。计算机科学课堂讲稿8446225-244(2014)。
理学硕士:68问65 03A10号 18B20型 93A30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
范布雷格尔,弗兰克(编辑)等人,《心灵的地平线》。向Prakash Panangaden致敬。在普拉卡什·帕南加登60岁生日之际献给他的散文。柏林:斯普林格出版社(ISBN 978-3-319-06879-4/pbk)。计算机科学课堂讲稿8464146-167(2014)。
理学硕士:68问65 18摄氏度 28A80型 2005年第68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
《软件科学与计算结构基础》,Anca(编辑)。第17届国际会议,Fossac2014,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2014,法国格勒诺布尔,2014年4月5日至13日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-54829-1/pbk)。计算机科学课堂讲稿8412426-440(2014)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士:15B36型 20D60 20K01号 20F05年 11Y16年 2005年第68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接
Tannen,Val(ed.)等人,在计算理论和实践中寻求优雅。献给彼得·布内曼的论文。柏林:斯普林格(ISBN 978-3-642-41659-0/pbk;978-3-642-41660-6/电子书)。计算机科学课堂讲稿8000,112-166(2013)。
理学硕士:68N15 68N18 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集,2013年LICS,图兰大学,新奥尔良,美国,2013年6月25-28日。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-0-7695-5020-6)。560-569(2013年)。
理学硕士:68N30型 68米14 68牛顿 2005年第68季度 68问55 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ronchi della Rocca,Simona(编辑),《计算机科学逻辑》,2013年。2013年9月2日至5日,意大利都灵,第27届CSL研讨会和欧洲计算机科学逻辑协会(EACSL)第22届年会论文选。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-60-6)。LIPIcs–莱布尼茨国际信息学论文集23,5-10(2013)。
理学硕士:2005年第68季度 68Q80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Portier,Natacha(ed.)等人,第30届计算机科学理论方面国际研讨会,STACS'13,德国基尔,2013年2月27日至3月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-50-7)。LIPIcs–莱布尼茨国际信息学论文集20172-184(2013)。
理学硕士:2005年第68季度 68问10 68问25
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Merelli,Emanuela(ed.)等人,《第四届计算机科学与生物学相互作用国际研讨会论文集》(CS2Bio'13),佛罗伦萨,意大利,2013年6月6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记299,15-31(2013)。
理学硕士:2005年第68季度 68问55 92C37型 92C42型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2013年9月25日至27日,美国马萨诸塞州波士顿,第18届ACM SIGPLAN函数式编程国际会议记录,ICFP'13。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-2326-0)。ACM SIGPLAN公告48,第9号,455-468(2013年)。
理学硕士:68Q60型 2005年第68季度 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2013年9月25日至27日,美国马萨诸塞州波士顿,第18届ACM SIGPLAN函数式编程国际会议记录,ICFP'13。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-2326-0)。ACM SIGPLAN公告48,第9号,443-454(2013年)。
理学硕士:68问55 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

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