退出
我的积分:
中文文献批量获取
外文文献批量获取
梁爱丽; 朱嘉奇; 王捍贫; 屈婉玲;
中国计算机学会;
广西大学;
计算机研究与发展编辑部;
模型检测; CTL*; QDDC; NP-完全;
机译:Schulz矩阵反演算法的正式分析:一种朝向一般矩阵流量求解的计算机辅助验证的范例
机译:反向散射电离图的新反演算法及其实验验证
机译:一种基于时段的新的KNN方法
机译:开发一种新的控制策略并通过实时混合仿真考虑大型MR阻尼器装置动力学的新控制策略的实验验证。
机译:多个SΔ时段对按固定间隔时间表做出响应的影响:V.完全黑暗的时段和偶尔漏掉食物展示的时段的影响
机译:一种新的反向散射离子图反演算法及其实验验证
机译:演化代数:一种新的规范和验证方法
机译:新的道路演算辅助装置,新的道路演算辅助方法,计算机程序以及记录介质的记录计算机程序
机译:一种使用约束演算分析来验证系统行为的逻辑,算术和时序依赖性的系统和方法
机译:Gartar演算演算演算演算演算
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。