Detailsuche

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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  7. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Armin Biere
    Springer, Berlin, Springer International Publishing, no funding, Springer
    Taschenbuch
    Print on Demand

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

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Armin Biere
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Print on Demand

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

    49,22 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Digitaltechnik - Eine praxisnahe Einführung
    Digitaltechnik - Eine praxisnahe Einführung
    Armin Biere
    Springer, Berlin
    Taschenbuch
    Print on Demand

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

    29,99 €Taschenbuch
    Alle Preise inkl. MwSt | zzgl. Versand
  10. Computer Aided Verification
    0 %
    Computer Aided Verification
    Armin Biere
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 106,99 €

    Jetzt 106,98 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Armin Biere
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

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

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Theory and Applications of Satisfiability Testing - SAT 2006
    0 %
    Theory and Applications of Satisfiability Testing - SAT 2006
    Armin Biere
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1