[email protected]
Nous vous répondrons dans les 24 heures
La Poste Autrichienne 5.99 €
Coursier DPD 6.49 €
Service de messagerie GLS 4.49 €
Contact
Comment faire ses achats
Assistance
Livraison
La Poste Autrichienne 5.99 €
Coursier DPD 6.49 €
Service de messagerie GLS 4.49 €
Guide d'achat
Nous sommes à votre disposition !
[email protected]
Mon compte
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages.
Créer un compte gratuitement
▸
Vide :-(
0
New Data Structures and Algorithms for Logic Synthesis and Verification
Langue
Anglais
Anglais
Livre
Livre relié
This book introduces new logic primitives for electronic design automation tools. The author approac...
Description détaillée
Code Libristo: 13496526
?
161 b
161 b
68.07
€
včetně DPH
Stockage externe en petites quantités
Expédition sous 13-16 jours
common.delivery_to
common.delivery_to
Politique de retour sous 30 jours
Ceci pourrait également vous intéresser
/
Livre de poche
15.40
€
/
Livre de poche
19.69
€
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.§
À propos du livre
Nom complet
New Data Structures and Algorithms for Logic Synthesis and Verification
Auteur
Luca Gaetano Amaru
Langue
Anglais
Anglais
Reliure
Livre - Livre relié
Date de parution
2016
Nombre de pages
156
EAN
9783319431734
ISBN
3319431730
Code Libristo
13496526
Éditeurs
Springer International Publishing AG
Poids
3849
Dimensions
155 x 235 x 16
Catégories
Technologie, ingénierie et agriculture, procédés industriels
>
Ingénierie électronique et technologie des communications
>
Génie électronique
>
Electronique : circuits et composants
Technologie, ingénierie et agriculture, procédés industriels
>
Technologie : généralités
>
Ingénierie : généralités
Informatique et technologies de l’information
>
Matériel informatique
>
Unités centrales et mini-ordinateurs
Informatique et technologies de l’information
>
Programmation informatique / génie logiciel
>
Algorithmes et structures des données
