机译:从B开发派生UML结构视图的正式方法:考虑B改进的形式化,证明和扩展
机译:根据EN1993-1-2计算具有金属结构的元件的耐火性的示例
机译:医学教育中具有挑战性的学习情况:用于评估,教育诊断和干预的创新和结构化工具。第1部分:历史或数据收集[医学教育中的问题学习情况:用于评估,教学诊断和管理的创新和结构化工具。第1部分:数据收集]
机译:记入数控加工中的模拟和修正业务规则
机译:基本基础设施的漏洞分析的概念-考虑到控制论。
机译:脑骤停:加拿大的神经系统死亡诊断和器官捐赠者的管理:加拿大器官捐赠者的管理:论坛的建议优化捐赠者的维护以增加器官数量符合移植条件
机译:计算结构力学中非线性混合域分解分辨率的界面阻抗矩阵的新方法:考虑短距离和长距离影响
机译:用户手册和的两个子知道在隔离后者的动态特性的组件的动态特性软件programmarion“asT”计算。