Formal Methods for Multicore Programming - 9783319189406

Formal Methods for Multicore Programming 15th International Schoo

Multicore and GPU Programming: An Integrated Approach

Bernardo - Formal Methods for Performance Evaluation 7th Internation - X555z

Heng - Information Security Practice and Experience 15th Internation - X555z

Bernardo - Formal Methods for Dynamical Systems 13th International S - X555z

Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Mul

Yu - Wireless Algorithms Systems and Applications 15th Internation - X555z