Filtrera

Ämne
  • (4)
  • (9)
Format
  • (4)
  • (4)
  • (2)
Utgivningsår
  • (1)
  • (9)
Leveranstid
  • (4)

Peter Michael Schuster - Böcker

Visar alla böcker av Peter Michael Schuster. Handla med fri frakt och snabb leverans!

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

    av Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster

    Inbunden, Engelska, 2021-08-11
    2210
    Skickas från oss inom 3-6 vardagar.
  2. Mathematics For Computation (M4c)

    av Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Michael Schuster

    Inbunden, Engelska, 2023-04-25
    2210
    Skickas från oss inom 3-6 vardagar.
  3. Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

    av Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg

    Inbunden, Engelska, 2018-07-30
    1628
    Skickas från oss inom 3-6 vardagar.