• 已选条件:
  • × 2018
 全选  【符合条件的数据共:12135条】

作者:Gao, Zekai, Jermaine, Chris, Jermaine, Chris   

论文开放时间:2018

培养单位:Rice University

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

作者:Chen, Lee H, Nakhleh, Luay K, Nakhleh, Luay K   

论文开放时间:2018

培养单位:Rice University

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

作者:Green, Colby D, Schuler, Douglas A, Schuler, Douglas A   

论文开放时间:2018

培养单位:Rice University

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

4 BDD-Based Boolean Synthesis [学位论文]

作者:Martinelli Tabajara, Lucas, Vardi, Moshe Y., Vardi, Moshe Y.   

论文开放时间:2018

培养单位:Rice University

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

作者:Reyes, Denise, Salas, Eduardo, Salas, Eduardo   

论文开放时间:2018

培养单位:Rice University

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

作者:Zhang, Tuo, Gordon, Richard G, Gordon, Richard G   

论文开放时间:2018

培养单位:Rice University

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