Grid   List

  1. Computer Aided Verification
    -0 %

    Computer Aided Verification

    Armin Biere
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 26th International Conference on Computer Aided Veri...

    Unser bisheriger Preis:ORGPRICE: 112,18 €

    Jetzt 112,17 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Digitaltechnik - Eine praxisnahe Einführung

    Digitaltechnik - Eine praxisnahe Einführung

    Armin Biere
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Speziell für Bachelor-Studenten entwickelt, enthält das Lehrbuch viele praktische Anwendungen,...

    20,67 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Theory and Applications of Satisfiability Testing - SAT 2006
    -0 %

    Theory and Applications of Satisfiability Testing - SAT 2006

    Armin Biere
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 9th International Conference on Theory and ...

    Unser bisheriger Preis:ORGPRICE: 56,28 €

    Jetzt 56,27 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Hardware and Software: Verification and Testing
    -0 %

    Hardware and Software: Verification and Testing

    Armin Biere
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verifica...

    Unser bisheriger Preis:ORGPRICE: 49,95 €

    Jetzt 49,94 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Armin Biere
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This open access two-volume set constitutes the proceedings of the 26th International Conference ...

    3,73 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Armin Biere
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This open access two-volume set constitutes the proceedings of the 26th International Conference ...

    3,71 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Digitaltechnik - Eine praxisnahe Einführung

    Digitaltechnik - Eine praxisnahe Einführung

    Armin Biere
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Speziell für Bachelor-Studenten entwickelt, enthält das Lehrbuch viele praktische Anwendungen, di...

    29,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Armin Biere
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verifica...

    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    David Parker
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set constitutes the proceedings of the 26th International Conference ...

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    David Parker
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set constitutes the proceedings of the 26th International Conference ...

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1