退出
我的积分:
中文文献批量获取
外文文献批量获取
孙文彬; 杜志刚; 贾万鹏; 付志刚;
全国冶金自动化信息网;
连铸连轧; 钢卷喷号机; 数据传输; 时序逻辑; 技术改造;
机译:中国,邯钢,2号高炉燃烧,新区450万吨体系
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:异步时序逻辑,梯形逻辑和模糊逻辑的本科调查课程
机译:邯钢5号2000 m3高炉运行困难的原因及对策。
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:利用时钟脉冲发生器合成遗传时序逻辑电路
机译:自动起重机自动钢卷识别系统的研制
机译:扩展区间时序逻辑和时态逻辑程序设计的成帧技术
机译:用于逻辑电路的时序约束生成方法,用于逻辑电路的时序生成约束程序以及用于将逻辑电路的时序生成约束的程序记录介质
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:用于在不使用所选I / O时为逻辑接口分配逻辑路径号并允许逻辑接口使用逻辑路径号访问所选I / O的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。