退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:来自经过认证的抽象解释和定点压缩的带有证明的代码
Besson Frédéric; Jensen Thomas; Pichardie David;
机译:精炼以证明抽象解释:以多面体的线性化为例
机译:使用抽象国际疾病分类代码的不同方法评估瑞典严重败血症的发生率:方法和结果解释困难。
机译:将经过认证的内存管理运行时与带有证明的代码集成在一起
机译:自动化抽象机器的抽象解释
机译:图像压缩和胸部X光片解释:未压缩胸部X光片与使用10:1 JPEG压缩存储的胸部X光片之间的图像感知比较
机译:经过认证的抽象解释和定点压缩的证明代码
机译:具有同余抽象域和/或堆继承抽象域的抽象解释
机译:抽象信息编码方法,抽象信息编码设备,抽象信息编码程序和抽象信息重构方法,抽象信息重构设备,抽象信息重构程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。