Siirry pääsisältöön
SULJE VALIKKO
Ajankohtaista
Viikon poiminnat
Sukella suosittuun Game Changers -sarjaan! 🏒🌶️
Hurahda väritys- ja puuhakirjojen maailmaan!
Aloita uusi sarja
Uppoudu uudelleen suosikkisarjaan!
Tapahtumat
4.6. Kaj Kunnas, Christoffer Holm ja Pekka Hyysalo | Turku
4.6. Laura Pollari | Tapiola
9.6. Kaj Kunnas ja Christoffer Holm
10.6. Terhi Rannela | Tampere
17.6. Akateeminen Business Book Club | Turku
6.8. Kirjojen Yö | Tampere
13.8. Kirjojen Yö | Turku
20.8. Kirjojen Yö! | Helsinki
Näistä puhumme juuri nyt!
Henkilökunta suosittelee
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Nykykirjallisuus ja muut kaunokirjat
Romantiikka
Historialliset romaanit
Sotakirjallisuus
Fantasia ja scifi
Pokkarit
Sarjakuvat
Runous
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
Tietotekniikka
Käsityötaide
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
Rambon talli! 🐎
Nuortenkirjat
Kaikki nuortenkirjat
Nuorten selkokirjat
Nuorten sarjakuvat
Neropatin päiväkirja -sarja
Uutishuone
KIRJAUDU
ostoskori
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
Fabio Somenzi | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Logic Synthesis and Verification Algorithms
Hachtel, Gary D.; Somenzi, Fabio
Springer-Verlag New York Inc.
2006
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
70,80 €
Abstraction Refinement for Large Scale Model Checking
Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
Springer
2006
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Hunt, Jr., Warren A.; Somenzi, Fabio
Springer
2003
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Abstraction Refinement for Large Scale Model Checking
Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
SPRINGER VERLAG GMBH
2008
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
63,10 €
Logic Synthesis and Verification Algorithms
Hachtel, Gary D.; Somenzi, Fabio
Springer
2013
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
86,00 €
Logic Synthesis and Verification Algorithms
Hachtel, Gary D.; Somenzi, Fabio
Kluwer Academic Publishers
1996
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
91,00 €
Abstraction Refinement for Large Scale Model Checking
Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
Springer
2014
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
113,00 €