















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

Database Systems for Advanced Applications
584,-

Accelerator Programming Using Directives
611,-

Algorithms and Architectures for Parallel Processing
584,-

Algorithms and Architectures for Parallel Processing
584,-

Algorithms and Architectures for Parallel Processing
584,-

Algorithms and Models for the Web Graph
584,-

Formal Aspects of Component Software
584,-

Advanced Parallel Processing Technologies
431,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

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

Database Systems for Advanced Applications
584,-

Accelerator Programming Using Directives
611,-

Algorithms and Architectures for Parallel Processing
584,-

Algorithms and Architectures for Parallel Processing
584,-

Algorithms and Architectures for Parallel Processing
584,-

Algorithms and Models for the Web Graph
584,-

Formal Aspects of Component Software
584,-

Advanced Parallel Processing Technologies
431,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-