Cemagref, Clermont Ferrand, France;
机译:空间数据库线性约束查询语言的表达性
机译:论逻辑在具有复杂对象的约束数据库上的表达能力
机译:基于二进制代码反演方法的背景循环冗余校验计算器进行低功耗代码存储器完整性验证
机译:空间数据库中拓扑完整性约束的精确建模与验证:从表达力学研究代码生成原则
机译:多项式约束模型中空间数据库的拓扑特性
机译:真核基因组中的拓扑约束以及如何利用它们来改善染色体的空间模型
机译:空间数据库中拓扑完整性约束的精确建模和验证:从表达能力研究到代码生成原则
机译:不平衡配电系统分布式发电调压装置的建模与验证。年度分包报告