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
Ofer Strichman | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Theory and Applications of Satisfiability Testing - SAT 2010 - 13th International Conference, SAT 2010, Edinburgh, UK, July 11-1
Strichman, Ofer; Szeider, Stefan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Efficient Decision Procedures for Validation
Strichman, Ofer
LAP Lambert Academic Publishing
2010
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
87,30 €
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, Nov
Strichman, Ofer; Tzoref-Brill, Rachel
Springer International Publishing AG
2017
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
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 €
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 €