Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

New Data Structures and Algorithms for Logic Synthesis and Verification

Name: New Data Structures and Algorithms for Logic Synthesis and Verification
Brand: Springer
SKU: 41036458
Price: 254.7 PLN
Availability: InStock
Author: Luca Gaetano Amaru
ISBN: 9783319431741

Luca Gaetano Amaru

Język

Angielski

E-book Adobe ePub DRM

Kod Libristo: 41036458

Wydawnictwo Springer, sierpień 2016

This book introduces new logic primitives for electronic design automation tools. The author approac... Cały opis

Kod Libristo: 41036458

145 b

254.70 zł

Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

Edelsteine und Farben Monika Finger

Miękka

53.42 zł

Keltische Studien Heinrich Zimmer

Miękka

76.12 zł

Auswirkungen von Bewegungstherapie auf die physische und psychische Verfassung von Patienten im Rahmen einer hamatopoetischen Stammzelltransplantation Freerk Baumann

Miękka

369.90 zł

O acampamento na selva na cobertura da imprensa de qualidade vs. BILD Susanne Siegert

Miękka

166.32 zł

This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines.