机译:用开放式磁路充磁后物品的磁性历史记录对磁性检查的物理和机械性能的结果的影响(方法功能的限制)。二。分析建模
机译:开发用于规划和管理图书馆服务的方法学工具:II.。衡量图书馆提供文件的能力
机译:精氨酸限制过程中大肠杆菌arg基因的表达取决于翻译的严格控制。
机译:SE课程设计:方法论,形式方法和生命周期模型。二。形式方法
机译:歧义的形式化模型及其在机器翻译中的应用。
机译:开发用于计划和管理图书馆服务的方法学工具:II.。衡量图书馆提供文件的能力
机译:正式的翻译方法论。 I.语义保留翻译
机译:翻译的正式方法论II。能力和局限。