• 菲亚普

  • 324篇参考文献[SW10822]
  • FEAPPV有限元分析 程序个人版。FEAPV是一个通用有限元。分析 程序它是为研究和教育使用而设计的(如果你正在寻找……)
  • Z3

  • 440篇参考文献[SW0488]
  • 与多个程序 分析来自微软研究的测试工具和验证工具。这些…
  • 克劳索

  • 384篇参考文献[SW27 805]
  • 独立FORTRAN程序对于集群分析. 这个程序描述和说明…
  • 数据记录仪

  • 274篇参考文献[ SW200 23 ]
  • 数据集成,信息抽取,网络化,程序 分析,安全和云计算。(1)它的起源日期…回到逻辑起点编程但它作为一个独立的区域变得突出了…
  • 菲亚普

  • 151篇参考文献[SW049 63]
  • 有限元分析 程序. FEAP是一个通用有限元分析 程序哪个…
  • 马赛玛

  • 691篇参考文献[ SW0120 9]
  • 用大型MySyMA计算程序. MaSyMA提供:符号和数字操作…数字的分析2D和3D报告质量图形交互式科学笔记本用户编程环境
  • 班德拉

  • 133篇参考文献[SW07663]
  • 综合馆藏程序 分析转换,可视化组件设计,以促进实验与模型…时间规范语言,它生成一个程序输入语言中的模型和规范…
  • 贾格斯

  • 158篇参考文献[ SW08040]
  • 另一个吉布斯采样器。这是一个程序分析使用马尔可夫的贝叶斯层次模型…
  • 蟒蛇

  • 75篇参考文献[SW044 93]
  • 包BOA:贝叶斯输出分析 程序(BOA)为MCMC。菜单驱动程序图书馆…
  • MapReduce

  • 228篇参考文献[SW0566]
  • 平行编程模型最初开发用于大规模的Web内容处理。数据分析遇见…数据分析应用从关系代数算子到MapReduce的转换与优化程序关注一种特殊类型的数据分析查询,即多组查询。
  • 温布斯

  • 590篇参考文献[SW044 92]
  • 单击“Windows界面”来控制分析,或者可以使用图形来构造模型…叫做dodoLubug。WiBug是独立的程序,虽然它可以从其他…
  • 塞尔巴

  • 146篇参考文献[SW01160]
  • 弹性静力学分析Serb77是一个FrTr77程序应用边界元法求解…
  • 谎言

  • 78篇参考文献[SW09264]
  • 程序为了谎言分析微分方程。谎言是一个自给自足的电脑程序分析普通方程或偏微分方程,一个方程或一个同时方程…作为一个完整的程序它包含了MuMax的必要部分并准备好了…以前的版本是古典谎言分析求出适定性微分的点对称性。
  • SPSS

  • 417篇参考文献[SW04269]
  • SPSS是一台计算机程序用于调查创作和部署(IBM SPSS数据收集…挖掘(IBM SPSSMODER),文本分析,统计分析协作和部署(批处理和自动化)…
  • 62篇参考文献[SW09636]
  • 积分。第11章:Bean:边界元分析 程序
  • SmithGRP

  • 115篇参考文献[ SW01066 ]
  • SimGr.Pax和其他符号程序Lie对称性分析偏微分方程
  • 团结

  • 170篇参考文献[SW13461 ]
  • 仿真模型开发分析团结一致。我们评估Unity——一个计算模型,规范语言…分布式的程序——作为仿真模型规范的平台分析. 我们描述一个统一体…基于施工方法,分析仿真模型的执行。方法从…开始。过渡系统,第二步成为可执行文件程序描述。该方法提供了一种手段…
  • 牛顿利伯

  • 247篇参考文献[SW0796]
  • 不变收敛分析. 这些算法的一部分是非正式的。程序在课文中…
  • 卡帕切克

  • 45篇参考文献[SW07408]
  • 显式状态组合分析谓语分析. (竞争贡献)。CPAchecker是一个开源的…基于可配置的概念程序 分析(注册会计师)。我们提交CPAchecker配置,…