

















Intelligent Computing Theories and Application
584,-

Computer Aided Systems Theory - EUROCAST 2022
1 124,-

Frontiers of Combining Systems
674,-

Computer Aided Systems Theory – EUROCAST 2024
791,-

Computer Algebra in Scientific Computing
674,-

Computer Aided Systems Theory - EUROCAST 2019
584,-

Mathematics of Program Construction
611,-

Intelligent Computer Mathematics
584,-

Numerical Software Verification
584,-

Mathematics of Program Construction
584,-

Intelligent Computing Theories and Application
584,-

Computer Aided Systems Theory - EUROCAST 2022
1 124,-

Frontiers of Combining Systems
674,-

Computer Aided Systems Theory – EUROCAST 2024
791,-

Computer Algebra in Scientific Computing
674,-

Computer Aided Systems Theory - EUROCAST 2019
584,-

Mathematics of Program Construction
611,-

Intelligent Computer Mathematics
584,-

Numerical Software Verification
584,-

Mathematics of Program Construction
584,-