Hoppa till sidans huvudinnehåll

Helmut Schwichtenberg - Böcker

Visar alla böcker från författaren Helmut Schwichtenberg.
15 produkter

Proofs and Computations

Av Helmut Schwichtenberg, Stanley S. Wainer m. fl

Inbunden, Engelska, 2011

1 269 kr

Skickas inom 7-10 vardagar

Handbook of Constructive Mathematics

Av Douglas Bridges, Hajime Ishihara m. fl

Inbunden, Engelska, 2023

2 529 kr

Skickas inom 10-15 vardagar

Proof and System-Reliability

Av Ralf Steinbruggen, Helmut Schwichtenberg m. fl

Inbunden, Engelska, 2002

1 339 kr

Skickas inom 10-15 vardagar

Proof and System-Reliability

Av Helmut Schwichtenberg, Ralf Steinbrüggen

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar
Del 94 - NATO ASI Subseries F:

Logic and Algebra of Specification

Av Friedrich L. Bauer, Wilfried Brauer m. fl

Inbunden, Engelska, 1993

2 109 kr

Skickas inom 10-15 vardagar

Logic of Computation

Av Helmut Schwichtenberg

Inbunden, Engelska, 1997

1 169 kr

Skickas inom 10-15 vardagar
Del 165 - NATO ASI Subseries F:

Computational Logic

Av Ulrich Berger, Helmut Schwichtenberg

Inbunden, Engelska, 1999

2 179 kr

Skickas inom 10-15 vardagar

Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Av Peter G. Clote, Helmut Schwichtenberg

Häftad, Engelska, 2000

1 409 kr

Skickas inom 10-15 vardagar

Logic and Algebra of Specification

Av Friedrich L. Bauer, Wilfried Brauer m. fl

Häftad, Engelska, 2014

2 109 kr

Skickas inom 10-15 vardagar

Computational Logic

Av Ulrich Berger, Helmut Schwichtenberg

Häftad, Engelska, 2012

2 169 kr

Skickas inom 10-15 vardagar

Logic of Computation

Av Helmut Schwichtenberg

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Proof and Computation

Av Helmut Schwichtenberg

Häftad, Engelska, 2011

1 449 kr

Skickas inom 10-15 vardagar

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

Av MAINZER KLAUS, Mainzer Klaus m. fl

Inbunden, Engelska, 2021

2 619 kr

Skickas inom 5-8 vardagar

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

Av MAINZER KLAUS, Mainzer Klaus m. fl

Inbunden, Engelska, 2018

1 939 kr

Skickas inom 5-8 vardagar

Proof Technology and Computation

Av Helmut Schwichtenberg

Inbunden, Engelska, 2006

1 429 kr

Slutsåld