AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:数据并行并发约束编程
Tong Bo-Ming; Leung Ho-Fung;
机译:融合并发约束编程的高效程序等效算法
机译:访问权限的并发约束编程解释
机译:使用约束逻辑程序的并行和分布式编程
机译:基于约束的并发软件的程序分析
机译:使用约束逻辑程序协调当前使用的临床实践指南对
机译:数据并行并发约束编程。
机译:非单调并发约束规划
机译:并发程序支持设备和并发程序如何创建和并发程序执行设备
机译:用于逻辑电路的时序约束生成方法,用于逻辑电路的时序生成约束程序以及用于将逻辑电路的时序生成约束的程序记录介质
机译:执行粗粒度可重新配置架构硬件上的数据并行程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。