机译:系统分析:基于逻辑语言形式化的结构与方法
机译:一种基于模型的方法来对本地洪水进行系统的风险分析TI一种基于模型的方法来对本地洪水紧急操作计划进行系统的风险分析:迈向决策支持系统的第一步
机译:最大化3D多核系统中的能源效率:一种正规化的方法
机译:使用基于认知语言/配置的方法形式化自然语言规范
机译:正规化中间件系统:一种基于设计模式的方法
机译:迈向基于组件的知识密集型系统软件工程方法:应用任务结构方法为固有的风险评估审计任务开发基于知识的系统。
机译:与无序纳米结构表面相互作用的生物系统的拉曼映射:单一DNA碱基的无标签分析的简单且强大的方法
机译:系统分析:基于逻辑语言形式化的结构与方法
机译:形式化和表示产品驱动的方法组装方法开发