

Coalgebraic Methods in Computer Science
1 214,-

Relational and Algebraic Methods in Computer Science
611,-

Intelligent Computer Mathematics
584,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Symbolic Computation in Software Science
1 340,-

Theory and Applications of Satisfiability Testing -- SAT 2015
674,-

Mathematical Aspects of Computer and Information Sciences
584,-

Computer Algebra in Scientific Computing
1 466,-

Computer Algebra in Scientific Computing
854,-

Relational and Algebraic Methods in Computer Science
584,-

Coalgebraic Methods in Computer Science
1 214,-

Relational and Algebraic Methods in Computer Science
611,-

Intelligent Computer Mathematics
584,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Symbolic Computation in Software Science
1 340,-

Theory and Applications of Satisfiability Testing -- SAT 2015
674,-

Mathematical Aspects of Computer and Information Sciences
584,-

Computer Algebra in Scientific Computing
1 466,-

Computer Algebra in Scientific Computing
854,-

Relational and Algebraic Methods in Computer Science
584,-













