• 国际实验室

  • 385篇参考文献[SW044]
  • 用于可靠计算的MATLAB工具箱自己-验证算法。它包括自己-验证方法…
  • 三叶虫

  • 313篇参考文献[SW04028 ]
  • 每个TrimiOS程序包都是自己-包含,独立的软件块…
  • 糕点

  • 107篇参考文献[SW11775 ]
  • 糕点是完全分散的、可伸缩的。自己-组织,它自动适应到达,离开…可扩展性和效率,其能力自己-组织和适应节点故障…
  • Lisp

  • 124篇参考文献[SW07201]
  • 条件句、高阶函数、递归和自己-托管编译器。(2)名称LISP派生…
  • 瓦多

  • 112篇参考文献[SW0698]
  • 粒子作用下的粒子系统自己-一致的电磁场。未知的…
  • 谎言

  • 80篇参考文献[SW09264]
  • 微分方程分析谎言是自己包含Lie分析的PC程序…
  • 软苏

  • 77篇参考文献[SW01415]
  • MSMS.本文是一篇文章。自己包含预期用户的指南,并指示…
  • 多面手

  • 76篇参考文献[SW13340]
  • 复杂几何形状与A的可能啮合自己包含MATLAB代码。主要成分…
  • 梅切赫

  • 70篇参考文献[SW01112]
  • 数据结构的集合自己-包含,可以创建,销毁和调整大小…
  • AXRES-XSC

  • 49篇参考文献[ SW000 015]
  • 面向开发的程序设计语言自己-验证数值算法。这样的算法传递结果…这些计算的手。例如,自己验证了数值技术的成功应用。
  • 特雷斯普

  • 62篇参考文献[SW14217]
  • 进化三维通用代码,自己-天体流体中的引力流体,包括…
  • 琼博

  • 51篇参考文献[SW04316]
  • 支持并行平台和跨平台自己描述文件格式。Chombo…
  • 阿卡多

  • 51篇参考文献[SW047 64 ]
  • 鲁棒优化ACADO工具包实现为自己包含C++代码并附带…
  • 西雅娜

  • 51篇参考文献[SW05894]
  • 代码生成和广泛的单元测试自己-验证。蒂亚诺已大规模供电…
  • 抄写员

  • 50篇参考文献[SW02434 ]
  • 互联网,并利用糕点的可靠性,自己-组织和地方性质。使用糕点…
  • HSLMI20

  • 47篇参考文献[SW07246]
  • 二阶标量椭圆的离散化自己-伴随偏微分方程。它也可以…
  • 肉斧

  • 46篇参考文献[SW04906]
  • 给定模块。每个程序都是自己-包含,从文件读取它的输入…
  • LPoBooad

  • 46篇参考文献[ SW31782]
  • 路径跟踪内点法自己-对偶方法。此外,还有在线…