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

avaa valikko

Holger Hermanns | Booky.fi

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



Hermanns, Holger; Segala, Roberto
Springer
2002
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hermanns, Holger
Springer
2002
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Interactive Markov Chains : The Quest for Quantified Quality
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hermanns, Holger; Palsberg, Jens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hermanns, Holger
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Saarbrücken, German
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hermanns, Holger; Sun, Jun; Bu, Lei
Springer
2023
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Dependable Software Engineering. Theories, Tools, and Applications : 9th International Symposium, SETTA 2023, Nanjing,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter
Springer
2001
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter; Siegle, Markus
Springer
2004
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Validation of Stochastic Systems : A Guide to Current Research
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Damm, Werner; Hermanns, Holger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Computer Aided Verification - 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Baier, Christel; Hermanns, Holger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €