Liknande böcker

Formal Methods in Programming and Their Applications : International Con...
Bok av Dines Bjorner
Parallel Lisp: Languages and Systems : US/Japan Workshop on Parallel Lis...
Bok av Takayasu Itoi
Languages and Compilers for Parallel Computing : 10th International Work...
Bok av Zhiyuan Li
Extensions of the UNITY Methodology : Compositionality, Fairness and Pro...
Bok av Josyula Ramachandra Rao
Static Analysis : 4th International Symposium, SAS '97, Paris, France, S...
Bok av Pascal Van Hentenryck
Compositionality, Concurrency, and Partial Correctness
Bok av Zwiers
Languages and Compilers for Parallel Computing
Bok av David Sehr
Extensions of Logic Programming : Third International Workshop, ELP '92,...
Bok av Evelina Lamma

Research Directions in High-Level Parallel Programming Languages

Bok