退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过归纳断言进行机械化信息流分析
Warren A. Hunt; Robert Bellarmine Krug; Ip Ray; William D. Young;
机译:分子流作用下管口附近的感应流(前流和后流)分析
机译:基于数量论消除的启发式算法,用于自动生成程序的感应式声明
机译:归纳断言和操作语义
机译:通过流场流动分馏-电感耦合等离子体质谱法对环境样品进行纳米到微粒分析的质量回收。
机译:二氧化钛颜料的物理化学表征采用多种技术进行尺寸测定和电感耦合等离子体质谱联用的不对称流场流动分馏
机译:对应断言的计算声音机械化证明
机译:并发系统归纳断言方法的组合性
机译:用于本机移动应用程序启动的OpenID Connect(OIDC)流和安全性声明标记语言(SAML)流的无缝单点登录(SSO)的方法和系统
机译:用磁感应式流量计和磁感应式流量计测量介质的流速或体积流量的方法
机译:通过磁感应流量计和磁感应流量计测量介质的流速或体积流量的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。