×

兹马思-数学第一资源

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

100
马查克斯
Drechsler,Rolf(ed.)等人,《布尔技术的最新发现》。第14届布尔问题国际研讨会论文选编,IWSBP,虚拟,2020年9月24-25日。查姆:斯普林格。177-191年(2021年)。
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597578-602(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597556-577(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597534-555(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597511-533(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597486-508(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597464-485(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597441-463(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597417-440(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597401-414(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597376-400(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597353-375(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597325-349(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597291-324(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597267-290(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597243-266(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597219-239(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597196-218(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597174-195(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597151-173(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597127-148(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
验证和模型验证。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597104-126(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。1259781-103(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。1259755-80年(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597年,29-51年(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597年,17-28年(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Henglein教授,Fritz(ed.)等人,验证,模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597年3月16日(2021年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
Kiefer,Stefan(ed.)等人,《软件科学和计算结构基础》。第24届国际会议,Fossac2021年,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12650531-550(2021年)。
理学硕士:68牛顿 68季度
PDF格式 BibTeX公司 XML 引用
Lavalle,Steven M.(编辑)等,《机器人学的算法基础》XIV。第十四届机器人算法基础研讨会论文集。查姆:斯普林格。斯普林格程序。高级机器人。17432-449年(2021年)。
理学硕士:68吨40 03B44号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义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 引用
全文: 内政部
和系统分析的算法。第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.)等人,《系统构建和分析的工具和算法》。作为2021年4月27日卢森堡国际软件与实践会议的一部分,2021年4月27日,作为卢森堡国际软件与实践会议的一部分,卢森堡举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。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日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651113-132(2021年)。
理学硕士: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 引用
全文: 内政部
计算机科学讲义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 引用
全文: 内政部

筛选结果依据…

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