退出
我的积分:
中文文献批量获取
外文文献批量获取
朱连章; 魏晓慧;
中国通信学会;
机译:基于多载量AGV的运输系统死锁避免调度方法
机译:基于布尔函数的并发系统死锁检测方法的设计与评估
机译:并发系统死锁和活锁分析的并行算法
机译:一种扩展的基于CSPE的方法,用于对并发程序进行基于规范的测试。
机译:早期手术矫正颈椎间盘突出症可避免基于阿片类药物的疼痛处理相关并发症:一例报告
机译:基于petri网的河流系统死锁避免监控系统设计
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性
机译:避免数据通信系统死锁的方法,其系统及其控制程序
机译:避免多总线计算机系统死锁的装置和方法
机译:避免无人搬运系统死锁的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。