• 冲刺

  • 参考11篇文章[sw01362]
  • SPRINT:一个生成并发的工具交易-水平 模型从序列码。高潮-水平... 同时发生的模型例如系统C交易-水平 模型可以在。。。平台。然而,这样一个模型从序列码开始是一个时间。。。生成并发系统的工具交易-水平 模型对于用户选择的任务边界。使用。。。
  • SoCLib公司

  • 1条引用[sw16538号]
  • 循环精度/位精度),TLM-DT(交易 水平 建模时间分布)。所有模拟模型...
  • MATLAB金融工具箱

  • 引用4篇文章[sw07147]
  • 金融工具箱提供数学函数建模以及财务数据的统计分析。。。交易成本。工具箱使您能够估计风险,分析利率水平,股票价格。。。
  • 交易人

  • 参考6篇文章[sw20929]
  • 交易人模型融合了某些传统元素交易处理,但允许这些元素。。。基于actor的扩展lambda演算模型,并通过一个数字来说明它的用法。。。没有任何节点故障或应用程序的跟踪-水平失败,第二,我们证明。。。
  • 卡拉

  • 1条引用[sw02710]
  • 卡拉涵盖了各种各样的模型对于交易管理层。最后,作为一个特定领域。。。在更高的层次表达他们的需求水平比一般情况下的抽象。。。
  • JCSP公司

  • 引用3篇文章[sw25045]
  • 提供CSP/occam的扩展版本模型用于通信过程。当前(1.0)版本。。。程序员,完全在应用程序中工作水平和CSP原语。简单的经纪服务。。。集中的或预先计划好的控制。较高的水平经纪人,提供用户定义的匹配服务,很容易。。。连接通道(用于扩展的双向交易在客户端和服务器之间)和匿名通道。。。
  • 惠普霍克斯

  • 1条引用[sw38753]
  • 兴奋性现象包括地震、病毒性流行病、金融交易神经尖峰训练和扩散。。。网络。这些随机过程的有用性模型在许多经济部门中。。。开源R包,并讨论高-水平利用方面的实现和程序设计。。。
  • 数学软件

  • 参考6112篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • R

  • 参考8873篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 圣哲

  • 在1778篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 活力

  • 在38篇文章中引用[sw01037]
  • Zing是一个软件模型正在检查项目。。。
  • 棱镜

  • 引用424篇文章[sw01186]
  • 概率符号模型检查人员。在本文中。。。
  • Ada95型

  • 引用291篇文章[sw01753]
  • Ada是一个结构化的,静态类型的,命令式的,广泛的。。。