Grid   List

  1. Tools and Algorithms for the Construction and Analysis of Systems
    -0 %

    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 ...

    Unser bisheriger Preis:ORGPRICE: 3,81 €

    Jetzt 3,80 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Tools and Algorithms for the Construction and Analysis of Systems
    -0 %

    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 ...

    Unser bisheriger Preis:ORGPRICE: 3,78 €

    Jetzt 3,77 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. 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: 50,90 €

    Jetzt 50,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. 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,64 €

    Jetzt 56,63 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Digitaltechnik - Eine praxisnahe Einführung
    -0 %

    Digitaltechnik - Eine praxisnahe Einführung

    Armin Biere
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Dieses Einführungswerk in die Digitaltechnik wurde speziell für Bachelorstudenten entwickelt. ...

    Unser bisheriger Preis:ORGPRICE: 20,67 €

    Jetzt 20,66 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. 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: 113,86 €

    Jetzt 113,85 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1