×

兹马思-数学第一资源

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

100
马查克斯
Bertrand,Nathalie(ed.)等人,《时间系统的形式化建模与分析》。第18届国际会议,格式2020,维也纳,奥地利,2020年9月1日至3日。诉讼程序。查姆:斯普林格(ISBN 978-3-030-57627-1/pbk;978-3-030-57628-8/电子书)。计算机科学课堂讲稿1228858-75(2020)。
理学硕士: 68Qxx公司
PDF格式 BibTeX公司 XML 引用
全文: 内政部
软件工程生态系统。 (英语。俄语原件) Zbl公司 07285127
塞本。系统。肛门。 56,第4期,628-640(2020年); 翻译自基伯恩。西斯特。肛门。2020年,第4期,128-143页(2020年)。
理学硕士: 68兰特 68吨 6800万 68度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
莫斯克。计算机大学。数学。塞本。 44,第3期,120-132页(2020年); 维斯顿翻译。莫斯。第五大学。XV 2020,第3期,16-29页(2020年)。
理学硕士: 6800万
PDF格式 BibTeX公司 XML 引用
全文: 内政部
安德烈é, Étienne(ed.)等人,《时间系统的形式化建模与分析》。第17届国际会议,2019年8月27日至29日,荷兰阿姆斯特丹。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11750,199-215(2019年)。
理学硕士: 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
安德烈é, Étienne(ed.)等人,《时间系统的形式化建模与分析》。第17届国际会议,2019年8月27日至29日,荷兰阿姆斯特丹。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11750,181-198(2019年)。
理学硕士: 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
安德烈é, Étienne(ed.)等人,《时间系统的形式化建模与分析》。第17届国际会议,2019年8月27日至29日,荷兰阿姆斯特丹。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11750,3-22(2019年)。
理学硕士: 68周27分 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Enea,Constantin(ed.)等人,《验证、模型检查和抽象解释》。2019年VMCAI第20届国际会议,葡萄牙卡斯凯斯,2019年1月13日至15日。诉讼程序。查姆:斯普林格(ISBN 978-3-030-11244-8/pbk;978-3-030-11245-5/电子书)。计算机科学课堂讲稿11388409-424(2019年)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Hierons,Robert Mark(ed.)等人,《计算的理论方面——ICTAC 2019》。2019年10月31日至11月4日,突尼斯,哈马迈特,第16届国际学术讨论会。诉讼程序。查姆:斯普林格(ISBN 978-3-030-32504-6/pbk;978-3-030-32505-3/电子书)。计算机科学课堂讲稿11884113-123(2019年)。
理学硕士: 68Qxx公司
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机。数学。模型。 第30期,第2期,99-106页(2019年); 翻译自Prikl。垫子。Inf.59,5-15(2018年)。
理学硕士: 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第22届ACM国际混合系统大会论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-6282-5)。272-273(2019年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第22届ACM国际混合系统大会论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-6282-5)。67-76(2019年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Khomenko,Victor(ed.)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI网2018,斯洛伐克布拉迪斯拉发,2018年6月24日至29日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10877227-247(2018年)。
理学硕士: 6885年 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第21届ACM混合系统国际会议记录:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11日至13日。纽约,纽约:计算机机械协会(ACM)。81-90(2018年)。
理学硕士: 68Q60型 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第21届ACM混合系统国际会议记录:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11日至13日。纽约,纽约:计算机机械协会(ACM)。71-80(2018年)。
理学硕士: 68Q45号 05C15型 68R10型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年,雷克雅未克í雷克雅未克k大学ík、 冰岛,2017年6月20-23日。新泽西州皮斯卡塔韦:IEEE出版社。第38条,第12页(2017年)。
理学硕士: 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 链接
Meyer,Roland(ed.)等人,第28届并发理论国际会议。CONCUR 2017,德国柏林,2017年9月5日至8日。诉讼程序。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息。LIPIcs–莱布尼茨国际程序。通知。第85条,第39条,第15页(2017年)。
理学硕士: 6885年 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
拉森,金G(ed.)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息。LIPIcs–莱布尼茨国际程序。通知。83,第77条,第14页(2017年)。
理学硕士: 03B44号 03D05年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
拉森,金G(ed.)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息。LIPIcs–莱布尼茨国际程序。通知。83,第37条,第16页(2017年)。
理学硕士: 91A43型 68Q45号 91B32型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Aceo,Luca(ed.)等人,模型,算法,逻辑和工具。在金·古德布兰德·拉森60岁生日之际为他写的文章。查姆:斯普林格。选择。笔记计算。科学。10460640-660(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Hague,Matthew(ed.)等人,《可达性问题》。第11届国际研讨会,RP 2017,英国伦敦,2017年9月7日至9日。诉讼程序。查姆:斯普林格(ISBN 978-3-319-67088-1/pbk;978-3-319-67089-8/电子书)。计算机科学课堂讲稿10506,9-25(2017)。
理学硕士: 68Qxx公司
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Abate,Alessandro(ed.)等人,《时间系统的形式化建模与分析》。第15届国际会议,2017年9月5日至7日,德国柏林。诉讼程序。查姆:斯普林格(ISBN 978-3-319-65764-6/pbk;978-3-319-65765-3/电子书)。计算机科学课堂讲稿10419264-280(2017)。
理学硕士: 68Qxx公司
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Hung,Dang Van(ed.)等人,《计算的理论方面——ICTAC 2017》。第14届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10580192-209(2017年)。
理学硕士: 6885年 68Q45号 68Q60型 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第20届ACM混合动力系统国际会议记录:计算与控制,HSCC 2017,美国宾夕法尼亚州匹兹堡,2017年4月18日至20日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-4590-3)。153-162(2017年)。
理学硕士: 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第20届ACM混合动力系统国际会议记录:计算与控制,HSCC 2017,美国宾夕法尼亚州匹兹堡,2017年4月18日至20日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-4590-3)。131-140(2017年)。
理学硕士: 93C57型 68Q45号 90B35型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Fitzgerald,John(ed.)等人,FM 2016:形式方法。第21届国际研讨会,塞浦路斯利马索尔,2016年11月9日至11日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。9995577-592(2016年)。
理学硕士: 68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Fitzgerald,John(ed.)等人,FM 2016:形式方法。第21届国际研讨会,塞浦路斯利马索尔,2016年11月9日至11日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。9995199-216(2016年)。
理学硕士: 68米14 68平方米 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lal,Akash(ed.)等人,第36届IARC软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13日至15日。诉讼程序。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学论文集65,第48、14条 p(2016年)。
理学硕士: 68Q45号 68问25 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lal,Akash(ed.)等人,第36届IARC软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13日至15日。诉讼程序。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学论文集65,第44、14条 p(2016年)。
理学硕士: 68Q45号 91A43型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
德夏奈,乔斯é2016年第27届国际理论会议é加拿大北克市,2016年8月23-26日。诉讼程序。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-95977-017-0)。LIPIcs–莱布尼茨国际信息学论文集59,第27条,第14页(2016年)。
理学硕士: 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
德夏奈,乔斯ée(ed.)等人,《第27届并发理论国际会议》,CONCUR 2016,Qué加拿大北克市,2016年8月23-26日。诉讼程序。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-95977-017-0)。LIPIcs–莱布尼茨国际信息学论文集59,第26条,第15页(2016年)。
理学硕士: 68Q45号 18B20型
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,第8条,第14页(2016年)。
理学硕士: 91A15型 68Q45号 91A55型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
法国änzle,Martin(ed.)等人,《时间系统的形式化建模与分析》。2016年8月24-26日,加拿大魁北克省,魁北克省,2016年格式第14届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。9884140-156(2016年)。
理学硕士: 6885年 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
法国änzle,Martin(ed.)等人,《时间系统的形式化建模与分析》。2016年8月24-26日,加拿大魁北克省,魁北克省,2016年格式第14届国际会议。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。9884,19-34(2016年)。
理学硕士: 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
计算机与信息科学通信596查姆:斯普林格(ISBN 978-3-319-29509-1/pbk;978-3-319-29510-7/电子书)。x、 271个 p(2016年)。
理学硕士: 68-06年 685米 68N99型 68Q60型 68U20型 00B25号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第19届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2016,维也纳,奥地利,2016年4月12-14日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-3955-1)。195-204(2016年)。
理学硕士: 6885年 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Sampaio,Augusto(ed.)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,台北,台湾,中华民国,2016年10月24-31日。诉讼程序。查姆:斯普林格(ISBN 978-3-319-46749-8/pbk;978-3-319-46750-4/电子书)。计算机科学课堂讲稿9965274-292(2016)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
布雷克,斯雷čko(ed.)等人,《语言理论的发展》。第20届国际会议,DLT 2016,蒙特勒é艾尔,加拿大,2016年7月25日至28日。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。9840,38-50(2016年)。
理学硕士: 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
北京ørner,Nikolaj(ed.)等人,《FM 2015:形式化方法》。第20届国际研讨会,挪威奥斯陆,2015年6月24日至26日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。9109551-569(2015年)。
理学硕士: 68Q60型 68平方米
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Aceo,Luca(ed.)等人,第26届并发理论国际会议,CONCUR'15,西班牙马德里,2015年9月1日至4日。诉讼程序。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,311-324(2015)。
理学硕士: 68Q45号 91A43型 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Aceo,Luca(ed.)等人,第26届并发理论国际会议,CONCUR'15,西班牙马德里,2015年9月1日至4日。诉讼程序。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,283-296(2015)。
理学硕士: 6885年 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Harsha,Prahladh(ed.)等人,第35届IARC软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16-18日。诉讼程序。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-939897-97-2)。LIPIcs–莱布尼茨国际信息学论文集45,278-292(2015)。
理学硕士: 68Q45号 91A43型 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Harsha,Prahladh(ed.)等人,第35届IARC软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16-18日。诉讼程序。沃登:施洛斯·达格斯图尔-莱布尼茨-泽特鲁姆für信息(ISBN 978-3-939897-97-2)。Leibniz国际信息学院,2015年第267期。
理学硕士: 68Q45号 91A43型 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Dediu,Adrian Horia(ed.)等人,《语言与自动机理论与应用》。第九届国际会议,2015年3月2日至6日,法国尼斯,拉塔2015年。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。8977237-248(2015年)。
理学硕士: 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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