×

兹马思-数学第一资源

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

100
马查克斯
2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8-11日,纽约:计算机械协会(ACM)(ISBN 978-1-4503-7104-9)。929-943(2020年)。
理学硕士: 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
奔驰üLer,Christoph(ed.)等人,《智能计算机数学》。第13届国际会议,CICM 2020,意大利贝蒂诺罗,2020年7月26-31日,会议记录。查姆:斯普林格。选择。笔记计算。科学。12236,23-38(2020年)。
理学硕士: 68V20型 52A01年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Felty,Amy(ed.)等人,《第14届逻辑和语义框架国际研讨会及其应用》,LSFA 2019年,巴西纳塔尔,2019年8月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记348,61-83(2020年)。
理学硕士: 03B45型 68V15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士: 03 68
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Hutton,Graham(编辑),《程序构建数学》。第13届国际会议,2019年10月7日至9日,葡萄牙波尔图,MPC,会议记录。查姆:斯普林格。选择。笔记计算。科学。11825,45-75(2019年)。
理学硕士: 68N18 第685页
PDF格式 BibTeX公司 XML 引用
全文: 内政部
伊姆霍夫,罗莎莉(编辑)等,逻辑,语言,信息和计算。第26届国际研讨会,2019年7月2日至5日,荷兰乌得勒支,沃尔利,2019年。柏林:斯普林格出版社(ISBN 978-3-662-59532-9/pbk;978-3-662-59533-6/电子书)。计算机科学课堂讲稿11541264-281(2019年)。
理学硕士: 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Accattoli,Beniamino(ed.)等人,《第13届逻辑和语义框架及其应用研讨会论文集》,LSFA 18,巴西福塔莱萨,2018年9月26-28日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。344151-167(2019年)。
理学硕士: 68Q45号 68V15型 68V20型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Accattoli,Beniamino(ed.)等人,《第13届逻辑和语义框架及其应用研讨会论文集》,LSFA 18,巴西福塔莱萨,2018年9月26-28日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。344,47-65(2019年)。
理学硕士: 68Q42号 68V15型 68V20型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
基什内尔Héène(ed.),第三届计算和扣除形式结构国际会议,FSCD 2018,2018年7月9日至12日,英国牛津。诉讼程序。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-95977-077-4)。LIPIcs–莱布尼茨国际信息学论文集108,第29条,第16页(2018年)。
理学硕士: 68V15型 68V20型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cerone,Antonio(ed.)等人,《软件工程与形式化方法》。SEFM 2017并置研讨会:DataMod、FAACS、MSE、CoSim CPS和FOCLASA,意大利特伦托,2017年9月4日至5日。修订精选论文。查姆:斯普林格(ISBN 978-3-319-74780-4/pbk;978-3-319-74781-1/电子书)。计算机科学课堂讲稿10729558-573(2018年)。
理学硕士: 68N30型 68Q60型 68V20型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Alves,Sandra(ed.)等人,《第12届逻辑与语义框架研讨会论文选集》(LSFA 2017),巴西巴西利亚,2017年9月23-24日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。338219-236(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Alves,Sandra(ed.)等人,《第12届逻辑与语义框架研讨会论文选集》(LSFA 2017),巴西巴西利亚,2017年9月23-24日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。338203-218(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Alves,Sandra(ed.)等人,《第12届逻辑与语义框架研讨会论文选集》(LSFA 2017),巴西巴西利亚,2017年9月23-24日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。338185-201(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
艾哈迈德,阿马尔(编辑),《编程语言与系统》。第27届欧洲编程研讨会,ESOP 2018,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2018,希腊塞萨洛尼基,2018年4月14-20日。会议记录。查姆:斯普林格。选择。笔记计算。科学。10801、561-588(2018年)。
理学硕士: 68米14 68T05型 68T15型 91A10型 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Barthe,Gilles(ed.)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17-21日。论文选集。曼彻斯特:轻松。史诗服务器。计算机。57564-582(2018年)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
詹森,大卫N(等,时间系统的形式化建模与分析。第16届国际会议,2018年9月4日至6日,中国北京。会议记录。查姆:斯普林格(ISBN 978-3-030-00150-6/pbk;978-3-030-00151-3/电子书)。计算机科学课堂讲稿11022,125-141(2018年)。
理学硕士: 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Avigad,Jeremy(ed.)等人,《交互定理证明》。第9届国际会议,ITP 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月9日至12日。会议记录。查姆:斯普林格(ISBN 978-3-319-94820-1/pbk;978-3-319-94821-8/电子书)。计算机科学课堂讲稿10895370-387(2018)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Avigad,Jeremy(ed.)等人,《交互定理证明》。第9届国际会议,ITP 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月9日至12日。会议记录。查姆:斯普林格(ISBN 978-3-319-94820-1/pbk;978-3-319-94821-8/电子书)。计算机科学课堂讲稿10895253-269(2018年)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Avigad,Jeremy(ed.)等人,《交互定理证明》。第9届国际会议,ITP 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月9日至12日。会议记录。查姆:斯普林格(ISBN 978-3-319-94820-1/pbk;978-3-319-94821-8/电子书)。计算机科学课堂讲稿10895178-195(2018)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
刘少英主编,结构化面向对象形式语言与方法。第六届国际研讨会,2016年11月15日,日本东京,SOFL+MSVL,2016年。修订精选论文。查姆:斯普林格(ISBN 978-3-319-57707-4/pbk;978-3-319-57708-1/电子书)。计算机科学课堂讲稿10189121-143(2017)。
理学硕士: 68N30型 68N15 68Q60型 68V20型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Miller,Dale(编辑),《第二届计算和演绎形式结构国际会议》。FSCD 2017,英国牛津,2017年9月3日至9日。会议记录。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息。LIPIcs–莱布尼茨国际程序。通知。84,第10条,第17页(2017年)。
理学硕士: 68Q60型 68问55 68V15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Miller,Dale(编辑),《第二届计算和演绎形式结构国际会议》。FSCD 2017,英国牛津,2017年9月3日至9日。会议记录。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息。LIPIcs–莱布尼茨国际程序。通知。84,第5条,第16页(2017年)。
理学硕士: 18A15型 03B38号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Eiter,Thomas(ed.)等人,LPAR-21。第21届编程逻辑、人工智能和推理国际会议,博茨瓦纳莫恩,2017年5月8日至12日。论文精选。曼彻斯特:轻松。EPiC Series in Computing 46,474-489(2017年)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
阿亚拉林克ón、 Mauricio(ed.)等人,《交互定理证明》。第八届国际会议,ITP 2017,巴西ília,巴西,2017年9月26-29日。会议记录。查姆:斯普林格(ISBN 978-3-319-66106-3/pbk;978-3-319-66107-0/电子书)。计算机科学课堂讲稿10499,148-163(2017)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
阿亚拉林克ón、 Mauricio(ed.)等人,《交互定理证明》。第八届国际会议,ITP 2017,巴西ília,巴西,2017年9月26-29日。会议记录。查姆:斯普林格(ISBN 978-3-319-66106-3/pbk;978-3-319-66107-0/电子书)。计算机科学课堂讲稿10499,98-113(2017)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
阿亚拉林克ón、 Mauricio(ed.)等人,《交互定理证明》。第八届国际会议,ITP 2017,巴西ília,巴西,2017年9月26-29日。会议记录。查姆:斯普林格(ISBN 978-3-319-66106-3/pbk;978-3-319-66107-0/电子书)。计算机科学课堂讲稿10499,65-80(2017)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Castagna,Giuseppe(ed.)等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,2017年1月15日至21日,法国巴黎,2017年,纽约:计算机械协会(ACM)(ISBN 978-1-4503-4660-3)。205-217(2017年)。
理学硕士: 68T15型 03B70型 68N30型 68Q60型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2017年ACM分布式计算原理研讨会论文集,PODC'17,华盛顿特区,美国,2017年7月25-27日。纽约:计算机械协会(ACM)(ISBN 978-1-4503-4992-5)。459-461(2017年)。
理学硕士: 68T05型 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Geuvers,Herman(编辑)等人,《智能计算机数学》。第十届国际会议,2017年7月17日至21日,英国爱丁堡。查姆:斯普林格(ISBN 978-3-319-62074-9/pbk;978-3-319-62075-6/电子书)。计算机科学讲义10383。人工智能课堂讲稿,303-318(2017)。
理学硕士: 68T15型 68T05型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
阿姆斯特丹:爱思唯尔/ISTE出版社(ISBN 978-1-78548-112-3/hbk;978-0-08-101170-6/电子书)。二十,306 p(2017年)。
理学硕士: 68-02年 65克50 6504年 68Q60型 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 链接
2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年7月5日至8日,美国纽约市,纽约市:计算机械协会(ACM)(ISBN 978-1-4503-4391-6)。367-376(2016年)。
理学硕士: 68N18 03B40型 03E40型 03G30型 68N30型 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Faliszewski,Piotr(ed.)等人,第41届计算机科学数学基础国际研讨会,MFCS 2016,Kraków、 波兰,2016年8月22日至26日。会议记录。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学论文集58,第22条,第13页(2016年)。
理学硕士: 68问70 03G30型 68问55 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kesner,Delia(ed.)等人,第一届计算和扣除形式结构国际会议,FSCD 2016,葡萄牙波尔图,2016年6月22-26日,会议记录。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-95977-010-1)。LIPIcs–莱布尼茨国际信息学论文集52,第30条,第18页(2016年)。
理学硕士: 68T15型 03B15号 03G30型 18A99型 55岁40岁
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN函数式编程国际会议论文集》,ICFP'16,日本奈良,2016年9月18-22日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-4219-3)。325-337(2016年)。
理学硕士: 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ambrard,Maxime(ed.)等人,《计算语言学的逻辑方面》。庆祝LACL成立20周年(1996-2016)。2016年12月9日,南希国际会议,2016年12月9日。柏林:斯普林格出版社(ISBN 978-3-662-53825-8/pbk;978-3-662-53826-5/电子书)。计算机科学课堂讲稿1005485-98(2016)。
理学硕士: 03B65型 68T50型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Greuel,Gert Martin(ed.)等人,《数学软件——ICMS 2016》,第五届国际会议,柏林,德国,2016年7月11日至14日,会议记录。查姆:斯普林格。选择。笔记计算。科学。9725,18-27(2016年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
äänänen,Jouko(ed.)等人,《逻辑、语言、信息与计算》。第23届国际研讨会,WoLLIC 2016,墨西哥普埃布拉,2016年8月16日至19日。会议记录。柏林:斯普林格出版社(ISBN 978-3-662-52920-1/pbk;978-3-662-52921-8/电子书)。计算机科学课堂讲稿9803,338-357(2016)。
理学硕士: 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kohlhase,Michael(ed.)等人,《智能计算机数学》。第九届国际会议,2016年7月25-29日,波兰比亚里斯托克,2016年,会议记录。查姆:斯普林格(ISBN 978-3-319-42546-7/pbk;978-3-319-42547-4/电子书)。计算机科学课堂讲稿9791。人工智能课堂讲稿,18-27(2016)。
理学硕士: 68T15型 57N99型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Serrano,Manuel(ed.)等人,《函数式编程的趋势》。第16届国际研讨会,2015年TFP,法国索菲亚-安蒂波利斯,2015年6月3日至5日。修订部分论文。查姆:斯普林格(ISBN 978-3-319-39109-0/pbk;978-3-319-39110-6/电子书)。计算机科学课堂讲稿9547136-156(2016)。
理学硕士: 68T15型 68N18
PDF格式 BibTeX公司 XML 引用
全文: 内政部
国际计算机协会第20届ISM973国际计算机协会会议记录,2015年9月。315-327(2015年)。
理学硕士: 68N30型 68N18 68问55 91B40型 91G99型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第20届ACM SIGPLAN函数式编程国际会议论文集,ICFP’15,加拿大温哥华,2015年9月1日至3日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3669-7)。179-191(2015年)。
理学硕士: 68T15型 68N18 68吨20
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ghica,Dan(编辑),《第31届编程语义学数学基础会议论文集》(MFPS XXXI),荷兰奈梅根,2015年6月22-25日,阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319351-367,电子版(2015)。
理学硕士: 68N30型 03B70型 68N19 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bogomolov,Sergiy(ed.)等人,根据第七届和第八届数字软件验证(NSV)国际研讨会(2014年7月17日至18日和2015年4月13日)上的报告选择论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记317,27-32(2015)。
理学硕士: 6504年 65克50 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leuker,Martin(ed.)等人,《计算的理论方面——ICTAC 2015》,第12届国际学术讨论会,哥伦比亚,2015年10月29日至31日,会议记录。查姆:斯普林格(ISBN 978-3-319-25149-3/pbk;978-3-319-25150-9/电子书)。计算机科学课堂讲稿9399,485-504(2015)。
理学硕士: 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
De Nivelle,Hans(编辑),《自动推理与分析表及相关方法》。第24届国际会议,表2015,Wrocław,波兰,2015年9月21-24日。会议记录。查姆:斯普林格(ISBN 978-3-319-24311-5/pbk;978-3-319-24312-2/电子书)。计算机科学讲义9323。人工智能课堂讲稿,86-101(2015年)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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