...
机译:相对于嵌套条件的高级转换系统的正确性
Computing Science, D-26111 Oldenburg, Germany;
Computing Science, D-26111 Oldenburg, Germany;
机译:证明相对于递归嵌套条件的图程序的正确性
机译:具有嵌套应用条件的M型胶粘剂转化系统。第1部分:并行性,并发性和合并
机译:具有嵌套应用条件的M-胶粘剂转化系统。第2部分:嵌入,关键对和局部融合
机译:基于嵌套属性图条件的属性图转换系统不变式的形式验证
机译:考虑嵌入式系统时序和内存优化的嵌套循环转换技术
机译:气象条件和气溶胶对中尺度对流系统寿命的相对影响
机译:基于嵌套归属图形条件的归属图形转换系统不变的正式验证
机译:利用地质条件和多属性决策分析确定选址区位于高放废物处置库的相对有利性