分类导航

检索结果

已选条件:

Computer science

2003

<符合条件的数据共：3条>

排序方式

登录后可批量下载(统一登录，激活码登录)

Linear-time algorithms for graphs with bounded branchwidth

颁布单位：[Rice University] | 颁布时间：2003 | 实施时间：2003 | 学科分类：[Mathematics, Industrial engineering, Computer science]

预览 | 原文链接 [浏览：0 下载：1]
BDD-based decision procedures for modal logic K

颁布单位：[Rice University] | 颁布时间：2003 | 实施时间：2003 | 学科分类：[Mathematics, Computer science]

预览 | 原文链接 [浏览：2 下载：4]
Client-server component architecture for scientific computing

颁布单位：[Rice University] | 颁布时间：2003 | 实施时间：2003 | 学科分类：[Mathematics, Computer science]

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