退出
我的积分:
中文文献批量获取
外文文献批量获取
张轶; 林惠民;
中国科学院软件研究所计算机科学重点实验室,北京,100080;
模型检测; 传值进程; 带赋值符号迁移图; 谓词μ演算; 复杂数据结构;
机译:纳入复杂技术系统的检测工具的通用模型
机译:一种掺入复杂技术系统中的检测工具的广义模型
机译:数据结构数组和复杂数据结构,第2部分
机译:MemPick:数据结构检测工具
机译:复杂数据结构的新型统计模型
机译:使用最佳阶Markov模型的固定算法复杂度的图灵机带的统计复杂性分析
机译:南海槽地震成因带板状三维结构三维模型:走向复杂的地震成因带地下构造模型
机译:控制结构和数据结构的复杂性。
机译:丰富的数据库元数据模型,可捕获应用程序关系,映射,约束和复杂的数据结构
机译:用于将现有的复杂数据结构转换为另一种复杂数据结构的系统,方法和计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。