
Formal Methods and Software Engineering
584,-

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

Advanced Parallel Processing Technologies
584,-

ECOOP 2013 -- Object-Oriented Programming
584,-

Software Engineering and Formal Methods
584,-

Dependable Software Engineering. Theories, Tools, and Applications
584,-

Formal Methods and Software Engineering
584,-

Engineering of Complex Computer Systems
791,-

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies
431,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-

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

Advanced Parallel Processing Technologies
584,-

ECOOP 2013 -- Object-Oriented Programming
584,-

Software Engineering and Formal Methods
584,-

Dependable Software Engineering. Theories, Tools, and Applications
584,-

Formal Methods and Software Engineering
584,-

Engineering of Complex Computer Systems
791,-

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies
431,-

Software Engineering and Formal Methods
584,-