• 已选条件：
  • × 73.12|51.1
 全选  【符合条件的数据共：5条】

1 QAOA Tutorial Outline [科技报告]

作者:Venturelli, Davide

发布日期:2018

关键词:ALGORITHMS;COMBINATORIAL ANALYSIS;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：0 下载：2  ]    

2 Addressing Software Security [科技报告]

作者:Bailey, Brandon

发布日期:2015

发布机构:

预览  |  原文链接  |  全文  [ 浏览：11 下载：0  ]    

3 Independent Verification and Validation Program [科技报告]

作者:Bailey, Brandon T.

发布日期:2015

发布机构:

预览  |  原文链接  |  全文  [ 浏览：4 下载：0  ]    

4 Rewriting Modulo SMT and Open System Analysis [科技报告]

作者:Meseguer, Jose, Rocha, Camilo, Munoz, Cesar

发布日期:2014

发布机构:

预览  |  原文链接  |  全文  [ 浏览：2 下载：0  ]    

5 Autonomous Monitoring and Control of Rocket Test Systems [科技报告]

作者:Figueroa, Fernando, Bakker, Phillip

发布日期:2016

发布机构:

预览  |  原文链接  |  全文  [ 浏览：5 下载：1  ]