|
|

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
111,40 €
Schwichtenberg, Helmut; Steinbrüggen, Ralf
Kluwer Academic Publishers
2002
Pehmeäkantinen kirja
Proof and System-Reliability
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
62,00 €
Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja
Proof and Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
122,40 €
Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Logic of Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
62,00 €
Schwichtenberg, Helmut; Wainer, Stanley S.
CAMBRIDGE
2012
Verkkoaineisto
Proofs and Computations
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
207,10 €
Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1997
Kovakantinen kirja
Logic of Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
146,60 €
Spies, Katharina; Schwichtenberg, Helmut
IOS Press
2006
Kovakantinen kirja
Proof Technology and Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
203,40 €
Bauer, Friedrich L.; Brauer, Wilfried; Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1993
Kovakantinen kirja
Logic and Algebra of Specification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
162,40 €
Berger, Ulrich; Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1999
Kovakantinen kirja
Computational Logic
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
162,40 €
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
122,40 €
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
162,40 €
Steinbruggen, Ralf; Schwichtenberg, Helmut; ;
Springer
2002
Kovakantinen kirja
Proof and System-Reliability
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
147,00 €
Bauer, Friedrich L.; Brauer, Wilfried; Schwichtenberg, Helmut
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja
Logic and Algebra of Specification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
162,40 €
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
153,40 €
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
185,00 €
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
196,60 €

Näytä lisää...