• 红尘

  • 1篇参考文献[ SW22066 ]
  • Perl然而,根据我们的经验类型 推论系统是非常难以发展的,因为…本文介绍约束-基于动态类型 推论一种技术推断静止的类型
  • 锁匠

  • 10篇参考文献[SW20224]
  • 技术是一部小说约束-基于分析认为推断一致的相关上下文敏感,使用…分析,包括共享分析推断线程局部性;建模锁的存在性量化…C等不安全特征建模类型铸件。当应用到几个基准,包括…
  • 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 超小卫星

  • 520篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • R

  • 7603篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • UCI ML

  • 2918篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…
  • CPLEX

  • 2489篇参考文献[SW04082]
  • IBM®ILOG®CPLEX®提供C、C++、Java、.NET…
  • 生存

  • 146篇参考文献[SW04364]
  • R软件包生存:生存分析,包括惩罚可能性…
  • JML

  • 188篇参考文献[SW04997 ]
  • Java建模语言(JML)是一种行为模型。