×

兹马思-数学第一资源

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

100
马查克斯
Henglein,Fritz(ed.)等人,验证、模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597486-508(2021年)。
PDF格式 BibTeX公司 XML 引用
Henglein,Fritz(ed.)等人,验证、模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597267-290(2021年)。
理学硕士:68N30型 68Q45号
PDF格式 BibTeX公司 XML 引用
Henglein,Fritz(ed.)等人,验证、模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12597196-218(2021年)。
理学硕士:68Q60型 68Q45号 68度15度
PDF格式 BibTeX公司 XML 引用
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638331-342(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638318-330(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638305-317(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638293-304(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638、279-290(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638267-278(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638255-266(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638241-254(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638226-237(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638213-225(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638200-212(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638187-199(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638173-186(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638、157-170(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638145-156(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638131-142(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638118-130(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638109-117(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638、97-108(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638、81-93(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638、68-80(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638、55-67(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638年,第43-54页(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638年,第29-40页(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638年,16-28年(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。2021年3月1日至5日,意大利米兰,拉塔2021年第15届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12638年3月15日(2021年)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
柏林:欧洲数学学会(EMS)(ISBN 978-3-98547-003-7/hbk;978-3-98547-006-8/套;978-3-98547-506-3/电子书集)。xxii,840-1493,xxiii lv(2021年)。
理学硕士:68-00 68Q45号 00磅15
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义12811查姆:斯普林格(ISBN 978-3-030-81507-3/pbk;978-3-030-81508-0/电子书)。十七,第116页。(2021年)。
理学硕士:68-06年 68Q45号 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。作为2021年4月27日卢森堡国际软件与实践会议的一部分,2021年4月27日,作为卢森堡国际软件与实践会议的一部分,卢森堡举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651449-467(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651351-369(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651、311-329(2021年)。
理学硕士:68Q45号 68R10型 68周05分
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。作为2021年4月27日卢森堡国际软件与实践会议的一部分,2021年4月27日,作为卢森堡国际软件与实践会议的一部分,卢森堡举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。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日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651年,第20-37页(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-8339-4)。第27条(非连续第2021页)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义12638查姆:斯普林格(ISBN 978-3-030-68194-4/pbk;978-3-030-68195-1/电子书)。十一,342页。(2021年)。
理学硕士:68-06年 68Q45号 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义12803查姆:斯普林格(ISBN 978-3-030-79120-9/pbk;978-3-030-79121-6/电子书)。十三,114页。(2021年)。
理学硕士:68-06年 68Q45号 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
智能系统参考库208查姆:斯普林格(ISBN 978-3-030-76290-2/hbk;978-3-030-76291-9/电子书)。xx,340便士。(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士:18度C50 03B38号 03G30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机科学讲义12086查姆:斯普林格(ISBN 978-3-030-48515-3/pbk;978-3-030-48516-0/电子书)。x、 333便士。(2020年)。
理学硕士:68-06年 68Q45号 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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