

Applications of Evolutionary Computation
584,-

Computational Diffusion MRI
611,-

New Frontiers in Mining Complex Patterns
584,-

Declarative Programming and Knowledge Management
584,-

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
868,-

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

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

SOFSEM 2019
584,-

Foundations of Information and Knowledge Systems
584,-

Advanced Data Mining and Applications
791,-

Applications of Evolutionary Computation
584,-

Computational Diffusion MRI
611,-

New Frontiers in Mining Complex Patterns
584,-

Declarative Programming and Knowledge Management
584,-

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
868,-

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

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

SOFSEM 2019
584,-

Foundations of Information and Knowledge Systems
584,-

Advanced Data Mining and Applications
791,-












