【预售】A Distributed Implementation of Flat Concurren...

海外直订Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurren 异构平台上基于动态并发任务

海外直订Linear Time, Branching Time and Partial Order in Logics and Models for Concurren 线性时间、分支时间和逻辑偏

海外直订Start Concurrent: An Introduction to Problem Solving in Java with a Focus on Con Start Concurren