Peter Michael Schuster - Böcker

Visar alla böcker från författaren Peter Michael Schuster.

3 produkter

Böcker

3 produkter

MAINZER KLAUS, 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

Av MAINZER KLAUS, Mainzer Klaus, Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster

Inbunden, Engelska, 2021

2 629 kr

Skickas inom 3-6 vardagar

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

Mathematics For Computation (M4c)

Av BENINI MARCO, Benini Marco, Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Michael Schuster

Inbunden, Engelska, 2023

2 609 kr

Skickas inom 3-6 vardagar

MAINZER KLAUS, Mainzer Klaus, Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg, Germany) Mainzer, Klaus (Technical University Of Munich, Italy) Schuster, Peter Michael (Univ Degli Studi Di Verona, Germany) Schwichtenberg, Helmut (Ludwig Maximilians Univ Munchen - Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy, Inbunden

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

Av MAINZER KLAUS, Mainzer Klaus, Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg, Germany) Mainzer, Klaus (Technical University Of Munich, Italy) Schuster, Peter Michael (Univ Degli Studi Di Verona, Germany) Schwichtenberg, Helmut (Ludwig Maximilians Univ Munchen

Inbunden, Engelska, 2018

1 949 kr

Skickas inom 3-6 vardagar