• R

  • 第8359条中引用的条款[sw00771]
  • 是一种统计语言和环境。。。
  • 旋转

  • 引用709篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 使用Bandera工具集进行模型检查。。。
  • Z

  • 引用278篇文章[sw10291]
  • 使用Z.规范、细化和证明。这本书。。。
  • C4.5款

  • 参考文献1120篇[sw12176]
  • C4.5:机器学习程序。(C4.5已经。。。
  • 夏布

  • 在39篇文章中引用[sw14898]
  • 查伯特:从图像的关系数据库检索。。。
  • 冥王星

  • 在10篇文章中引用[sw22497]
  • Plutus:可扩展的安全文件在不受信任的存储上共享。。。
  • 天狼星

  • 在10篇文章中引用[sw22498]
  • 保护不受信任的SiRiUS远程存储。本文介绍。。。