×

兹马思-数学第一资源

2014帝国理工学院计算机专业学生研讨会,ICCSW’14,伦敦,英国,2014年9月25日至26日。(英语) Zbl 1329.68035
OASIcs–信息学中的OpenAccess系列43Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-76-7)。xiii,98 p.,仅电子版,开放存取(2014年)。

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。关于前面的研讨会,请参见[兹布1280.68028].
索引文章:
丹尼尔,雅库布;帕里克,帕维尔《程序验证中的谓词抽象:调查与当前趋势》,27-35[Zbl 1427.68165]
潘,群生,符号执行作为DPLL模理论,58-65[Zbl 1427.68050]
斯科斯基,麦基,关于通过剩余散列引理导出密钥的最新进展,83-90[Zbl 1427.94082]
打屁股,克里斯托夫,选择公理,最大独立集,论证和对话游戏,91-98[Zbl 1427.68297]
理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 链接