Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Herman Geuvers | Booky.fi

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



Geuvers, Herman; Wiedijk, Freek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Types for Proofs and Programs - Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Sele
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Geuvers, Herman; England, Matthew; Hasan, Osman; Rabe, Florian; Teschke, Olaf
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Cooper, S. Barry; Geuvers, Herman; Pillay, Anand; Väänänen, Jouko
Cambridge University Press
2009
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Logic Colloquium 2006
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
146,20 €
Van Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proce
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Nederpelt, Rob; Geuvers, Herman
Cambridge University Press
2014
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Type Theory and Formal Proof - An Introduction
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
87,80 €