
Measurement, Modelling and Evaluation of Computing Systems
584,-

Software Engineering and Formal Methods
737,-

Automated Deduction - CADE 28
431,-

Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications
584,-

Automated Deduction - CADE 27
854,-

From Software Engineering to Formal Methods and Tools, and Back
584,-

Automated Deduction - CADE 26
854,-

Coordination Models and Languages
584,-

Computational Intelligence in Music, Sound, Art and Design
611,-

Formal Aspects of Component Software
476,-

Measurement, Modelling and Evaluation of Computing Systems
584,-

Software Engineering and Formal Methods
737,-

Automated Deduction - CADE 28
431,-

Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications
584,-

Automated Deduction - CADE 27
854,-

From Software Engineering to Formal Methods and Tools, and Back
584,-

Automated Deduction - CADE 26
854,-

Coordination Models and Languages
584,-

Computational Intelligence in Music, Sound, Art and Design
611,-

Formal Aspects of Component Software
476,-