退出
我的积分:
中文文献批量获取
外文文献批量获取
郝忠孝; 熊中敏;
哈尔滨理工大学计算机与控制学院,哈尔滨,150080;
哈尔滨工业大学计算机科学与技术学院,哈尔滨,150001;
齐齐哈尔大学计算机科学与技术系,齐齐哈尔,161006;
主动数据库; 规则分析; 活化路径; 禁止活化环; 不可归约规则集;
机译:用于时钟树规划中的统计时序分析的互连延迟可变性计算的有效归约算法
机译:拥塞模型中的对称性破缺:规则集的时间和消息有效算法
机译:IF_q x中的有效模块化归约算法及其在IF_2 x中“从左至右”的模乘中的应用
机译:GSp(4,Fq)的不可归约的非尖峰字符。
机译:不可逆图像数据压缩对计算机断层扫描中的后处理算法的影响
机译:不可压缩Navier-stokes方程的Galerkin粗网格逼近计算的有效算法
机译:用于将归约算法转换为分段归约算法的系统,方法和计算机程序产品
机译:计算半联接归约序列的快速算法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。