-
Z-树
- 543篇参考文献[SW11707]
- Z苏黎世工具箱：现成的经济实验工具箱。苏黎世工具箱，现成的经济实验…Z树是开发和实施经济实验的一种广泛使用的软件包。编程经验不是必需的，虽然有用。Z树既有弹性又有…
-
Z
- 272篇参考文献[SW1091]
- 使用Z. 规范、完善和证明。这本书是一个深入的介绍…规范语言$Z美元。它主要是针对用户的，背景理论是…必要的。关于许多美元Z已经上市的书籍，一本重要的小说…特色是整合美元Z$精化演算和数据提炼。整体…
-
正规化
- 141篇参考文献[SW0630]
- 希尔伯特（或ErHART）（准）多项式Z-分级（例如，对于有理多面体），广义…
-
算法644
- 52篇参考文献[SW09113]
- 计算贝塞尔函数的子程序HV（1）Z…ZIv）Z（JV）ZKv）ZYv）Z和艾里函数…Z（AI）Z毕）Z（Bi’）Z对于有序V大于0和复杂…Z在-PGR中；Z小于和PGR；八个可调用子程序及其双精度对应程序…
-
RKC
- 104篇参考文献[SW0808]
- Houwen和B. P. SommeijerZ. Angew。数学机器…
-
校对
- 55篇参考文献[SW0639]
- 为规范和证明提供支持Z使用语义嵌入Z进入…刀具支撑细化Z艾达的星火子集也是可用的…
-
Z/EVS
- 42篇参考文献[SW10262]
- Z/VES Eclipse证明器IDE。社区Z工具提供基于Eclipse的IDE和与…的集成。定理证明器这就扩展了Z具有定理证明的CZT规范
-
美国铝业公司
- 27篇参考文献[SW0981]
- 合金，是一种新的基于Z. 它的发展是由需求推动的。更适合于自动分析。喜欢Z合金支持系统状态的描述…
-
混响
- 16篇参考文献[SW06074]
- 精确，假设你有许多正态分布的Zs，每个Z[我]的意思是…将基于Delta估计I[I]ZS（效果尺寸），P（δ…Z[i]（局部错误发现率）和p（δ…ZIZ（尾区错误发现率…
-
ZRC
- 14篇参考文献[SW21827 ]
- 求精演算Z. 事实是Z是一种规范语言，只有…摩根的作品Z符号，遵循它的风格和惯例。这工作基于现有的细化技术Z但主要区别在于…解释程序是如何从Z使用ZRC规范。我们提出…
