×

兹马思-数学第一资源

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

100
马查克斯
第23届ACM混合系统国际会议记录:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-7018-9)。第10条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8-11日,纽约:计算机械协会(ACM)(ISBN 978-1-4503-7104-9)。1-6(2020年)。
理学硕士: 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
塞本。系统。肛门。 56,第4号,683-688(2020年); 翻译自基伯恩。西斯特。肛门。2020年,第4期,196-202页(2020年)。
理学硕士: 68瓦 6800万 68度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
软件工程生态系统。 (英语。俄语原件) Zbl公司 07285127
塞本。系统。肛门。 56,第4期,628-640(2020年); 翻译自基伯恩。西斯特。肛门。2020年,第4期,128-143页(2020年)。
理学硕士: 68兰特 68吨 6800万 68度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Goubault Larrecq,Jean(ed.)等人,《软件科学与计算结构基础》。第23届国际会议,Fossac2020,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2020,爱尔兰都柏林,2020年4月25-30日。会议记录。查姆:斯普林格(ISBN 978-3-030-45230-8/pbk;978-3-030-45231-5/电子书)。计算机科学课堂讲稿12077237-256(2020年)。
理学硕士: 68牛顿 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
数学教科书. 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-22570-4/hbk;978-1-4987-7532-8/pbk;978-0-429-18418-5/电子书)。十七,294 p(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士: 68平方米 6885年 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部 MNR公司
安德烈é, Étienne(ed.)等人,《时间系统的形式化建模与分析》。第17届国际会议,2019年8月27日至29日,荷兰阿姆斯特丹。会议记录。斯普林格:查姆。选择。笔记计算。科学。11750,79-95(2019年)。
理学硕士: 6885年 68米14 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Charikar,Moses(ed.)等人,《第51届ACM-SIGACT计算理论研讨会论文集》,STOC'19,美国亚利桑那州凤凰城,2019年6月23-26日,纽约:计算机械协会(ACM)。24-33(2019年)。
理学硕士: 6885年 68问17 68问25
PDF格式 BibTeX公司 XML 引用
全文: 内政部
博扎ń奇克,米科łaj(ed.)等人,《软件科学与计算结构基础》。第22届国际会议,2019年FOSACS,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2019,布拉格,捷克共和国,2019年4月6日至11日。会议记录。查姆:斯普林格(ISBN 978-3-030-17126-1/pbk;978-3-030-17127-8/电子书)。计算机科学课堂讲稿11425260-276(2019年)。
理学硕士: 68牛顿 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
可及性等。第13届国际会议,RP 2019年,比利时布鲁塞尔,2019年9月11日至13日。会议记录。查姆:斯普林格(ISBN 978-3-030-30805-6/pbk;978-3-030-30806-3/电子书)。计算机科学课堂讲稿11674164-177(2019年)。
理学硕士: 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
de Boer,Frank(ed.)等人,都是关于协调的。纪念法哈德·阿巴布毕生科学成就的论文。查姆:斯普林格(ISBN 978-3-319-90088-9/pbk;978-3-319-90089-6/电子书)。计算机科学课堂讲稿10865,1-20(2018年)。
理学硕士: 68T05型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cerone,Antonio(ed.)等人,《软件工程与形式化方法》。SEFM 2017并置研讨会:DataMod、FAACS、MSE、CoSim CPS和FOCLASA,意大利特伦托,2017年9月4日至5日。修订精选论文。查姆:斯普林格(ISBN 978-3-319-74780-4/pbk;978-3-319-74781-1/电子书)。计算机科学课堂讲稿10729187-202(2018年)。
理学硕士: 68Q60型 68问55 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2018,英国牛津,2018年7月9-12日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-5583-4)。195年(2018年)。
理学硕士: 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lokam,Satya(编辑)等,第37届IARC软件基础年会技术与理论计算机科学,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für信息(ISBN 978-3-95977-055-2)。LIPIcs–莱布尼茨国际信息学论文集93,第28条,第14页(2018年)。
理学硕士: 68N30型 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Khomenko,Victor(ed.)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI网2018,斯洛伐克布拉迪斯拉发,2018年6月24-29日。会议记录。查姆:斯普林格。选择。笔记计算。科学。10877207-226(2018年)。
理学硕士: 6885年 68兰特
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Khomenko,Victor(ed.)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI网2018,斯洛伐克布拉迪斯拉发,2018年6月24-29日。会议记录。查姆:斯普林格。选择。笔记计算。科学。1087782-98(2018年)。
理学硕士: 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Khomenko,Victor(ed.)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI网2018,斯洛伐克布拉迪斯拉发,2018年6月24-29日。会议记录。查姆:斯普林格。选择。笔记计算。科学。1087719-39(2018年)。
理学硕士: 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
设计IT基础设施。 (英语。俄语原件) Zbl公司 1407.68049
塞本。系统。肛门。 54号,第6期,977-992(2018年); 翻译自基伯恩。西斯特。肛门。2018年,第6期,第141-158页(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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