机译:基于热力学形式主义的社会系统定量描述方法
机译:基于描述逻辑形式主义的拟议表示方法
机译:用于基于组件的系统的数学描述和验证的新形式主义
机译:用于基于组件的系统的数学描述和验证的新形式主义
机译:从形式化描述到分布式系统实现的多形式主义原型方法
机译:包含铝,铬,钌和铂的多组分镍基高温合金的热力学描述:一种结合实验的计算热力学方法
机译:一种定量描述肌肉骨骼几何形状的系统方法。
机译:基于热力学形式主义的社会系统定量描述探讨
机译:基于语法的统一任务和面向系统的接口描述方法