Department of Information and Computer Education, National Taiwan Normal University, Taipei 106, Taiwan;
机译:从抽象规范直接实现抽象数据类型
机译:<![CDATA [SO <下标> 2 下标>的多视角比较和缓解含义> 下标>
机译:抽象数据类型的形式化规范及其在FORTRAN 90中的实现-有关指针使用的实现问题
机译:用抽象数据类型制作Promela前端,以减轻(组成)分析对实施选择的敏感性
机译:探索实验室环境中的回归敏感性:基于办公自动化实施(组织分析)组织动态模型的综合数据实验和回归模型错误说明的分析
机译:从建议到实施 - 德国临床实践指南的建议和儿童和青少年的抗抑郁药的选择:来自Barmer健康保险基金的数据分析
机译:使用抽象数据类型制作promela前端,以降低(成分)分析对实施选择的敏感性
机译:安全有效地实现数据库的抽象数据类型