

Computational Complexity and Local Algorithms
854,-

Trends in Functional Programming
476,-

Active Object Languages
791,-

Coordination Models and Languages
584,-

Principles and Practices of Building Parallel Software
1 124,-

Principles of Verification
737,-

Principles of Verification
854,-

Principles of Verification
791,-

Asynchronous Many-Task Systems and Applications
611,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Computational Complexity and Local Algorithms
854,-

Trends in Functional Programming
476,-

Active Object Languages
791,-

Coordination Models and Languages
584,-

Principles and Practices of Building Parallel Software
1 124,-

Principles of Verification
737,-

Principles of Verification
854,-

Principles of Verification
791,-

Asynchronous Many-Task Systems and Applications
611,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-











