• UCI毫升

  • 引用2918篇文章[sw04074]
  • 存储库是数据库的集合, 理论,以及使用的数据生成器。。。
  • 霍普拉

  • 在14篇文章中引用[sw02330]
  • 介绍。它的根是线性的 理论因为并发性是草图。。。
  • RIM U DOM.F90型

  • 引用了29篇文章[sw25510]
  • 正则和单数仅边界离散积分-理论和Fortran代码。。。维与三维,正则与奇异积分。一个独立的Fortran代码。。。理论这只是整合的边界吗需要分为。。。
  • Mu分析综合工具箱

  • 参考109篇文章[sw19506]
  • 一个时间的系统,频率或状态空间方式。μ-工具也。。。用户可以访问控制系统的最新发展理论即H∞最优控制和m分析。。。
  • 人力资源

  • 引用了29篇文章[sw10392]
  • 数学家哈代和拉马努扬理论数学构成. 它的工作原理是(我)使用。。。
  • 4 EMKA2型

  • 引用51篇文章[sw16168]
  • 它基于粗糙集理论再加上优势关系,相当。。。. 他不必熟悉理论模型分析依据。。。
  • 果洛语

  • 在168篇文章中引用[sw02159]
  • GOLOG:一种动态的逻辑编程语言. 本文提出了一种新的逻辑程序设计方法。。。基于一个正式的理论在情况的扩展版本中指定的操作。。。
  • 两性离子

  • 引用5篇文章[sw09953]
  • 应用通过一个声明 理论. 引导用户创建图表。。。通过基于 理论以及规范的当前状态。。。
  • 霍尔夫

  • 引用3篇文章[sw25266]
  • 使用数学的系统 理论为了解释用函数编写的程序。。。用于定义递归函数的包,以及用于定义递归数据类型的包。每一个。。。
  • 新霍普拉

  • 引用3篇文章[sw06992]
  • 作为元语言的起源 理论都是草图,但大部分。。。
  • 科卡斯尔

  • 在26篇文章中引用[sw13076]
  • . CoCasl因此成为研究语义和证明的元框架理论...
  • 凯美特

  • 1条引用[sw30106]
  • ML数据库和数据库库 理论实验结果表明,CAMLET支持。。。
  • 马索尔

  • 引用24篇文章[sw12419]
  • 并行和数值可伸缩性用于分解。产生的一类QP问题。。。谱1(O)有界迭代。理论产生独立的误差界。。。
  • 许多

  • 1条引用[sw18803]
  • 演绎推理或运用演绎推理-具体的理论以及完整性约束的管理。。。
  • Nuprl灯

  • 1条引用【sw31982】
  • 指定、关联和发展类型理论和数学. 框架本身假设(并提供。。。
  • Spass FD公司

  • 引用2篇文章[sw16027号]
  • 一阶理论,也涉及到所有模型上的特定有限元而且经常。。。喇叭的最小模型理论). 这两个问题都是二阶的。。。既有不统一的,也有固定的最小模型定理证明能力。。。
  • 数量测试

  • 参考6篇文章[sw30779]
  • 静态代数决策的理论框架理论在行为二元选择数据中观察到的可变性。。。以定制设计的公共设施作为补充-统计分析软件包,QTest软件。我们举例说明。。。“随机累积前景”的新版本理论“该方法的主要优点是。。。