

Symbolic Computation in Software Science
1 340,-

Mathematics of Program Construction
611,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Intelligent Computer Mathematics
584,-

Computational Science – ICCS 2023
926,-

Numerical Software Verification
584,-

Computational Science – ICCS 2023
1 340,-

Mathematics of Program Construction
584,-

Logic, Language, Information, and Computation
584,-

Computational Science - ICCS 2025
971,-

Symbolic Computation in Software Science
1 340,-

Mathematics of Program Construction
611,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Intelligent Computer Mathematics
584,-

Computational Science – ICCS 2023
926,-

Numerical Software Verification
584,-

Computational Science – ICCS 2023
1 340,-

Mathematics of Program Construction
584,-

Logic, Language, Information, and Computation
584,-

Computational Science - ICCS 2025
971,-















