已收录 268921 条政策
分类导航
检索结果
已选条件:
software
1999
<符合条件的数据共：2条>
排序方式
登录后可批量下载(统一登录，激活码登录)
  • Validation of a microkernel : a case study
    颁布单位：[Stellenbosch University] |  颁布时间：1999 |  实施时间：1999 |  学科分类：[["Operating, systems, (Computers)",, "Computer, software, --, Development",, "Software, engineering",, "Microkernel",, "Model, checking",, "Protocols",, "Dissertations, --, Computer, science"]]
    预览  |  原文链接    [浏览：3 下载：0]
  • Prototyping parallel functional intermediate languages
    颁布单位：[University:University of Birmingha... |  颁布时间：1999 |  实施时间：1999 |  学科分类：[Science, QA, Mathematics, QA76, Computer, software]
    预览  |  原文链接    [浏览：15 下载：5]