
















Machines, Computations, and Universality
1 826,-

Machines, Computations, and Universality
611,-

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

Functional and Constraint Logic Programming
584,-

Mathematical Aspects of Computer and Information Sciences
584,-

Theory and Applications of Satisfiability Testing - SAT 2021
1 214,-

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium
854,-

Applications of Evolutionary Computation
584,-

Applications of Evolutionary Computation
1 124,-

Unconventional Computation and Natural Computation
584,-

Machines, Computations, and Universality
1 826,-

Machines, Computations, and Universality
611,-

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

Functional and Constraint Logic Programming
584,-

Mathematical Aspects of Computer and Information Sciences
584,-

Theory and Applications of Satisfiability Testing - SAT 2021
1 214,-

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium
854,-

Applications of Evolutionary Computation
584,-

Applications of Evolutionary Computation
1 124,-

Unconventional Computation and Natural Computation
584,-