×

兹马思-数学第一资源

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

100
马查克斯
Beyer,Dirk(ed.)等人,验证,模型检查和抽象解释。第21届国际会议,VMCAI 2020,新奥尔良,洛杉矶,美国,2020年1月16-21日。会议记录。查姆:斯普林格(ISBN 978-3-030-39321-2/pbk;978-3-030-39322-9/电子书)。计算机科学课堂讲稿11990293-313(2020)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
模型验证等。第21届国际会议,VMCAI 2020,新奥尔良,洛杉矶,美国,2020年1月16-21日。会议记录。查姆:斯普林格(ISBN 978-3-030-39321-2/pbk;978-3-030-39322-9/电子书)。计算机科学课堂讲稿11990,270-292(2020年)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Barthe,Gilles(ed.)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17-21日。论文选集。曼彻斯特:轻松。史诗服务器。计算机。57534-542(2018年)。
理学硕士: 68吨20 68宽10 68度15度
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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