Peter Michael Schuster – författare

Visar alla böcker från författaren .

3 produkter

Kategorier

3 produkter

Mainzer Klaus, Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster - Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification, Inbunden

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

AvMainzer Klaus,Klaus Mainzerm. fl.

Inbunden, Engelska, 2021

2 699 kr

Skickas inom 3-6 vardagar

Benini Marco, Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Michael Schuster - Mathematics For Computation (M4c), Inbunden

Mathematics For Computation (M4c)

AvBenini Marco,Marco Beninim. fl.

Inbunden, Engelska, 2023

2 649 kr

Skickas inom 3-6 vardagar

Mainzer Klaus, Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg - Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy, Inbunden

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

AvMainzer Klaus,Klaus Mainzerm. fl.

Inbunden, Engelska, 2018

2 019 kr

Skickas inom 3-6 vardagar

Peter Michael Schuster – författare & böcker | Akademibokhandeln