退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:低开销和全自动统计调试,具有抽象细化
Zhiqiang Zuo; Lu Fang; Siau-Cheng Khoo; Guoqing Xu; Shan Lu;
机译:具有抽象优化功能的低开销,全自动统计调试
机译:具有抽象和优化功能的自动化设计调试
机译:自动化设计调试中的抽象和优化技术
机译:使用基于SAT的重新参数化和自动抽象提炼对大型工业电路进行验证。
机译:通过自动迭代模型构建统计密度修改和细化来改善中等分辨率的大分子原子模型
机译:具有高级抽象和细化的自动调试
机译:使用抽象堆栈模型框架的自动交互式统计呼叫可视化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。