科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:实现用于高级合成语言的自动优化工具
八藤磨生; 宮島敬明; 天野英晴;
高位合成言語; CyberWorkBench; FPGA; コード最適化;
机译:高级综合语言自动优化工具的实现
机译:基于C语言的系统级设计工具的原型-设计细化流程中的形式等效验证功能及其应用-
机译:通过图形重写语言LMNtal进行索引和动态模式匹配来加速
机译:混合约束语言HydLa的符号执行模拟器Hyrose的实现和优化
机译:水果和蔬菜的最佳新鲜度控制方法及实现该方法的最佳新鲜度控制系统
机译:用于在弹丸织机中控制弹丸制动的装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。