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
Daniel Kroening | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 11 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Decision Procedures - An Algorithmic Point of View
Kroening, Daniel; Strichman, Ofer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
66,10 €
Decision Procedures - An Algorithmic Point of View
Kroening, Daniel; Strichman, Ofer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
52,50 €
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Decision Procedures - An Algorithmic Point of View
Kroening, Daniel; Strichman, Ofer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2017
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
81,00 €
Decision Procedures - An Algorithmic Point of View
Kroening, Daniel; Strichman, Ofer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2018
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
61,10 €
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, Octo
Barner, Sharon; Harris, Ian; Kroening, Daniel; Raz, Orna
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Validation of Evolving Software
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Springer International Publishing AG
2015
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014
Giannakopoulou, Dimitra; Kroening, Daniel
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
49,20 €
Validation of Evolving Software
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Model Checking
Jr., Edmund M. Clarke; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
MIT Press Ltd
2018
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
81,40 €
Näytä lisää...