• UCI ML

  • 2847篇参考文献[SW04074]
  • 所有被引用最多的“论文”电脑 科学. 网站的当前版本…
  • PETSC

  • 1079篇参考文献[SW04012]
  • 特别是,对于没有电脑 科学背景、经验编程在C、C++或FORTRAN中…
  • 奥伊斯

  • 3084篇参考文献[SW07248]
  • 电脑科学家或从事信息工作的人科学)处理文件…Knuth:“艺术”电脑“编程”,在这里你找到算法描述。条目甚至…
  • 自旋

  • 695篇参考文献[SW0345 5]
  • 原始UNIX组计算 科学研究中心,从1980开始。软件…
  • 麦考莱2

  • 1538篇参考文献[SW05337 ]
  • 全国科学基金会自1992成立。MaCulay2包括核心算法计算Grübnar基和梯度…
  • Algl 68

  • 281篇参考文献[SW01226]
  • Algl 68到田间电脑 科学已经深入,广泛和持久…
  • 勒达

  • 258篇参考文献[SW0509]
  • 核心电脑 科学数据结构、图形和网络算法,以及计算的几何学——勒达…
  • NQTHM

  • 146篇参考文献[SW075 43]
  • 过程中的正确性问题电脑 科学“(1981;ZBL 476.68009)]和“加法…”A的有界量化和部分函数计算的逻辑及其定理证明器〔J. Autom〕
  • 自动机

  • 143篇参考文献[ SW000 086]
  • 并行问题,课堂讲稿电脑 科学,第1457卷,Springer,纽约…
  • XSB

  • 137篇参考文献[SW1387]
  • 机构数量,包括电脑 科学新几内亚州立大学石溪分校
  • 分包

  • 110篇参考文献[SW0203]
  • 现代程序设计方法迁移电脑 科学科学化计算开发数字软件…
  • Lisp

  • 125篇参考文献[SW07201]
  • 语言,LISP开创了许多想法。电脑 科学包括树型数据结构、自动存储管理…
  • 雷维尤

  • 101篇参考文献[SW0798]
  • 开发部电脑 科学基督教的阿尔布雷希茨基尔大学。
  • 仙人掌

  • 76篇参考文献[SW044 22]
  • 建造各种各样的计算应用在科学和工程,包括天体物理学、相对论和化学…提供最新进展计算的 科学,如可互换的并行数据分布和高…同时隐藏底层的大部分细节计算的来自应用程序开发人员的库。我们调查…
  • 吉纳克

  • 68篇参考文献[SW01609]
  • 再加上更为成熟的领域电脑 科学(像计算-强烈的数字应用,图形界面…
  • OpenMPI

  • 77篇参考文献[SW13111]
  • 软件供应商、应用开发人员和电脑 科学研究人员。。。
  • 马蒂塔

  • 69篇参考文献[SW06140]
  • 开发中的定理证明器电脑 科学波罗尼亚大学系…
  • SOM

  • 60篇参考文献[ SW07375 ]
  • 信息实验室电脑 科学在赫尔辛基工业大学…