退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于约束的并发软件的程序分析
Sung, Chungha.;
University of Southern California.;
机译:基于约束的并行工程软件
机译:并发概率混合系统的基于约束的分析:在网络自动化系统中的应用
机译:基于约束的并行程序跨过程分析
机译:基于约束的并发和分布式编程的框架
机译:并发软件规范的序列化以及处理器自治权对并行程序执行的影响。
机译:DataFlow编程用于分析AVIS分析和可视化软件应用程序
机译:机器人应用程序开发的软件框架:基于约束的任务编程方法
机译:并发软件程序的别名分析
机译:软件分析设备,软件分析方法和软件分析程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。