×

兹马思-数学第一资源

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

100
马查克斯
Pulina,Luca(ed.)等人,《满意度测试的理论和应用——2020年SAT》,第23届国际会议,意大利阿尔盖罗,2020年7月3日至10日,会议记录。查姆:斯普林格(ISBN 978-3-030-51824-0/pbk;978-3-030-51825-7/电子书)。计算机科学课堂讲稿12178361-377(2020)。
理学硕士: 68问25 68R07型 68吨20
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Mu,Yi(ed.)等人,《密码学与网络安全》。第18届国际会议,2019年10月25日至27日,中国福州,2019年。查姆:斯普林格。选择。笔记计算。科学。11829年,第61-79页(2019年)。
理学硕士: 94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Herzig,Andreas(编辑)等人,《组合系统的前沿》。第12届国际研讨会,2019年FroCoS,英国伦敦,2019年9月4日至6日。会议记录。查姆:斯普林格。选择。笔记计算。科学。11715223-239(2019年)。
理学硕士: 68V15型 68R07型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Fontaine,Pascal(编辑),《自动扣减——CADE 27》,第27届自动扣减国际会议,巴西纳塔尔,2019年8月27-30日。会议记录。查姆:斯普林格(ISBN 978-3-030-29435-9/pbk;978-3-030-29436-6/电子书)。计算机科学课堂讲稿11716。人工智能课堂讲稿,111-122(2019年)。
理学硕士: 03B35型 68V15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ribeiro,Pedro(ed.)等人,《统一编程理论》。2019年10月8日,葡萄牙波尔图,2019年10月8日,在托尼霍尔85岁生日之际,为托尼·霍尔举办的第七届国际研讨会。查姆:斯普林格(ISBN 978-3-030-31037-0/pbk;EBO-0308-0308号文件)。计算机科学课堂讲稿11885,22-38(2019年)。
理学硕士: 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第22届ACM混合系统国际会议记录:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-6282-5)。99-108(2019年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cid,Carlos(ed.)等人,《密码学中的选定领域——SAC 2018》,第25届国际会议,加拿大阿肯色州卡尔加里,2018年8月15日至17日。修订了部分论文。查姆:斯普林格。选择。笔记计算。科学。11349163-190(2019年)。
理学硕士: 94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Naccache,David(ed.)等人,《信息和通信安全》。2018年10月29-31日,法国里尔,ICICS 2018第20届国际会议。会议记录。查姆:斯普林格。选择。笔记计算。科学。11149647-663(2018年)。
理学硕士: 94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Beyer,Dirk(ed.)等人,《系统构建和分析的工具和算法》。第24届国际会议,TACAS 2018,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2018,希腊塞萨洛尼基,2018年4月14-20日。会议记录。第二部分。查姆:斯普林格。选择。笔记计算。科学。10806132-151(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Barthe,Gilles(ed.)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17-21日。论文选集。曼彻斯特:轻松。史诗服务器。计算机。57637-655(2018年)。
理学硕士: 68Q42号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Barthe,Gilles(ed.)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17-21日。论文选集。曼彻斯特:轻松。史诗服务器。计算机。57534-542(2018年)。
理学硕士: 68吨20 68宽10 68度15度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Barthe,Gilles(ed.)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17-21日。论文选集。曼彻斯特:轻松。史诗服务器。计算机。57418-434(2018年)。
理学硕士: 68吨20
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Galmiche,Didier(编辑)等人,《自动推理》。第九届国际联席会议,IJCAR 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月14-17日。会议记录。第204-948-948页;978-3-319-94205-6/电子书)。计算机科学课堂讲稿10900。人工智能课堂讲稿,329-345(2018年)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Galmiche,Didier(编辑)等人,《自动推理》。第九届国际联席会议,IJCAR 2018,作为联邦逻辑会议的一部分举行,FloC 2018,英国牛津,2018年7月14-17日。会议记录。查姆:斯普林格(ISBN 978-3-319-94204-9/pbk;978-3-319-94205-6/电子书)。计算机科学课堂讲稿10900。人工智能课堂讲稿,152-160(2018年)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
达文波特,詹姆斯H(ed.)等人,《数学软件——ICMS 2018》,第六届国际会议,南本德,美国,2018年7月24日至27日,会议记录。查姆:斯普林格(ISBN 978-3-319-96417-1/pbk;978-3-319-96418-8/电子书)。计算机科学课堂讲稿10931466-474(2018)。
理学硕士: 68立方厘米
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Takagi,Tsuyoshi(ed.)等人,《密码学的进展——2017年亚洲密码术》,第23届国际密码学与信息安全理论与应用会议,中国香港,2017年12月3日至7日。会议记录。第一部分。查姆:斯普林格。选择。笔记计算。科学。10624128-157(2017年)。
理学硕士: 94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Castagna,Giuseppe(ed.)等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,2017年1月15日至21日,法国巴黎,2017年,纽约:计算机械协会(ACM)(ISBN 978-1-4503-4660-3)。562-585(2017年)。
理学硕士: 68N30型 68米10
PDF格式 BibTeX公司 XML 引用
全文: 内政部
de Moura,Leonardo(编辑),《自动扣减——CADE 26》,第26届自动扣减国际会议,瑞典哥德堡,2017年8月6日至11日。会议记录。查姆:斯普林格(ISBN 978-3-319-63045-8/pbk;978-3-319-63046-5/电子书)。计算机科学讲义10395。人工智能课堂讲稿,148-165(2017年)。
理学硕士: 03B35型 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bouajjani,Ahmed(ed.)等人,验证、模型检查和抽象解释。2017年第18届国际会议,2017年1月15日至17日,法国巴黎。会议记录。查姆:斯普林格(ISBN 978-3-319-52233-3/pbk;978-3-319-52234-0/电子书)。计算机科学课堂讲稿10145310-329(2017)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第19届ACM混合系统国际会议记录:计算与控制,HSCC 2016,维也纳,奥地利,2016年4月12-14日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3955-1)。145-154(2016年)。
理学硕士: 68Q60型 6885年 93C83型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Olivetti,Nicola(编辑)等人,《自动推理》。第八届国际联席会议,IJCAR 2016,2016年6月27日至7月2日,葡萄牙科英布拉。会议记录。查姆:斯普林格(ISBN 978-3-319-40228-4/pbk;978-3-319-40229-1/电子书)。计算机科学讲义9706,《人工智能讲义》,116-132(2016年)。
理学硕士: 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Koutny,Maciej(ed.)等人,《Petri网上的事务和其他并发X模型》。柏林:斯普林格出版社(ISBN 978-3-662-48649-8/pbk;978-3-662-48650-4/电子书)。《计算机科学课堂讲义9410》,《亚线期刊》,55-83(2015年)。
理学硕士: 68米11 68T30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lutz,Carsten(ed.)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21-24日。会议记录。查姆:斯普林格(ISBN 978-3-319-24245-3/pbk;978-3-319-24246-0/电子书)。计算机科学讲义9322。人工智能课堂讲稿,151-166(2015)。
理学硕士: 68吨
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第40届符号与代数计算国际研讨会论文集,ISSAC 2015,英国巴斯,2015年7月6-9日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3435-8)。1-6(2015年)。
理学硕士: 68立方厘米 68T15型 68-02年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
费尔蒂,艾米P(ed.)等人,《自动扣除——CADE-25》,第25届自动扣减国际会议,柏林,德国,2015年8月1日至7日。会议记录。查姆:斯普林格。选择。笔记计算。科学。9195623-637(2015年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
费尔蒂,艾米P(ed.)等人,《自动扣除——CADE-25》,第25届自动扣减国际会议,柏林,德国,2015年8月1日至7日。会议记录。查姆:斯普林格(ISBN 978-3-319-21400-9/pbk;978-3-319-21401-6/电子书)。计算机科学讲义9195,《人工智能讲义》,482-497(2015)。
理学硕士: 03B35型 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
瓦特,斯蒂芬M(等,智能计算机数学。2014年国际会议,CICM 2014,葡萄牙科英布拉,2014年7月7日至11日。会议记录。柏林:斯普林格出版社(ISBN 978-3-319-08433-6/pbk)。计算机科学讲义8543,《人工智能讲义》,373-387(2014)。
理学硕士: 68T15型 68T30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL'14。纽约:计算机械协会(ACM)(ISBN 978-1-4503-2544-8)。385-396(2014年)。
理学硕士: 68Q60型 68N30型 68吨20 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL'14。纽约:计算机械协会(ACM)(ISBN 978-1-4503-2544-8)。139-150(2014年)。
理学硕士: 68Q60型 68问55 68T15型 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Giacobazzi,Roberto(编辑)等人,验证,模型检查和抽象解释。2013年第14届国际会议,意大利罗马,2013年1月20日至22日。会议记录。柏林:斯普林格。选择。笔记计算。科学。7737169-188(2013年)。
理学硕士: 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
布拉伯曼,Víctor(ed.)等人,《时间系统的形式化建模与分析》。2013年8月29日至31日,阿根廷布宜诺斯艾利斯,2013年格式第11届国际会议。柏林:斯普林格出版社(ISBN 978-3-642-40228-9/pbk)。计算机科学课堂讲稿8053228-242(2013)。
理学硕士: 68平方米
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Felleisen,Matthias(编辑)等人,《编程语言与系统》。第22届欧洲编程研讨会,ESOP 2013,作为2013年欧洲软件理论与实践联合会议的一部分举行,ETAPS 2013,意大利罗马,2013年3月16-24日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-37035-9/pbk)。计算机科学课堂讲稿7792574-592(2013)。
理学硕士: 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2012年1月22日至28日,美国宾夕法尼亚州费城,2012年1月22日至28日。纽约:计算机械协会(ACM)(ISBN 978-1-4503-1083-3)。137-150(2012年)。
理学硕士: 68Q45号 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2012年1月22日至28日,美国宾夕法尼亚州费城,2012年1月22日至28日。纽约:计算机械协会(ACM)(ISBN 978-1-4503-1083-3)。123-136(2012年)。
理学硕士: 68分05秒 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2011年1月26-28日,美国德克萨斯州奥斯汀,POPL'11。纽约:计算机械协会(ACM)(ISBN 978-1-4503-0490-0)。611-622(2011年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2011年1月26-28日,美国德克萨斯州奥斯汀,POPL'11。纽约:计算机械协会(ACM)(ISBN 978-1-4503-0490-0)。423-434(2011年)。
理学硕士: 68N30型 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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