退出
我的积分:
中文文献批量获取
外文文献批量获取
Huang Shuanglin; 黄双林; Jing Aixia; 景爱霞; Dong Xiaojie; 蕫效杰;
教育部中南地区高等学校电子电气基础课教学研究会;
高等院校; 数字电路; 教学策略;
机译:基于重写的线性线性时序逻辑的基于模型的检查器
机译:直流微电网中基于信号时序逻辑的攻击检测
机译:基于线性时序逻辑的tccp抽象诊断
机译:时序逻辑电路教学方法研究
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:基于EDAS基于EDAS多属性组决策的方法,毕达哥拉斯2元组语言信息
机译:基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。
机译:-EDA-针对纤连蛋白-EDA的免疫球蛋白样分子
机译:使用EDA作为融合表达伴侣的重组蛋白的EDA方法
机译:参数化EDA功能工具和简化EDA编程语言的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。