科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:并发约束编程的模型和新兴趋势
Olarte Carlos; Rueda Camilo; Valencia Frank D.;
机译:随机并发约束规划中的生物系统建模
机译:并发约束规划和基于树的声学建模
机译:基于约束的并发软件的程序分析
机译:使用约束逻辑程序协调当前使用的临床实践指南对
机译:并行约束规划的全抽象模型
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:人际感知趋势模型学习设备,人际认知状态估计设备,人际感知趋势模型学习方法,人际认知状态估计方法和程序
机译:用于生成逻辑电路的时序约束模型的方法和程序以及采用时序约束模型的时序驱动布局方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。