

SOFSEM 2023
791,-

Verification, Model Checking, and Abstract Interpretation
971,-

Sofsem 2025 Theory and Practice of Computer Science
791,-

Sofsem 2025 Theory and Practice of Computer Science
791,-

Foundations of Information and Knowledge Systems
584,-

Relational and Algebraic Methods in Computer Science
584,-

Unconventional Computation and Natural Computation
611,-

Mathematical Optimization Theory and Operations Research
584,-

Foundations of Information and Knowledge Systems
584,-

Language and Automata Theory and Applications
584,-

SOFSEM 2023
791,-

Verification, Model Checking, and Abstract Interpretation
971,-

Sofsem 2025 Theory and Practice of Computer Science
791,-

Sofsem 2025 Theory and Practice of Computer Science
791,-

Foundations of Information and Knowledge Systems
584,-

Relational and Algebraic Methods in Computer Science
584,-

Unconventional Computation and Natural Computation
611,-

Mathematical Optimization Theory and Operations Research
584,-

Foundations of Information and Knowledge Systems
584,-

Language and Automata Theory and Applications
584,-












