NSTL国家科技图书文献中心

外文文献中文文献

筛选条件：

共搜索到7条信息

排序：

1. Tools and algorithms for the construction and analysis of systems,part 1 NSTL国家科技图书文献中心

European Joint Conferences on Theory and Practice of Software | International Conference on Tools and Algorithms for The Construction and Analysis of Systems - Springer Nature Swit... - Armin Biere | David Parker - 瑞士 - Cham - 2020,

2. Tools and algorithms for the construction and analysis of systems,part 2 NSTL国家科技图书文献中心

European Joint Conferences on Theory and Practice of Software | International Conference on Tools and Algorithms for The Construction and Analysis of Systems - Springer Nature Swit... - Armin Biere | David Parker - 瑞士 - Cham, Switzerland - 2020,

3. Computer aided verification NSTL国家科技图书文献中心

International Conference on Computer Aided Verification - Springer - Armin Biere, Roderic... | Biere, Armin | Bloem, Roderick - 德国 - Berlin - 2014,

4. Hardware and software NSTL国家科技图书文献中心

International Haifa Verification Conference - Springer-Verlag - Armin Biere...[et al... | Biere, Armin - 德国 - Berlin - 2013,

5. Hardware and software NSTL国家科技图书文献中心

International Haifa Verification Conference - Springer - Armin Biere | Amir Nahir | Tanja Vos - 德国 - Berlin - 2013,

6. 2009 Formal Methods in Computer-Aided Design (FMCAD 2009) NSTL国家科技图书文献中心

International Conference on Formal Methods in Computer Aided Design - IEEE - Armin Biere | Carl Pixley - 美国 - Piscataway - 2009,

7. Theory and Applications of Satisfiability Testing - SAT 2006 NSTL国家科技图书文献中心

International Conference on Theory and Applications of Satisfiability Testing - SAT - Springer-Verlag - Armin Biere - 德国 - Berlin - 2006,

上一页1下一页

抱歉，暂无相关数据。

抱歉，暂无相关数据。

检索结果集分析

结构化综述分析

主编：Biere, Armin

NSTL学科导航

服务站

成员单位

友情链接