

Numerical Computations - Theory and Algorithms
791,-

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

Numerical Computations - Theory and Algorithms
854,-

Numerical Computations - Theory and Algorithms
791,-

Functional and Logic Programming
476,-

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

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

Theory and Applications of Satisfiability Testing - SAT 2016
584,-

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

Computational Science and Its Applications - ICCSA 2022
1 340,-

Numerical Computations - Theory and Algorithms
791,-

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

Numerical Computations - Theory and Algorithms
854,-

Numerical Computations - Theory and Algorithms
791,-

Functional and Logic Programming
476,-

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

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

Theory and Applications of Satisfiability Testing - SAT 2016
584,-

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

Computational Science and Its Applications - ICCSA 2022
1 340,-














