1
Udgivet 2005
Indholdsfortegnelse: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Få fuldtekst
Electronisk eBog
3
Udgivet 2007
Indholdsfortegnelse: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Få fuldtekst
Electronisk eBog