Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Tools and Algorithms for the Construction and Analysis of Systems 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
    18.04.2020

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

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Armin Biere
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.07.2013

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

    Taschenbuch
    49,22 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Digitaltechnik - Eine praxisnahe Einführung Digitaltechnik - Eine praxisnahe Einführung

    Digitaltechnik - Eine praxisnahe Einführung

    Armin Biere
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    29.02.2008

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

    Taschenbuch
    29,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Theory and Applications of Satisfiability Testing - SAT 2006 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
    26.07.2006

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Roderick Bloem
    Springer International Publishing, Springer International Publishing
    04.08.2014

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

    Taschenbuch
    106,99 €
    Print on Demand
    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

    Tools and Algorithms for the Construction and Analysis of Systems

    David Parker
    Springer International Publishing, Springer Nature Switzerland
    18.04.2020

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

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Handbook of Satisfiability Handbook of Satisfiability

    Handbook of Satisfiability

    Armin Biere
    IOS Press
    19.05.2021

    Propositional logic has been recognized throughout the centuries as one of the cornerstones of re...

    Gebunden
    308,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1