SULJE VALIKKO

avaa valikko

Fabio Somenzi | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Logic Synthesis and Verification Algorithms
Gary D. Hachtel; Fabio Somenzi
Springer-Verlag New York Inc. (2006)
Pehmeäkantinen kirja
68,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstraction Refinement for Large Scale Model Checking
Chao Wang; Gary D. Hachtel; Fabio Somenzi
Springer-Verlag New York Inc. (2006)
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Aided Verification - 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Hunt, Jr., Warren A.; Fabio Somenzi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstraction Refinement for Large Scale Model Checking
Chao Wang; Gary D. Hachtel; Fabio Somenzi
SPRINGER VERLAG GMBH (2008)
Kovakantinen kirja
65,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic Synthesis and Verification Algorithms
Gary D. Hachtel; Fabio Somenzi
Springer-Verlag New York Inc. (2013)
Pehmeäkantinen kirja
83,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic Synthesis and Verification Algorithms
Gary D. Hachtel; Fabio Somenzi
Springer (1996)
Kovakantinen kirja
88,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstraction Refinement for Large Scale Model Checking
Chao Wang; Gary D. Hachtel; Fabio Somenzi
Springer-Verlag New York Inc. (2014)
Pehmeäkantinen kirja
109,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic Synthesis and Verification Algorithms
68,60 €
Springer-Verlag New York Inc.
Sivumäärä: 564 sivua
Asu: Pehmeäkantinen kirja
Painos: 1996 ed.
Julkaisuvuosi: 2006, 10.02.2006 (lisätietoa)
Kieli: Englanti
This book blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. Through the study of optimal two-level and multilevel combinational circuit design, the reader is introduced to basic concepts, such as Boolean algebras, local search, and algebraic factorization. Similarly, through the study of optimal sequential circuit design, the reader is introduced to graph algorithms, finite state systems, and language theory. Throughout the book, recurrent themes such as branch and bound, dynamic programming, and symbolic implicit enumeration are used to establish optimal design principles.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logic Synthesis and Verification Algorithmszoom
Näytä kaikki tuotetiedot
ISBN:
9780387310046
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste