×

兹马思-数学第一资源

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

100
马查克斯
计算机科学讲义12864查姆:斯普林格(ISBN 978-3-030-84628-2/pbk;978-3-030-84629-9/电子书)。x、 193页。(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义12760查姆:斯普林格(ISBN 978-3-030-81687-2/pbk;978-3-030-81688-9/电子书)。二十三,935页。(2021年)。
理学硕士:68-06年 68Q60型 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义12759查姆:斯普林格(ISBN 978-3-030-81684-1/pbk;978-3-030-81685-8/电子书)。二十四,917页。(2021年)。
理学硕士:68-06年 68Q60型 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651449-467(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651389-408(2021年)。
理学硕士:68Q60型 68T07型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651370-388(2021年)。
理学硕士:68Q60型 68问题32 68T05型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651330-348(2021年)。
理学硕士:68Q60型 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651291-310(2021年)。
理学硕士:68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651230-249(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651191-209(2021年)。
理学硕士:68N30型 60J22型 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651173-190(2021年)。
理学硕士:68Q60型 60J22型 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。(公元2021年,第132-113页)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。1265194-112(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651,38-56(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Guerra,Esther(ed.)等人,《软件工程的基本方法》。第24届国际会议,FASE 2021年,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12649218-239(2021年)。
理学硕士:68Q60型 68分05秒
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Guerra,Esther(ed.)等人,《软件工程的基本方法》。第24届国际会议,FASE 2021年,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12649196-217(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Guerra,Esther(ed.)等人,《软件工程的基本方法》。第24届国际会议,FASE 2021年,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12649152-171(2021年)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Guerra,Esther(ed.)等人,《软件工程的基本方法》。第24届国际会议,FASE 2021年,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。1264987-107(2021年)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Guerra,Esther(ed.)等人,《软件工程的基本方法》。第24届国际会议,FASE 2021年,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12649、67-86(2021年)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Guerra,Esther(ed.)等人,《软件工程的基本方法》。第24届国际会议,FASE 2021年,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12649年,24-45年(2021年)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-8339-4)。27篇文章,未连续翻页(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义12561查姆:斯普林格(ISBN 978-3-030-68445-7/pbk;978-3-030-68446-4/电子书)。x、 345便士。(2021年)。
理学硕士:68-06年 68N30型 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义12740查姆:斯普林格(ISBN 978-3-030-79378-4/pbk;978-3-030-79379-1/电子书)。十三,105页。(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义12597查姆:斯普林格(ISBN 978-3-030-67066-5/pbk;978-3-030-67067-2/电子书)。十五,604页。(2021年)。
理学硕士:68-06年 68Q60型 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学综合讲座。加利福尼亚州圣拉斐尔:摩根和克莱普尔出版社(ISBN 978-1-63639-130-4/hbk;978-1-63639-128-1/pbk;978-1-63639-129-8/电子书)。188页。(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
LIPIcs–莱布尼茨国际信息学论文集188Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-95977-182-5)。vii,11篇文章,非连续页面,仅电子版,开放获取(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接
Koutny,Maciej(ed.)等人,《Petri网上的事务和其他并发模型》15。柏林:斯普林格。选择。笔记计算。科学。12530150-164(2021年)。
理学硕士:6885年 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士:68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
人工智能及其应用的前沿336阿姆斯特丹:IOS出版社(ISBN 978-1-64368-160-3/pbk;978-1-64368-161-0/ebook)。十七,1465页。(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 链接
Lee,Cheng Lee(ed.)等人,《金融计量经济学、数学、统计学和机器学习手册》。第三卷。科学世界,美国新泽西州。3413-3464(2021年)。
理学硕士:91G50型 91B62型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lee,Cheng Lee(ed.)等人,《金融计量经济学、数学、统计学和机器学习手册》。第二卷。哈肯萨克,新泽西州:世界科学。1075-1108(2021年)。
理学硕士:62分05秒 6205年 91B82型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Pun,Violet Ka I.(ed.)等人,《计算的理论方面——ICTAC 2020》。第17届国际学术讨论会,中国澳门,2020年11月30日至12月4日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12545283-303(2020年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
De Giacomo,Giuseppe(编辑)等人,ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。人工制品。因特尔。申请。325624-631(2020年)。
理学硕士:68T27型 03B44号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
De Giacomo,Giuseppe(编辑)等人,ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。人工制品。因特尔。申请。325139-146(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
De Giacomo,Giuseppe(编辑)等人,ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。人工制品。因特尔。申请。32527-34(2020年)。
理学硕士:68Q60型 03B70型 68T42型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理论计算机科学电子会议(EPTCS)326滑铁卢:开放出版协会(OPA)。233页,仅电子版,开放存取(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接 链接
理论计算机科学电子会议(EPTCS)320滑铁卢:开放出版协会(OPA)。127页,仅电子版,开放存取(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接 链接
Kim,Donghyun(编辑)等,《计算与组合学》。第26届国际会议,COCOON 2020,美国佐治亚州亚特兰大,2020年8月29日至31日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12273186-197(2020年)。
理学硕士:68卢比
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bertrand,Nathalie(ed.)等人,《时间系统的形式化建模与分析》。第18届国际会议,格式2020,维也纳,奥地利,2020年9月1日至3日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12288196-214(2020年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bertrand,Nathalie(ed.)等人,《时间系统的形式化建模与分析》。第18届国际会议,格式2020,维也纳,奥地利,2020年9月1日至3日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。1228876-93(2020年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petrişan,Daniela(ed.)等人,《计算机科学中的凝聚方法》。第15届IFIP工作组1.3国际研讨会,CMCS 2020,与ETAPS 2020共存,爱尔兰都柏林,2020年4月25日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12094180-200(2020年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petrişan,Daniela(ed.)等人,《计算机科学中的凝聚方法》。第15届IFIP工作组1.3国际研讨会,CMCS 2020,与ETAPS 2020共存,爱尔兰都柏林,2020年4月25日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12094155-179(2020年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petrişan,Daniela(ed.)等人,《计算机科学中的凝聚方法》。第15届IFIP工作组1.3国际研讨会,CMCS 2020,与ETAPS 2020共存,爱尔兰都柏林,2020年4月25日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12094133-154(2020年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petrişan,Daniela(ed.)等人,《计算机科学中的凝聚方法》。第15届IFIP工作组1.3国际研讨会,CMCS 2020,与ETAPS 2020共存,爱尔兰都柏林,2020年4月25日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12094112-132(2020年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petrişan,Daniela(ed.)等人,《计算机科学中的凝聚方法》。第15届IFIP工作组1.3国际研讨会,CMCS 2020,与ETAPS 2020共存,爱尔兰都柏林,2020年4月25日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。1209490-111(2020年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petrişan,Daniela(ed.)等人,《计算机科学中的凝聚方法》。第15届IFIP工作组1.3国际研讨会,CMCS 2020,与ETAPS 2020共存,爱尔兰都柏林,2020年4月25日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。1209468-89(2020年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petrişan,Daniela(ed.)等人,《计算机科学中的凝聚方法》。第15届IFIP工作组1.3国际研讨会,CMCS 2020,与ETAPS 2020共存,爱尔兰都柏林,2020年4月25日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。1209455-67(2020年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petrişan,Daniela(ed.)等人,《计算机科学中的凝聚方法》。第15届IFIP工作组1.3国际研讨会,CMCS 2020,与ETAPS 2020共存,爱尔兰都柏林,2020年4月25日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12094年,第32-54页(2020年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petrişan,Daniela(ed.)等人,《计算机科学中的凝聚方法》。第15届IFIP工作组1.3国际研讨会,CMCS 2020,与ETAPS 2020共存,爱尔兰都柏林,2020年4月25日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12094年11月31日(2020年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petrişan,Daniela(ed.)等人,《计算机科学中的凝聚方法》。第15届IFIP工作组1.3国际研讨会,CMCS 2020,与ETAPS 2020共存,爱尔兰都柏林,2020年4月25日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12094年1月10日(2020年)。
理学硕士:68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Gupta,Ankit(ed.)等人,《2018年SASB会议录》,第9届静态分析和系统生物学国际研讨会,德国弗莱堡,2018年8月28日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。350,91-116(2020年)。
理学硕士:92C42型 92C40型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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