chapter 1 Introduction -- chapter 2 Data Structures -- chapter 3 Graphical Data Structures -- chapter 4 AND-EXOR Expressions, Trees, and Diagrams -- chapter 5 Arithmetic Representations -- chapter 6 Word - Level Representations -- chapter 7 Spectral Techniques -- chapter 8 Information - Theoretical Measures -- chapter 9 Event - Driven Analysis -- chapter 10 Introduction -- chapter 11 Classification of Decision Diagrams -- chapter 12 Variable Ordering in Decision Diagrams -- chapter 13 Spectral Decision Diagrams -- chapter 14 Linearly Transformed Decision Diagrams -- chapter 15 Decision Diagrams for Arithmetic Circuits -- chapter 16 Edge - Valued Decision Diagrams -- chapter 17 Word - Level Decision Diagrams -- chapter 18 Minimization via Decision Diagrams -- chapter 19 Decision Diagrams for Incompletely Specified Functions -- chapter 20 Probabilistic Decision Diagram Techniques -- chapter 21 Power Consumption Analysis using Decision Diagrams -- chapter 22 Formal Verification of Circuits -- chapter 23 Ternary Decision Diagrams -- chapter 24 Information - Theoretical Measures in Decision Diagrams -- chapter 25 Decomposition Using Decision Diagrams -- chapter 26 Complexity of Decision Diagrams -- chapter 27 Programming of Decision Diagrams -- chapter 28 Introduction -- chapter 29 Multivalued Functions -- chapter 30 Spectral Transforms of Multivalued Functions -- chapter 31 Classification of Multivalued Decision Diagrams -- chapter 32 Event - Driven Analysis in Multivalued Systems -- chapter 33 Introduction -- chapter 34 Three - Dimensional Techniques -- chapter 35 Decision Diagrams in Reversible Logic -- chapter 36 Decision Diagrams on Quaternion Groups -- chapter 37 Linear Word - Level Decision Diagrams -- chapter 38 Fibonacci Decision Diagrams -- chapter 39 Techniques of Computing via Taylor - Like Expansions -- chapter 40 Developing New Decision Diagrams -- chapter 41 Historical Perspectives and Open Problems.