• Z-树

  • 引用585篇文章[sw11707]
  • Z-树:苏黎世现成经济实验的工具箱。苏黎世现成经济实验工具箱。。。z-树是一个广泛使用的软件包开发和进行经济实验。。。编程经验是不必要的,虽然有用。z-树在尊重和尊重方面都是灵活的。。。
  • Z

  • 引用278篇文章[sw10291]
  • 使用Z. 规范、完善和证明。这本书是一个深入的介绍。。。规范语言$Z$. 它主要是针对用户的;背景理论是。。。必要的。对很多人来说$Z$books已经上市了,一本重要的小说。。。功能是集成$Z$与精化演算和数据精化。总的来说。。。
  • 规范化

  • 在149篇文章中引用[sw00630]
  • Hilbert(或Ehrhart)(拟)多项式Z-分级(例如,有理多面体),广义。。。
  • 算法644

  • 参考第54条[sw09113]
  • 计算贝塞尔函数Hv(1)的子程序(z...z),四(z),合资公司(z),千伏(z),伊夫(z)还有艾利的功能。。。z),艾(z),商务智能(z),二’(z)对于阶数sv≥0且复杂。。。z英寸&pgr;z≤&pgr;。八个可调用子程序及其双精度对应。。。
  • RKC公司

  • 参考文献108篇[sw00808]
  • 侯文和B.P.Sommeijer[Z. 安格。数学。机械。。。
  • 证明力

  • 引用57篇文章[sw06339]
  • 为规范和证明提供支持Z使用语义嵌入Z进入。。。配套工具精化ZAda的SPARK子集也可用。。。
  • 马戏团

  • 引用88篇[sw21828]
  • 统一命令CSP,Z,以及精化微积分。我们描述马戏团的语言。。。
  • Z/晚上

  • 引用了43篇文章[sw10262]
  • Z/EVES Eclipse prover IDE。社区Z工具提供了一个基于Eclipse的IDE和与。。。定理证明者。这就延伸了这种发展ZCZT规范与定理证明。。。
  • 动物园

  • 在38篇文章中引用[sw10603]
  • 常规和不规则时间序列的基础设施(Z的有序观察)。一个S3班。。。
  • 美国铝业

  • 27条引用[sw09481]
  • 合金,是一种基于Z. 它的发展是由需要。。。更易于自动分析。Z,Alloy支持描述其状态。。。
  • SDPNAL公司+

  • 引用了37篇文章[sw13239]
  • 基于乘法器的解算器称为SDPAD byZ. Wen等人【数学。程序。计算。。。
  • 混频器

  • 引用18条[sw06074]
  • 精确地说,假设你有许多正态分布z的,每个z[i] 很刻薄。。。将根据zs(效果大小),P(delta。。。z[i] )(局部错误发现率)和P(增量。。。z[i] |>z)(尾部区域错误发现率。。。
  • 车前2

  • 引用32篇文章[sw12708]
  • 标量函数,并由Z. 战斗和第二作者[暹罗。。。
  • 福多尔

  • 引用了29篇文章[sw08196]
  • 各种空模型(p值,z-t得分,相关系数)。比例。。。
  • 黑暗的

  • 引用28篇文章[sw09107]
  • 光子的超对称伙伴Z玻色子和中性标量希格斯粒子。在这里。。。
  • ZRC公司

  • 在14篇文章中引用[sw21827]
  • 精化微积分Z. 事实上Z只是一种规范语言,具有。。。摩根的作品包含了Z并遵循其风格和惯例。这个。。。工作建立在现有改进技术的基础上Z但主要的区别在于。。。解释如何从Z使用ZRC的规范。我们呈现。。。
  • 法斯塔

  • 引用25篇文章[sw09655]
  • 以前认识的。RDF2分析显示处于临界状态z价值观,只有仔细检查。。。