分类导航

检索结果

已选条件:

software

2012

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

排序方式

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

Automated program generation : bridging the gap between model and implementation

颁布单位：[Stellenbosch University] | 颁布时间：2012 | 实施时间：2012 | 学科分类：[["Computer, software, --, Verification",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science"]]

预览 | 原文链接 [浏览：0 下载：0]
Railway traffic rescheduling approaches to minimise delays in disturbed conditions

颁布单位：[University:University of Birmingha... | 颁布时间：2012 | 实施时间：2012 | 学科分类：[Science, QA, Mathematics, QA76, Computer, software]

预览 | 原文链接 [浏览：0 下载：0]
Matching algorithms for interest management in distributed virtual environments

颁布单位：[University:University of Birmingha... | 颁布时间：2012 | 实施时间：2012 | 学科分类：[Science, QA, Mathematics, QA76, Computer, software]

预览 | 原文链接 [浏览：0 下载：0]
NOOP: A mathematical model of object-oriented programming

颁布单位：[Rice University] | 颁布时间：2012 | 实施时间：2012 | 学科分类：[Applied, sciences, Object-oriented, programming, Computer, software, Nominal, OO, languages, Statically-typed, OO, languages, Applied, mathematics, Computer, science]

预览 | 原文链接 [浏览：0 下载：3]
Business Process Access Control (BPAC): workflow-based authorisation for complex systems

颁布单位：[University:University of Birmingha... | 颁布时间：2012 | 实施时间：2012 | 学科分类：[Science, QA, Mathematics, QA76, Computer, software]

预览 | 原文链接 [浏览：4 下载：0]
An investigation into coordinate measuring machine task specific measurement uncertainty and automated conformance assessment of airfoil leading edge profiles

颁布单位：[University:University of Birmingha... | 颁布时间：2012 | 实施时间：2012 | 学科分类：[Science, QA, Mathematics, QA76, Computer, software]

预览 | 原文链接 [浏览：1 下载：0]
Analysing accident reports using structured and formal methods

颁布单位：[University:University of Glasgow, ... | 颁布时间：2012 | 实施时间：2012 | 学科分类：[QA76, Computer, software]

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