-
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;。八个可调用子程序及其双精度对应。。。
-
证明力
- 引用57篇文章[sw06339]
- 为规范和证明提供支持Z使用语义嵌入Z进入。。。配套工具精化ZAda的SPARK子集也可用。。。
-
Z/晚上
- 引用了43篇文章[sw10262]
- Z/EVES Eclipse prover IDE。社区Z工具提供了一个基于Eclipse的IDE和与。。。定理证明者。这就延伸了这种发展ZCZT规范与定理证明。。。
-
美国铝业
- 27条引用[sw09481]
- 合金,是一种基于Z. 它的发展是由需要。。。更易于自动分析。像Z,Alloy支持描述其状态。。。
-
混频器
- 引用18条[sw06074]
- 精确地说,假设你有许多正态分布z的,每个z[i] 很刻薄。。。将根据zs(效果大小),P(delta。。。z[i] )(局部错误发现率)和P(增量。。。z[i] |>z)(尾部区域错误发现率。。。
-
ZRC公司
- 在14篇文章中引用[sw21827]
- 精化微积分Z. 事实上Z只是一种规范语言,具有。。。摩根的作品包含了Z并遵循其风格和惯例。这个。。。工作建立在现有改进技术的基础上Z但主要的区别在于。。。解释如何从Z使用ZRC的规范。我们呈现。。。