Hoppa till sidans huvudinnehåll

Helmut Schwichtenberg – författare

Visar alla böcker från författaren Helmut Schwichtenberg. Handla med fri frakt och snabb leverans.
14 produkter

Proofs and Computations

AvHelmut Schwichtenberg,Stanley S. Wainer

Inbunden, Engelska, 2011

1 289 kr

Skickas inom 7-10 vardagar

Handbook of Constructive Mathematics

AvDouglas Bridges,Hajime Ishiharam. fl.

Inbunden, Engelska, 2023

2 579 kr

Skickas inom 7-10 vardagar

Proof and System-Reliability

AvRalf Steinbruggen,Helmut Schwichtenbergm. fl.

Inbunden, Engelska, 2002

1 319 kr

Skickas inom 10-15 vardagar

Del 62 - NATO Science Series II: Mathematics, Physics and Chemistry

Proof and System-Reliability

AvHelmut Schwichtenberg,Ralf Steinbrüggen

Häftad, Engelska, 2002

699 kr

Skickas inom 10-15 vardagar

Logic and Algebra of Specification

AvFriedrich L. Bauer,Wilfried Brauerm. fl.

Inbunden, Engelska, 1993

2 079 kr

Skickas inom 10-15 vardagar

Logic of Computation

AvHelmut Schwichtenberg

Inbunden, Engelska, 1997

1 149 kr

Skickas inom 10-15 vardagar

Computational Logic

AvUlrich Berger,Helmut Schwichtenberg

Inbunden, Engelska, 1999

2 139 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

AvPeter G. Clote,Helmut Schwichtenberg

Häftad, Engelska, 2000

1 429 kr

Skickas inom 10-15 vardagar

Logic and Algebra of Specification

AvFriedrich L. Bauer,Wilfried Brauerm. fl.

Häftad, Engelska, 2014

2 079 kr

Skickas inom 10-15 vardagar

Computational Logic

AvUlrich Berger,Helmut Schwichtenberg

Häftad, Engelska, 2012

2 139 kr

Skickas inom 10-15 vardagar

Logic of Computation

AvHelmut Schwichtenberg

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar

Proof and Computation

AvHelmut Schwichtenberg

Häftad, Engelska, 2011

1 429 kr

Skickas inom 10-15 vardagar

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

AvMainzer Klaus,Klaus Mainzerm. fl.

Inbunden, Engelska, 2021

2 639 kr

Skickas inom 3-6 vardagar

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

AvMainzer Klaus,Klaus Mainzerm. fl.

Inbunden, Engelska, 2018

2 009 kr

Skickas inom 3-6 vardagar