退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:已验证的多面体库:概述
Sylvain Boulme; Alexandre Marechaly; David Monniaux; Michael Perin; Hang Yu;
机译:三维多面体比例边界有限元方法的非线性方法及其在科伊纳重力坝中的验证
机译:在民主20周年中庆祝图书馆:南非图书馆和信息服务概览,南非罗得斯大学图书馆
机译:经验证的多面体库:概述
机译:图书馆中的ESL材料:概述和选择指南
机译:病人图书馆运动:在美国为医院病人建立有组织图书馆的早期努力的概述。
机译:在弱存储器一致性下的图书馆正确性:在声明性一致性模型下指定和验证并发库
机译:单元库验证程序,记录介质,记录该程序的单元库验证装置以及单元库验证方法
机译:自图书馆验证程序,记录中记录程序,自图书馆验证设备和自图书馆验证方法
机译:单元库数据库,以及使用单元库数据库的综合电路时序验证系统和耐压验证系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。