• SLMC公司

  • 参考第70条[sw04604]
  • 模型 检查动态并发系统空间逻辑规范。这个空间逻辑模型检查器。。。空间Caires和Cardelli的并发逻辑。模型-检查是最。。。广泛使用的技术检查软件系统的时间特性。然而,当分析集中在。。。拓扑,这是至关重要的空间特性和结构动力学。SLMC。。。
  • 装束

  • 在0篇文章中引用[sw08529]
  • 规范和验证方法空间分布式软件构件系统的行为。。。建模检查行为空间上分布式组件系统。设计目标。。。框架是指模型 空间面向组件的行为,简单直观。。。
  • sppmix公司

  • 1条引用[sw27844号]
  • 过程。实现的类和方法建模 空间使用非均匀泊松点过程的点模式。。。模拟、可视化和模型点模式,估计模型,评估融合。。。算法和性能模型选择和检查在提议中建模上下文。。。
  • 地理计数

  • 引用2篇文章[sw24240]
  • 广义线性地质统计计数数据空间 模型包括1)模拟和可视化数据。。。非抽样地点;4)进行贝叶斯分析模型 检查评价拟合优度的程序。。。
  • 需求侧管理

  • 1条引用[sw16304]
  • 模型-采用基于方法进行计算空间上-从远处对动物数量的明确估计。。。提供了几个实用功能模型 检查绘制和方差估计。。。
  • 贝耶萨

  • 1条引用【sw30838】
  • 查普曼模型,无与伦比模型,空间 模型等等。不同类型的优先股。。。便于计算。模型内部的检查模型比较标准也涉及。。。
  • 沙子

  • 在0篇文章中引用[sw21524]
  • 空间马里兰大学帕克分校开发的数据库。沙子采用数据模型... 灵感来自于模型,其功能由不同类型的表定义。。。请把沙子作为申请材料检查经常回来,以确保你正在使用。。。
  • 差距

  • 引用2800篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 莱达

  • 引用259篇文章[sw00509]
  • 在计算机科学的核心领域——数据结构。。。
  • 麦考拉2

  • 在1621篇文章中引用[sw00537]
  • 一个致力于支持Macaulay2系统的软件。。。
  • 数学软件

  • 引用5817篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用527篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。