conceptual modelling; domain engineering; intension; abstract interpretation; galois connection; classification; formal methods; the RAISE specification language (RSL);
机译:可扩展计算形式概念的拉伸和拉伸稳定性
机译:可扩展计算正式概念的延伸和密集稳定性
机译:基于概念子图重量自调整的密室概念图匹配算法
机译:通过排序连接来紧密关联领域概念
机译:在西班牙语中的尺度,多个和中性之间的连接
机译:使用原子的常见空间分布将功能不同的流感病毒N10和N11蛋白结构与功能表征的神经氨酸酶结构毒素细胞进入域和非流感病毒细胞进入域联系起来
机译:审查生物化学:概念和联系,首次第一次版本:概念和连接,第一版,由Dean R. Appling,Spencer J. Anthony-Cahill和Christopher K. Mathews。 Pearson:波士顿,2015. 912 PP。ISBN:9780321839923(精装)。 202.60美元。
机译:复杂空气动力学配置周围流域多块网格生成的新概念。