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

avaa valikko

Michael Kohlhase | Booky.fi

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



OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] - Foreword by Alan Bundy
Kohlhase, Michael
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] - Foreword by Alan Bundy
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Mathematical Knowledge Management - 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected
Kohlhase, Michael
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Mathematical Knowledge Management - 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Kohlhase, Michael; Johansson, Moa; Miller, Bruce; de Moura, Leonardo; Tompa, Frank
Springer
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
43,20 €
KI 2006 - 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings
Freksa, Christian; Kohlhase, Michael; Schill, Kerstin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
KI 2006 - 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Symbolic Computation and Automated Reasoning - The CALCULEMUS-2000 Symposium
Kerber, Manfred; Kohlhase, Michael
Taylor & Francis Inc
2001
Kovakantinen kirja
Saatavuus: Painos loppu Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma.
Symbolic Computation and Automated Reasoning - The CALCULEMUS-2000 Symposium
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
130,40 €
Digitalisierung von Zivilprozess und Rechtsdurchsetzung.
Adrian, Axel; Kohlhase, Michael; Evert, Stephanie; Zwickel, Martin
Duncker & Humblot GmbH
2022
Pehmeäkantinen kirja
Saatavuus: Tulossa! Tulossa!
07/2024 Kustantajan ilmoittama saatavuuspäivä on ylittynyt, selvitämme saatavuutta. Voit tehdä tilauksen heti ja toimitamme tuotteen kun saamme sen varastoomme.
Digitalisierung von Zivilprozess und Rechtsdurchsetzung.
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
146,70 €
Robust Argumentation Machines - First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
Cimiano, Philipp; Frank, Anette; Kohlhase, Michael; Stein, Benno
Springer International Publishing AG
2024
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Robust Argumentation Machines - First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
130,80 €