• Z-树

  • 543篇参考文献[SW11707]
  • Z苏黎世工具箱:现成的经济实验工具箱。苏黎世工具箱,现成的经济实验…Z树是开发和实施经济实验的一种广泛使用的软件包。编程经验不是必需的,虽然有用。Z树既有弹性又有…
  • Z

  • 272篇参考文献[SW1091]
  • 使用Z. 规范、完善和证明。这本书是一个深入的介绍…规范语言$Z美元。它主要是针对用户的,背景理论是…必要的。关于许多美元Z已经上市的书籍,一本重要的小说…特色是整合美元Z$精化演算和数据提炼。整体…
  • 正规化

  • 141篇参考文献[SW0630]
  • 希尔伯特(或ErHART)(准)多项式Z-分级(例如,对于有理多面体),广义…
  • 算法644

  • 52篇参考文献[SW09113]
  • 计算贝塞尔函数的子程序HV(1)ZZIv)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艾达的星火子集也是可用的…
  • 马戏团

  • 87篇参考文献[SW21828 ]
  • 强制CSP的统一Z和精化演算。我们描述马戏团的语言…
  • Z/EVS

  • 42篇参考文献[SW10262]
  • Z/VES Eclipse证明器IDE。社区Z工具提供基于Eclipse的IDE和与…的集成。定理证明器这就扩展了Z具有定理证明的CZT规范
  • 吉塞拉

  • 40篇参考文献[SW17825]
  • 圆柱体中的驱动湍流(r,τ),Z代码验证是用……执行的。
  • 美国铝业公司

  • 27篇参考文献[SW0981]
  • 合金,是一种新的基于Z. 它的发展是由需求推动的。更适合于自动分析。喜欢Z合金支持系统状态的描述…
  • 动物园

  • 35篇参考文献[SW10603]
  • 规则和不规则时间序列的基础设施(Z有序的观察)。一个S3类…
  • SDPNAL+

  • 31篇参考文献[SW13249]
  • 基于乘法器的求解器称为SDPADZ. 文等。数学程序计算机…
  • 混响

  • 16篇参考文献[SW06074]
  • 精确,假设你有许多正态分布的Zs,每个Z[我]的意思是…将基于Delta估计I[I]ZS(效果尺寸),P(δ…Z[i](局部错误发现率)和p(δ…ZIZ(尾区错误发现率…
  • FDRooTo工具

  • 29篇参考文献[SW08196]
  • 零模型的多样性(p值)Z得分,相关系数,T分数。比例…
  • 切芬基2

  • 28篇参考文献[SW12708]
  • 标量函数,并首次由Z. 战斗和第二作者[暹罗…
  • ZRC

  • 14篇参考文献[SW21827 ]
  • 求精演算Z. 事实是Z是一种规范语言,只有…摩根的作品Z符号,遵循它的风格和惯例。工作基于现有的细化技术Z但主要区别在于…解释程序是如何从Z使用ZRC规范。我们提出…
  • 达克苏西

  • 27篇参考文献[SW09107]
  • 光子的超对称伙伴Z玻色子和中性标量希格斯粒子。在这里。。。
  • 阿芬德

  • 25篇参考文献[SW04972]
  • ±x,±y,±的邻域Z轴)避免坐标奇异性和有限差分…
  • FASTA

  • 25篇参考文献[SW09655 ]
  • 先前承认。RDF2分析显示边界Z价值观,只有仔细检查…