• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Naturvetenskap och teknik
    2. Teknik och industri
    3. Elektronik och kommunikationer

    Binary Decision Diagrams

    Theory and Implementation

    AvRolf Drechsler,Bernd Becker

    Inbunden, Engelska, 1998

    1 608 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Fler format och utgåvor

    Häftad

    1 613 kr

    Beskrivning

    This text is intended both for newcomers to BDDs and for researchers and practitioners who need to implement them. Apart from giving a quick start for the reader who is not familiar with BDDs (or DDs in general), it also discusses several new aspects of BDDs, e.g. with respect to minimization and implementation of a package.

    Produktinformation

    • Utgivningsdatum:1998-06-30
    • Mått:155 x 235 x 17 mm
    • Vikt:494 g
    • Format:Inbunden
    • Språk:Engelska
    • Antal sidor:200
    • Upplaga:1998
    • Förlag:Kluwer Academic Publishers
    • ISBN:9780792381938

    Utforska kategorier

    • Elektronik och kommunikationer inom Naturvetenskap och teknik
    • Systemvetenskap och AI inom Data och IT

    Innehållsförteckning

    • 1 Introduction.- 2 Notations and Definitions.- 3 Decision Diagrams.- 4 Theoretical Aspects.- 5 Minimization of Decision Diagrams: Classical Methods.- 6 Minimization Using Symmetries.- 7 Alternative Minimization Concepts.- 8 Implementational Concepts.- 9 A Case Study: Two-Level AND/EXOR Minimization.- 10 Conclusions.- References.
    Hoppa över listan

    Mer från samma författare

    Alireza Mahzoon, Daniel Große, Rolf Drechsler - Formal Verification of Structurally Complex Multipliers, Inbunden

    Formal Verification of Structurally Complex Multipliers

    Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Inbunden, 2023

    968 kr

    Rudiger Ebendt, Görschwin Fey, Rolf Drechsler - Advanced BDD Optimization, Inbunden

    Advanced BDD Optimization

    Rudiger Ebendt, Görschwin Fey, Rolf Drechsler

    Inbunden, 2005

    1 608 kr

    Rolf Drechsler, Gorschwin Fey, Rudiger Ebendt - Advanced BDD Optimization, E-bok

    Advanced BDD Optimization

    Rolf Drechsler, Gorschwin Fey, Rudiger Ebendt

    E-bok
    2005

    2 044 kr

    Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller - Spectral Techniques in VLSI CAD, Inbunden

    Spectral Techniques in VLSI CAD

    Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller

    Inbunden, 2001

    1 656 kr

    Rolf Drechsler - Formal Verification of Circuits, Inbunden

    Formal Verification of Circuits

    Rolf Drechsler

    Inbunden, 2000

    1 608 kr

    Rolf Drechsler - Evolutionary Algorithms for VLSI CAD, Inbunden

    Evolutionary Algorithms for VLSI CAD

    Rolf Drechsler

    Inbunden, 1998

    1 075 kr

    Rolf Drechsler - Advanced Formal Verification, E-bok

    Advanced Formal Verification

    Rolf Drechsler

    E-bok
    2007

    1 413 kr

    Görschwin Fey, Rolf Drechsler - Robustness and Usability in Modern Design Flows, Inbunden

    Robustness and Usability in Modern Design Flows

    Görschwin Fey, Rolf Drechsler

    Inbunden, 2008

    1 078 kr

    Rolf Drechsler, Gorschwin Fey - Robustness and Usability in Modern Design Flows, E-bok

    Robustness and Usability in Modern Design Flows

    Rolf Drechsler, Gorschwin Fey

    E-bok
    2008

    1 413 kr

    Rolf Drechsler, Wolfgang Günther - Towards One-Pass Synthesis, Inbunden

    Towards One-Pass Synthesis

    Rolf Drechsler, Wolfgang Günther

    Inbunden, 2002

    1 078 kr

    Hoppa över listan

    Du kanske också är intresserad av

    Rolf Drechsler, Bernd Becker - Binary Decision Diagrams, Häftad

    Binary Decision Diagrams

    Rolf Drechsler, Bernd Becker

    Häftad, 2010

    1 613 kr

    Bernd Becker, Rolf Drechsler - Graphenbasierte Funktionsdarstellung, E-bok

    Graphenbasierte Funktionsdarstellung

    Bernd Becker, Rolf Drechsler

    E-bok
    2013

    447 kr

    Rolf Drechsler, Bernd Becker - Graphenbasierte Funktionsdarstellung, Häftad

    Graphenbasierte Funktionsdarstellung

    Rolf Drechsler, Bernd Becker

    Häftad, 1998

    506 kr

    Bernd Becker, Rolf Drechsler - Binary Decision Diagrams, E-bok

    Binary Decision Diagrams

    Bernd Becker, Rolf Drechsler

    E-bok
    2013

    2 044 kr

    Bernd Becker - Statistik, Inbunden

    Statistik

    Bernd Becker

    Inbunden, 1993

    1 259 kr

    Paul Molitor, Bernd Becker - Technische Informatik, E-bok

    Technische Informatik

    Paul Molitor, Bernd Becker

    E-bok
    2009

    519 kr

    Dieter Ahlert, Bernd Becker, Heiner Evanschitzky, Josef Hesse, André Salfeld - Exzellenz in Markenmanagement und Vertrieb, Häftad

    Exzellenz in Markenmanagement und Vertrieb

    Dieter Ahlert, Bernd Becker, Heiner Evanschitzky, Josef Hesse, André Salfeld

    Häftad, 2005

    726 kr

    Bernd Becker - Statistik, E-bok

    Statistik

    Bernd Becker

    E-bok
    2015

    1 457 kr

    Andre Salfeld, Josef Hesse, Heiner Evanschitzky, Bernd Becker, Dieter Ahlert - Exzellenz in Markenmanagement und Vertrieb, E-bok

    Exzellenz in Markenmanagement und Vertrieb

    Andre Salfeld, Josef Hesse, Heiner Evanschitzky, Bernd Becker, Dieter Ahlert

    E-bok
    2015

    501 kr

    Bernd Becker, Hans Möhler - Abendfibel müder Seelen, Inbunden

    Abendfibel müder Seelen

    Bernd Becker, Hans Möhler

    Inbunden, 2019

    161 kr