Siirry pääsisältöön
SULJE VALIKKO
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Romantiikka
Historialliset romaanit
Fantasia ja scifi
Pokkarit
Suomenkielinen jännitys
Dekkarit
Jännitys, trillerit ja kauhu
Suomenkielinen tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Historia
Taide ja arkkitehtuuri
Yritykset ja talous
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Lastenkirjat
Suomenkieliset lastenkirjat
Ruotsinkieliset lastenkirjat
Kuvakirjat
KIRJAUDU
ostoskori
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
Holger Hermanns | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, No
Hermanns, Holger; Sun, Jun; Bu, Lei
Springer Verlag, Singapore
2023
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
81,00 €
Validation of Stochastic Systems : A Guide to Current Research
Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter; Siegle, Markus
Springer
2004
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Process Algebra and Probabilistic Methods: Performance Modeling and Verification - Second Joint International Workshop PAPM-PROB
Hermanns, Holger; Segala, Roberto
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Interactive Markov Chains - The Quest for Quantified Quality
Hermanns, Holger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006, Held as Part of t
Hermanns, Holger; Palsberg, Jens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Saarbrücken, German
Hermanns, Holger
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Lectures on Formal Methods and Performance Analysis - First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Th
Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Computer Aided Verification - 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Damm, Werner; Hermanns, Holger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Baier, Christel; Hermanns, Holger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €