退出
我的积分:
中文文献批量获取
外文文献批量获取
孙立宏; 张杰;
华东电子工程研究所,安徽合肥,230031;
逻辑综合; 关键路径; 优化;
机译:一种基于迭代超分辨率算法的新综合方法和面对幻觉的预期最大化
机译:生态系统生态学:一种新的综合方法-弥合自然科学与社会科学之间的差距以实现整体管理目标DG Raffaelli和CLJ Frid(编辑):《生态系统生态学:一种新的综合方法》,剑桥大学出版社,英国剑桥,2010年,162页,精装本,ISBN-13:9780521513494,130.00;平装,ISBN-13:9780521735032,130.00;平装书,ISBN-13:9780521735032,55.00
机译:一种基于属性的具有经济和环境目标的材料保护网络综合方法
机译:时序驱动设计的迭代综合方法
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:基于学习的马尔可夫决策控制综合方法 线性时序逻辑规范的过程
机译:采用传输晶体管迭代逻辑阵列的异步时序电路设计
机译:基于目标技术的时序信息对可编程逻辑器件设计文件进行批注的方法
机译:时序验证方法,库创建方法和逻辑综合方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。