• 萨奇莫

  • 96篇参考文献[SW0619]
  • 使用的第一系统模型 一代,即自底向上的证明过程。证明人…
  • 琳达

  • 99篇参考文献[SW09427 ]
  • 生成的琳达的交流生成的通信是一种新的分布式程序设计语言的基础。特别的。它不同于以前的进程间通信。模型在指定要添加消息时…直到某个进程选择接收它们。生成的通信结果有许多区别…动态全局名称空间生成的通讯模型要求。。。
  • 班德拉

  • 134篇参考文献[SW07663]
  • 可视化组件设计用于促进实验模型-检查Java源代码。Bandera采取…时态规范语言及其应用生成程序模型以及输入语言的规范…
  • MPLUS

  • 316篇参考文献[SW0611]
  • MPLUS为研究人员提供了广泛的选择模型一个程序中的估计、算法和算法…数据可以生成并根据其中的任何一个进行分析模型包括。。。
  • 高超声速

  • 316篇参考文献[SW04125]
  • 符号验证模型检查。如果验证失败,那么HyTead生成诊断错误…
  • 马赛特

  • 55篇参考文献[SW0949]
  • 此设置。特别地:模型 一代(反例重建)模型枚举(用于谓词抽象…
  • 克朗

  • 32篇参考文献[SW20428 ]
  • 图:一种方法建模网络我们怎样才能生成现实的网络?此外。。。随着时间的推移收缩直径。当前网络模型发电机要么不能匹配几个…两者都有。这里我们提出了一个生成的 模型对于既数学又易于处理的网络…Kronecker图的拟合算法一代 模型到大型真实网络。幼稚的方法…
  • 教堂

  • 44篇参考文献[SW08946]
  • 教堂:一种语言生成的 模型. 我们介绍教会,一个通用的语言来描述随机…生成的过程。教会是以LISP为基础的模型λ演算,包含纯…
  • 达纳尔

  • 67篇参考文献[SW12305]
  • 随机一般均衡(DSGE)与重叠世代(OLG)模型. 这个模型由DYARE解决的包括…
  • CGAL

  • 320篇参考文献[SW0118]
  • 建模地理信息系统,分子生物学,医学成像,机器人学和运动规划,网格一代,数值…
  • GSS

  • 245篇参考文献[SW06099 ]
  • 光滑样条方差分析模型具有随机数据的非参数函数估计,否则称为平滑…几个研究世代统计学家。由最近提供充足的桌面辅助…设置数量少得多。光滑样条方差分析模型是一个多用途的平滑方法系列…
  • Visual Basic

  • 295篇参考文献[SW03518]
  • Visual Basic是第三—一代事件驱动的程序设计语言和集成开发环境…从微软的COM编程模型首次发布于1991并宣布遗产…
  • HR

  • 29篇参考文献[SW1092]
  • 定理程序一代. 自动化理论的形成涉及到感兴趣的对象、概念的产生。作品(i)使用锏模型 发电机生成从公理感兴趣的对象…
  • 伊巴尔

  • 27篇参考文献[ SW08945 ]
  • 允许任意复杂的描述生成的 模型. 此外,iBAL的观察语言使…
  • 系词

  • 109篇参考文献[ SW07944 ]
  • 多变量设计与扩展平台建模在R.S4类中使用Copulas…随机数评价一代和图形显示。基于Copula的拟合模型用极大似然法…
  • HLM

  • 41篇参考文献[SW0616]
  • 模型结果变量生成线性的模型解释变量的帐户…
  • 莫迪卡

  • 84篇参考文献[SW04352]
  • 多领域建模例如,机电一体化模型在机器人,汽车和航空航天应用涉及机械…面向过程的应用程序一代以及电力的分配。模型在Modelica数学上是…