• 麦考莱2

  • 1503篇参考文献[SW05337 ]
  • 1992以来国家科学基金会。MaCulay2包括核心计算Grübn-基和梯度的算法…具有单项排序的多项式环。这个核心算法可以通过一个多用途的高…
  • MFooToBOX

  • 445篇参考文献[SW23 73]
  • “纯香草”的版本;它们包含核心算法方面的最低限度的无关紧要的代码…
  • 古罗比

  • 428篇参考文献[SW04105]
  • 开发现代建筑与多功能建筑核心处理器,使用最先进的最新实现…
  • 流利的

  • 392篇参考文献[SW04263]
  • 此应用程序,但仅串行(单)核心乔布斯…
  • 抱怨

  • 359篇参考文献[SW0610]
  • 灵活和便携的IT保留在核心数以千计的程序和应用跨越…
  • 努斯莫

  • 284篇参考文献[SW04131]
  • 工业设计的验证核心对于自定义验证工具,作为测试平台…
  • 奥卡姆

  • 264篇参考文献[SW06363]
  • 从语言的角度来看,它扩展了核心具有完全成熟的对象的CAML语言…
  • 勒达

  • 247篇参考文献[SW0509]
  • 核心计算机科学领域——数据结构、图形和网络算法和计算几何
  • 谎言

  • 145篇参考文献[ SW01075 ]
  • 进入包裹并传递给核心系统的。核心包含。。。
  • 底基

  • 186篇参考文献[SW3042]
  • dBASE系统包括核心数据库引擎,一个查询系统,一个表单引擎…
  • 多尔芬

  • 135篇参考文献[SW04313]
  • 基于偏微分方程和工具核心芬尼功能的部分,包括…
  • 耶斯

  • 131篇参考文献[SW044 36]
  • Yice也做MaxSMT(和,diual,unSAT)岩心并且作为一个普通的竞争对手…
  • 百万分之一

  • 105篇参考文献[SW06975 ]
  • 开发时间。今天的处理器越来越多核心计数,更广泛的向量单位和更多的变化…
  • 机锋网

  • 104篇参考文献[SW04698]
  • 素理想除上述外核心功能包包含许多工具,…
  • 皮克特

  • 70篇参考文献[ SW08929 ]
  • 静态型系统核心. 当前版本包括一个PICT…教程,许多图书馆,和示例程序。这个核心语言——米尔纳、Parrow的异步变体…
  • CVC4

  • 94篇参考文献[SW0985]
  • LIVV2同时优化设计核心系统架构和决策程序采取…
  • 球团

  • 92篇参考文献[SW07019]
  • 推理机如颗粒核心基于本体的数据管理应用组件
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 轻量级Java:最小的核心Java和GJ的微积分。最近的一些研究已经介绍了…