*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Digitaltechnik - Eine praxisnahe Einführung
    Digitaltechnik - Eine praxisnahe Einführung
    Armin Biere
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    BOD - 2 Tage

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

    29,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification
    Computer Aided Verification
    Armin Biere
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Theory and Applications of Satisfiability Testing - SAT 2006
    Theory and Applications of Satisfiability Testing - SAT 2006
    Armin Biere
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Talks.- From Propositional Satisfiability to Satisfiability Modulo Theories.- CSPs: Addin...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Armin Biere
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Armin Biere
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Armin Biere
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

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