

Coalgebraic Methods in Computer Science
584,-

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

Computer Algebra in Scientific Computing
1 466,-

Coalgebraic Methods in Computer Science
584,-

Computer Algebra in Scientific Computing
854,-

Relational and Algebraic Methods in Computer Science
611,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Intelligent Computer Mathematics
584,-

Symbolic Computation in Software Science
1 340,-

Rigorous Methods for Software Construction and Analysis
584,-

Coalgebraic Methods in Computer Science
584,-

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

Computer Algebra in Scientific Computing
1 466,-

Coalgebraic Methods in Computer Science
584,-

Computer Algebra in Scientific Computing
854,-

Relational and Algebraic Methods in Computer Science
611,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Intelligent Computer Mathematics
584,-

Symbolic Computation in Software Science
1 340,-

Rigorous Methods for Software Construction and Analysis
584,-















