×

兹马思-数学第一资源

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

100
马查克斯
Legay,Axel(ed.)等人,《用于系统构建和分析的工具和算法》。2017年第23届国际会议,作为欧洲软件理论与实践联合会议的一部分举行,2017年4月22日至29日,瑞典乌普萨拉,2017年ETAPS。会议记录。第一部分。柏林:斯普林格。选择。计算机笔记。科学。1020558-75(2017年)。
理学硕士: 68Q60型 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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