Condizione: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Hardcover. Condizione: Used: Good. xlibrary 1997 hc no dj as issued withdrawn stamp in book/ on edge of pages clean text Kluwer Academic Publ. 230 pages::: K-19.
Condizione: Brand New. New. US edition. Excellent Customer Service.
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 157,86
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 158,21
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 156,45
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 162,39
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 162,38
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Buchpark, Trebbin, Germania
EUR 94,39
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Da: moluna, Greven, Germania
EUR 174,29
Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching.
Da: Revaluation Books, Exeter, Regno Unito
EUR 231,29
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 240 pages. 9.25x6.10x0.57 inches. In Stock.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 227,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 218,12
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Condizione: As New. Unread book in perfect condition.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 242,88
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques. While Boolean reasoning techniques have been a central element of two-level circuit theory for many decades Reasoning in Boolean Networks describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning techniques are applied to various CAD-problems to demonstrate their usefulness for today's industrially relevant problems. Reasoning in Boolean Networks provides lucid descriptions of basic algorithmic concepts in automatic test pattern generation, logic synthesis and verification and elaborates their intimate relationship to provide further intuition and insight into the subject. Numerous examples are provide for ease in understanding the material. Reasoning in Boolean Networks is intended for researchers in logic synthesis, VLSI testing and formal verification as well as for integrated circuit designers who want to enhance their understanding of basic CAD methodologies.