×

兹马思-数学第一资源

找到41份文件(结果1-41)

100
马查克斯
Beyer,Dirk(ed.)等人,验证,模型检查和抽象解释。第21届国际会议,VMCAI 2020,新奥尔良,洛杉矶,美国,2020年1月16-21日。会议记录。查姆:斯普林格。选择。笔记计算。科学。11990426-448(2020年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
拉森,金G(ed.)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。83,第55条,第13页(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
J。计算机。系统。科学。内景。 56号,第5期,810-817(2017年); 翻译自Izv。罗斯。阿卡德。恶心,泰尔。西斯特。普拉维。2017年第5期,第60-66期(2017年)。
理学硕士:49N90型 93A30型 49S05型 90B30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
EACSL第二十三届计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑研讨会联席会议记录,2014年7月14日至18日,奥地利维也纳,加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第23号文件,10页(2014年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15-17日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29379-390(2014)。
理学硕士:68Q60型 91A43型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Seth,Anil(ed.)等人,第33届软件技术和理论计算机科学基础国际会议,FSTTCS 2013,印度古瓦哈提,2013年12月12日至14日,会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-64-4)。LIPIcs–莱布尼茨国际信息学论文集24327-338(2013)。
理学硕士:68Q45号 68问17 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第14届ACM混合系统国际会议记录:计算与控制,HSCC 2011,芝加哥,伊利诺伊州,美国,2011年4月12-14日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-0629-4)。221-230(2011年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
布雷比亚,C。A(ed.)等人,《风险分析VI:模拟和危害缓解》(2008年风险分析)。第六届计算机模拟风险分析与减灾国际会议,2008年5月5日至7日,希腊Cephalonia。南安普顿:WIT出版社(ISBN 978-1-84564-104-7/hbk)。WIT信息和通信技术交易39525-534(2008年)。
理学硕士:49N70型 91A23型 49N90型
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

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