
Relational and Algebraic Methods in Computer Science
584,-

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
584,-

Advances in Data Mining. Applications and Theoretical Aspects
584,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Mathematical Aspects of Computer and Information Sciences
584,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Relational and Algebraic Methods in Computer Science
584,-

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
584,-

Advances in Data Mining. Applications and Theoretical Aspects
584,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Mathematical Aspects of Computer and Information Sciences
584,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Unifying Theories of Programming and Formal Engineering Methods
584,-