• FDA(R)

  • 1149篇参考文献[SW045 11]
  • 通过CRAN进行样品分析销售 系统. 这是由于压力造成的。帮助切换到这种情况分布MATLAB的功能和分析通过…
  • Gap

  • 2586篇参考文献[SW0320]
  • 组合结构,等等。这个系统包括源分布式的自由地你可以学习…您的特殊用途。计算机代数系统
  • Python

  • 1003篇参考文献[SW14460]
  • 最受欢迎的操作系统允许销售基于Python的软件用于那些…
  • 自旋

  • 686篇参考文献[SW0345 5]
  • 用于形式化验证分布式的软件系统. 该工具是在贝尔开发的…
  • 棱镜

  • 390篇参考文献[SW01186]
  • 范围的性质系统,包括随机化分布式的制造算法系统工作站集群…
  • 岩浆

  • 2602篇参考文献[SW0540]
  • 描述文档特征的大量文档系统. 这本手册可以在网上买到。文档…用户使用岩浆语言。岩浆是分布式的由计算代数组…
  • MOD-DIST

  • 229篇参考文献[SW07504]
  • 定位设施,包括生产和销售 系统位置库存模型和防守者干涉问题…
  • 门努-奥克夫

  • 229篇参考文献[SW07505]
  • 定位设施,包括生产和销售 系统位置库存模型和防守者干涉问题…
  • 选址

  • 222篇参考文献[SW07503]
  • 定位设施,包括生产和销售 系统位置库存模型和防守者干涉问题…
  • CADP

  • 121篇参考文献[SW0493]
  • 通信协议的设计与实现分布式的 系统. CADP是由VASY团队开发的…
  • 洛托斯

  • 148篇参考文献[SW0961]
  • 体系结构,虽然适用于分布式的并发的系统一般来说。在LOTOS系统
  • 米扎尔

  • 435篇参考文献[SW04704]
  • 系统在MS DOS下在IBM—PC X86兼容机上实现。现在我们分配PowerPC上的Linux。整个米扎尔系统(包括验证器)在PASCAL中使用…
  • 琳达

  • 99篇参考文献[SW09427 ]
  • 打算使用的语言系统编程在分布式的一般设置和综合网络…
  • 格林斯潘

  • 56篇参考文献[SW038 4]
  • 建模、验证和性能评价分布式的 系统使用广义随机Petri网及其…系统能力,不同的分析模块可以在不同的机器上运行分布式的计算
  • 线性代数库

  • 390篇参考文献[SW0830]
  • 高性能线性代数例程分布式的内存消息传递MIMD计算机和网络…电脑两个库都包含用于解决的例程。系统线性方程组,最小二乘问题…稠密、带、三对角线性方程的解系统方程、条件估计和迭代求精…便携式广泛的分布式的-内存环境,如克雷…
  • 塞萨尔

  • 146篇参考文献[SW0810]
  • 塞萨尔,一个互动系统辅助设计分布式的应用塞萨尔允许进步…
  • 急速前进

  • 38篇参考文献[ SW01249 ]
  • 用于仿真的语言和工具集分布式的 系统通过对事件的偏序排序…大型建筑技术分布式的多语言系统. 这项技术是基于…基于事件的执行模型分布式的时间敏感的系统——“定时偏序集模型”,偏序集提供…正确性与性能分析分布式的时间敏感的系统
  • 帕迪索

  • 234篇参考文献[SW0699]
  • 非对称线性系统关于共享内存的方程分布式的内存多处理器。求解者…图书馆版本:非对称,结构对称或对称系统真实的或复杂的,正定的或不确定的…
  • MCRL2

  • 50篇参考文献[SW01496]
  • 指定和分析行为分布式的 系统和协议,是继承者…
  • 形式

  • 300篇参考文献[ SW09051 ]
  • 计算机代数系统(CAS)在理论粒子物理学中非常大的计算,非常…还支持多个内核(见tFrm)和分布式的网络上的计算(PrFrm)。也见…