Coordination Models and Languages

Bỡi Lea, Doug, Zavattaro, Gianluigi
Được phát hành 2020

Theorem Proving in Higher Order Logics

Bỡi Hurd, Joe, Melham, Tom
Được phát hành 2020

Formal Models of Operating System Kernels

Bỡi Craig, Iain D.
Được phát hành 2020

Scalable Information Systems

Được phát hành 2020

Component Deployment

Bỡi Dearle, Alan, Eisenbach, Susan
Được phát hành 2020

Implementing Distributed Systems with Java and CORBA

Bỡi Aleksy, Markus, Korthaus, Axel, Schader, Martin
Được phát hành 2020

OpenMP in a New Era of Parallelism

Bỡi Eigenmann, Rudi, Supinski, Bronis R. de
Được phát hành 2020

Parallel Problem Solving from Nature - PPSN X

Được phát hành 2020

Embedded Computer Systems: Architectures, Modeling, and Simulation

Được phát hành 2020

Achievements in European Research on Grid Systems

Bỡi Gorlatch, Sergei, Bubak, Marian, Priol, Thierry
Được phát hành 2020

Computer Aided Verification

Được phát hành 2020

Computer Aided Verification

Bỡi Gupta, Aarti, Malik, Sharad
Được phát hành 2020

Architecting Dependable Systems IV

Bỡi Lemos, Rogério de, Gacek, Cristina, Romanovsky, Alexander
Được phát hành 2020

Applications and Theory of Petri Nets

Bỡi Hee, Kees van, Valk, Rüdiger
Được phát hành 2020

Advances in Computer Systems Architecture

Bỡi Choi, Lynn, Paek, Yunheung, Cho, Sangyeun
Được phát hành 2020

Advances in Computer Systems Architecture

Bỡi Srikanthan, Thambipillai, Xue, Jingling, Chang, Chip-Hong
Được phát hành 2020

Hybrid Systems: Computation and Control

Được phát hành 2020

Euro-Par 2005 Parallel Processing

Bỡi Cunha, José C., Medeiros, Pedro D.
Được phát hành 2020

Architecture of Computing Systems - ARCS 2017

Bỡi Knoop, Jens, Karl, Wolfgang, Schulz, Martin, Inoue, Koji, Pionteck, Thilo
Được phát hành 2020

Systems Aspects in Organic and Pervasive Computing - ARCS 2005

Được phát hành 2020