Grid   List

  1. Computer-Aided Verification of Coordinating Processes
    -0 %

    Computer-Aided Verification of Coordinating Processes

    Robert P. Kurshan
    Princeton University Press
    Ebook
    Sofort lieferbar

    Formal verification increasingly has become recognized as an answer to the problem of how to crea...

    Unser bisheriger Preis:ORGPRICE: 62,99 €

    Jetzt 62,98 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Petri Nets
    -0 %

    Petri Nets

    Guanjun Liu
    Springer Nature Singapore
    Ebook
    Sofort lieferbar

    This book provides essential information on Petri net theory and Petri net-based model checking m...

    Unser bisheriger Preis:ORGPRICE: 174,50 €

    Jetzt 171,18 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Introduction to Noise-Resilient Computing

    Introduction to Noise-Resilient Computing

    Svetlana N. Yanushkevich
    Morgan & Claypool Publishers
    Ebook
    Nicht lieferbar

    Noise abatement is the key problem of small-scaled circuit design. New computational paradigms ar...

    43,99 €
    Alle Preise inkl. MwSt
  4. Applications of Zero-Suppressed Decision Diagrams

    Applications of Zero-Suppressed Decision Diagrams

    Tsutomu Sasao
    Morgan & Claypool Publishers
    Ebook
    Nicht lieferbar

    A zero-suppressed decision diagram (ZDD) is a data structure to represent objects that typically ...

    48,77 €
    Alle Preise inkl. MwSt
  5. Modeling Digital Switching Circuits with Linear Algebra

    Modeling Digital Switching Circuits with Linear Algebra

    Mitchell A. Thornton
    Morgan & Claypool Publishers
    Ebook
    Nicht lieferbar

    Modeling Digital Switching Circuits with Linear Algebra describes an approach for modeling digita...

    48,77 €
    Alle Preise inkl. MwSt
  1. 1