退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有有限通信拓扑的高阶并发程序(扩展摘要)
Hanne Riis Nielson; Flemming Nielson;
机译:对抽象机器进行抽象:一种高阶程序分析的系统方法
机译:摘录2014年EUROSPINE春季专业会议:QUICK FIRES(并行短通信)
机译:并发高阶命令式程序的模块化推理
机译:经验证的功能程序编译的高阶抽象语法方法。
机译:低维几何和拓扑特殊功能从封面开始:低维拓扑中的高阶相交
机译:通过抽象解释检测高阶节目的并发错误
机译:使用具有延迟通信且没有共享控制信号的并发有限状态机来实现有限状态机
机译:用于分析有限元的接口,用于记录有限元的接口记录程序的计算机可读存储介质,用于高价值的通信网络的有限元分析方法,用于计算的并行计算和计算的并行处理有限元
机译:抽象信息编码方法,抽象信息编码设备,抽象信息编码程序和抽象信息重构方法,抽象信息重构设备,抽象信息重构程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。