Profisuche

armin biere

Grid   List

  1. Digitaltechnik - Eine praxisnahe Einführung

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

    20,67 €
    Alle Preise inkl. MwSt
  2. Computer Aided Verification

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

    96,29 €
    Alle Preise inkl. MwSt
  3. Hardware and Software: Verification and Testing

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

    48,14 €
    Alle Preise inkl. MwSt
  4. Theory and Applications of Satisfiability Testing - SAT 2006

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

    53,49 €
    Alle Preise inkl. MwSt
  5. Digitaltechnik - Eine praxisnahe Einführung

    Digitaltechnik - Eine praxisnahe Einführung

    Armin Biere
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    29,99 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  6. Theory and Applications of Satisfiability Testing - SAT 2006

    Theory and Applications of Satisfiability Testing - SAT 2006

    Carla P. Gomes
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Armin Biere
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    49,22 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Computer Aided Verification

    Computer Aided Verification

    Roderick Bloem
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

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

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

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

    42,79 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1