机译:一种新型的海量结构化数据重复数据检查
机译:期刊在维护数据完整性中的作用:acta晶体中的晶体结构数据检查
机译:CDSCHECKER:检查使用C / C ++ Atomics编写的并发数据结构
机译:IntiSa方法:通过基于SMT求解器的有界模型检查来生成非原始数据类型的测试输入数据
机译:数据库查询语言的定义明确,语义类型检查和类型推断。
机译:期刊在维护数据完整性中的作用:检查晶体学报中的晶体结构数据
机译:贝叶斯代谢物分析方法:一种新的分子结构信息代谢物相互作用建模,一种分化心肌梗死类型的新型诊断模型,以及复合鉴定给定质谱数据的方法。
机译:一种用于对书目数据库进行重复检查的计算机方案