|
|

avaa valikko

Helmut Schwichtenberg | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 16 tuotetta
Haluatko tarkentaa hakukriteerejä?



Helmut Schwichtenberg; Stanley S. Wainer
Cambridge University Press
2011
Kovakantinen kirja
Proofs and Computations
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
92,30 €
Schwichtenberg, Helmut; Steinbrüggen, Ralf
Kluwer Academic Publishers
2002
Pehmeäkantinen kirja
Proof and System-Reliability
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja
Proof and Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Logic of Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Schwichtenberg, Helmut; Wainer, Stanley S.
CAMBRIDGE
2012
Verkkoaineisto
Proofs and Computations
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
170,90 €
Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1997
Kovakantinen kirja
Logic of Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
120,90 €
Spies, Katharina; Schwichtenberg, Helmut
IOS Press
2006
Kovakantinen kirja
Proof Technology and Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
168,50 €
Bauer, Friedrich L.; Brauer, Wilfried; Schwichtenberg, Helmut
Springer
1993
Kovakantinen kirja
Logic and Algebra of Specification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
134,00 €
Berger, Ulrich; Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1999
Kovakantinen kirja
Computational Logic
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
134,00 €
Clote, Peter G.; Schwichtenberg, Helmut
Springer
2000
Pehmeäkantinen kirja
Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Berger, Ulrich; Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Computational Logic
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
134,00 €
Steinbruggen, Ralf; Schwichtenberg, Helmut; ;
Springer
2002
Kovakantinen kirja
Proof and System-Reliability
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
121,20 €
Bauer, Friedrich L.; Brauer, Wilfried; Schwichtenberg, Helmut
Springer
2014
Pehmeäkantinen kirja
Logic and Algebra of Specification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
134,00 €
Mainzer, Klaus; Schuster, Peter Michael; Schwichtenberg, Helmut
World Scientific Publishing Co Pte Ltd
2018
Kovakantinen kirja
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
127,10 €
Mainzer, Klaus; Schwichtenberg, Helmut; Schuster, Peter Michael
World Scientific Publishing Co Pte Ltd
2021
Kovakantinen kirja
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
153,30 €
Bridges, Douglas; Ishihara, Hajime; Rathjen, Michael; Schwichtenberg, Helmut
Cambridge University Press
2023
Kovakantinen kirja
Handbook of Constructive Mathematics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
162,90 €

Näytä lisää...