• 拉帕克

  • 1579篇参考文献[SW0503]
  • 3级BLASα-α集规格对于FORTRAN子程序做各种类型…由制造商提供。高效机械具体的BLAS的实现是可用的…不会像A一样表演明确地调谐实现…
  • CPLEX

  • 2479篇参考文献[SW04082]
  • 解决线性规划(LP)及相关问题。明确地它解决了线性或二次约束优化问题。
  • 麦考莱2

  • 1538篇参考文献[SW05337 ]
  • 计算方法的安装明确地和他们在一起。MaCulay2可以计算Betti数、EXT、上同调…
  • 加姆斯

  • 816篇参考文献[SW0497 8]
  • 通用代数建模系统(GAMS)是明确地设计用于线性、非线性和混合整数的建模。耗时的细节具体的机器和系统软件的实现。GAMS特别有用。
  • 莫德

  • 651篇参考文献[SW06263]
  • 支持等式和重写逻辑的系统规格并且编程范围广…等式逻辑子语言。除了支持等式规格和编程,Maude还支持重写逻辑运算…
  • PVS

  • 600篇参考文献[SW0384]
  • 验证系统:即规格语言与支持工具和定理证明器集成…
  • 谷胱甘肽

  • 490篇参考文献[SW0366]
  • 几何、网格、求解器和后处理。这个规格对这些模块的任何输入…
  • Z

  • 274篇参考文献[SW1091]
  • 使用Z.规格精炼和证明。这本书是一个深入的介绍…规格语言$Z$。它主要是针对用户的,背景理论是…提倡正式的纪律规格推理?另一个失望是…
  • 棱镜

  • 393篇参考文献[SW01186]
  • 通过对这些系统进行模型检查来执行规格写在概率时态逻辑PCTL…
  • 字网

  • 378篇参考文献[ SW01777 ]
  • 只是单词形成字母串,但是具体的词义。因此,单词…
  • 抱怨

  • 373篇参考文献[SW0610]
  • 许多平台和操作系统。为了更多具体的产品信息、库内容和可用性点击…
  • 开泡剂

  • 350篇参考文献[SW04317]
  • 包括超过80个求解器应用程序,模拟具体的工程力学中存在的问题及对策
  • PS-BLAST

  • 217篇参考文献[SW17324]
  • 由爆炸产生的对准位置具体的得分矩阵,并使用……搜索数据库。这个矩阵。结果位置-特定的迭代爆破(PSSIBLT)程序运行在大致相同的…
  • JML

  • 188篇参考文献[SW04997 ]
  • 建模语言(JML)是一种行为接口。规格可以用来指定…的语言…Eiffel:基于模型的方法规格落叶松亲缘关系的探讨规格语言,有一些元素的细化演算…
  • 团结

  • 173篇参考文献[SW13461 ]
  • 团结。我们评估Unity——一个计算模型,规格Chandy定义的语言和证明系统…程序——作为仿真模型的平台规格并进行分析。我们描述了一个统一的基础…方法从一个仿真模型开始规格以一组耦合的形式…用形式证明定理规格. 该方法是通过生成说明…
  • 斯巴耶斯

  • 294篇参考文献[SW10160]
  • MCMC方法的效率取决于具体的手头的问题。这需要广泛的编码…
  • 兰斯洛特

  • 276篇参考文献[SW0500 ]
  • 书主要涉及的是具体的优化包,讨论的问题有更广泛的…
  • 塞萨尔

  • 153篇参考文献[SW0810]
  • 规格CSEAR并发系统的验证。本文的目的是…关于一组给定的规格. 进行了算法描述。CSP的高级语言规格是一组公式…评价每一个公式规格
  • ODE23

  • 260篇参考文献[SW06600 ]
  • 向量T以获得解决方案具体的时间T0,T1,…,TF(所有增加…
  • 奥斯姆

  • 246篇参考文献[SW06367]
  • 低马赫数极限的发展。明确地我们采用渐近分析来正式推导…