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

avaa valikko

Tobias Nipkow | Booky.fi

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



Tobias Nipkow
John Wiley & Sons
2025
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 2-3 viikossa
Functional Data Structures and Algorithms - A Proof Assistant Approach
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
73,30 €
Tobias Nipkow
John Wiley & Sons
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 2-3 viikossa
Functional Data Structures and Algorithms - A Proof Assistant Approach
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
54,70 €
Franz Baader; Tobias Nipkow
Cambridge University Press
1999
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Term Rewriting and All That
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
64,70 €
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus
Springer
2002
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
56,10 €
Nipkow, Tobias
Springer
1998
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Nipkow, Tobias; Klein, Gerwin
Springer
2014
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Concrete Semantics : With Isabelle/HOL
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €
Nipkow, Tobias; Klein, Gerwin
Springer
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Concrete Semantics : With Isabelle/HOL
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Barendregt, Henk; Nipkow, Tobias
Springer
1994
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Heering, Jan; Meinke, Karl; Möller, Bernhard; Nipkow, Tobias
Springer
1994
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Gore, Rajeev; Leitsch, Alexander; Nipkow, Tobias
Springer
2001
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil
Springer
2006
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius
Springer
2009
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Baader, Franz; Nipkow, Tobias
Cambridge University Press
1998
Kovakantinen kirja
Saatavuus: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Term Rewriting and All That
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
119,70 €
Baader, Franz; Nipkow, Tobias
CAMBRIDGE
2012
Verkkoaineisto
Saatavuus: Hankintapalvelu Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen.
Term Rewriting and All That
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
205,90 €

Näytä lisää...