• 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规范与定理证明。。。

• 吉塞拉

• 引用了40篇文章[sw17825]
• 圆柱（r，θ，z). 代码验证是用。。。

• 美国公共广播电视公司

• 在38篇文章中引用[sw04622]
• 其中x、y和z可用于解决决策问题（是/否。。。

• 动物园

• 在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的规范。我们呈现。。。

• AHFinderDirect公司

• 引用25篇文章[sw04972]
• ±x、±y和±z轴），以避免坐标奇点和有限差分。。。

• 法斯塔

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