Coordination Models and Languages

著者: Lea, Doug, Zavattaro, Gianluigi
出版事項 2020

Theorem Proving in Higher Order Logics

著者: Hurd, Joe, Melham, Tom
出版事項 2020

Formal Models of Operating System Kernels

著者: Craig, Iain D.
出版事項 2020

Scalable Information Systems

出版事項 2020

Component Deployment

著者: Dearle, Alan, Eisenbach, Susan
出版事項 2020

Implementing Distributed Systems with Java and CORBA

著者: Aleksy, Markus, Korthaus, Axel, Schader, Martin
出版事項 2020

OpenMP in a New Era of Parallelism

著者: Eigenmann, Rudi, Supinski, Bronis R. de
出版事項 2020

Parallel Problem Solving from Nature - PPSN X

出版事項 2020

Embedded Computer Systems: Architectures, Modeling, and Simulation

出版事項 2020

Achievements in European Research on Grid Systems

著者: Gorlatch, Sergei, Bubak, Marian, Priol, Thierry
出版事項 2020

Computer Aided Verification

出版事項 2020

Computer Aided Verification

著者: Gupta, Aarti, Malik, Sharad
出版事項 2020

Architecting Dependable Systems IV

著者: Lemos, Rogério de, Gacek, Cristina, Romanovsky, Alexander
出版事項 2020

Applications and Theory of Petri Nets

著者: Hee, Kees van, Valk, Rüdiger
出版事項 2020

Advances in Computer Systems Architecture

著者: Choi, Lynn, Paek, Yunheung, Cho, Sangyeun
出版事項 2020

Advances in Computer Systems Architecture

著者: Srikanthan, Thambipillai, Xue, Jingling, Chang, Chip-Hong
出版事項 2020

Hybrid Systems: Computation and Control

出版事項 2020

Euro-Par 2005 Parallel Processing

著者: Cunha, José C., Medeiros, Pedro D.
出版事項 2020

Architecture of Computing Systems - ARCS 2017

著者: Knoop, Jens, Karl, Wolfgang, Schulz, Martin, Inoue, Koji, Pionteck, Thilo
出版事項 2020

Systems Aspects in Organic and Pervasive Computing - ARCS 2005

出版事項 2020