
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
584,-

Formal Methods and Software Engineering
584,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-

ECOOP 2013 -- Object-Oriented Programming
584,-

Advanced Parallel Processing Technologies
584,-

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
584,-

Algorithms and Architectures for Parallel Processing
584,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
584,-

Formal Methods and Software Engineering
584,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-

ECOOP 2013 -- Object-Oriented Programming
584,-

Advanced Parallel Processing Technologies
584,-

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
584,-

Algorithms and Architectures for Parallel Processing
584,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-