Siirry pääsisältöön
SULJE VALIKKO
Ajankohtaista
Viikon poiminnat
Hurahda väritys- ja puuhakirjojen maailmaan!
Finlandia-palkinnon ehdokkaat ja voittajat
Aloita uusi vuosi uusilla tarinoilla!
Uppoudu uudelleen suosikkisarjaan!
Tapahtumat
14.1. Pekka Visuri ja Timo Hellenberg
21.1. Ville Jalovaara
28.1. Akateeminen Business Book Club | Turku
30.1. Karl Ove Knausgård
Näistä puhumme juuri nyt!
Henkilökunta suosittelee
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Nykykirjallisuus ja muut kaunokirjat
Keltainen Kirjasto
Romantiikka
Historialliset romaanit
Sotakirjallisuus
Fantasia ja scifi
Pokkarit
Sarjakuvat
Runous
Mietelauseet
Selkokirjat
Suomenkielinen jännitys
Dekkarit
Jännitys, trillerit ja kauhu
Suosittelemme: Satu Rämö
Suosittelemme: Max Seeck
Suomenkielinen tietokirjallisuus
Suosittelemme: Ajankohtaisimmat tietokirjat
Elämänkerrat ja muistelmat
Yleistieto
Historia
Yhteiskunta
Taide ja arkkitehtuuri
Yritykset ja talous
Oikeustiede
Lääketiede
Tietotekniikka
Ajoneuvot
Käsityötaide
Kalenterit
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Suomenkieliset lastenkirjat
Ruotsinkieliset lastenkirjat
Englanninkieliset lastenkirjat
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Harry Potter -sarja
Rambon talli! 🐎
Yökoulu
Ella ja kaverit
Tammen kultaiset kirjat
Nuortenkirjat
Kaikki nuortenkirjat
Suosittelemme: Ajankohtaiset nuortenkirjat
Nuorten selkokirjat
Nuorten sarjakuvat
Neropatin päiväkirja -sarja
Jännitystä ja kauhua nuorille
Lahjakortti
Tietoa verkkokaupasta
Uutishuone
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
76,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
51,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
79,90 €
Näytä lisää...