
Software Engineering and Formal Methods
584,-

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV
584,-

Trends in Functional Programming
611,-

Software Engineering and Formal Methods
584,-

Transactions on High-Performance Embedded Architectures and Compilers V
584,-

Formal Methods and Software Engineering
584,-

Image and Video Technology
584,-

Computer Performance Engineering
476,-

Formal Methods and Software Engineering
584,-

Software Engineering and Formal Methods
584,-

Software Engineering and Formal Methods
584,-

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV
584,-

Trends in Functional Programming
611,-

Software Engineering and Formal Methods
584,-

Transactions on High-Performance Embedded Architectures and Compilers V
584,-

Formal Methods and Software Engineering
584,-

Image and Video Technology
584,-

Computer Performance Engineering
476,-

Formal Methods and Software Engineering
584,-

Software Engineering and Formal Methods
584,-