分类导航

检索结果

已选条件:

Mathematics

2003

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

排序方式

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

Linear-time algorithms for graphs with bounded branchwidth

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

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

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

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

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

预览 | 原文链接 [浏览：0 下载：0]
Working together in the classroom : an investigation into software to raise awareness of group-learning skills in children aged 9 and 10

颁布单位：[University:University of Birmingha... | 颁布时间：2003 | 实施时间：2003 | 学科分类：[Science, QA, Mathematics, QA75, Electronic, computers., Computer, science]

预览 | 原文链接 [浏览：0 下载：0]
Implementation of symbolic model checking for probabilistic systems

颁布单位：[University:University of Birmingha... | 颁布时间：2003 | 实施时间：2003 | 学科分类：[Science, QA, Mathematics, QA75, Electronic, computers., Computer, science]

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