• 兰斯洛特

  • 276篇参考文献[SW0500 ]
  • 非线性优化问题。这本书提供了相干的包装概述…包装问题讨论得更广启示对于大型的设计和实现…
  • 阿戈

  • 11篇参考文献[SW07192]
  • 提出了。它应用于几何证明。相干的逻辑是一阶的碎片…限于一个通用的量化含义其中先行词是连词…连词的量化公式原子弹相干的逻辑在上下文中提供了不同的优点…
  • 元普林

  • 4篇参考文献[SW1252]
  • 首要的蕴涵. 本文介绍了一种分析方法。相干的以及非相干故障…盖茨,也不是素数蕴涵这些树。作者提出了概念…
  • 辅酶Q

  • 1740篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • MATLAB

  • 11360篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • R

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

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

  • 202篇参考文献[ SW047 32 ]
  • 多参数工具箱(MPT)是一个免费的…
  • JBOOL

  • 100篇参考文献[SW06185]
  • 该软件促进了一些通用和有用的工具…
  • 帕秒

  • 25篇参考文献[SW09610]
  • PARSEC基准套件:特征与体系结构启示