*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Fields of Logic and Computation II
    Fields of Logic and Computation II
    Lev D. Beklemishev
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made f...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Bernd Finkbeiner
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 13th International Symposium on Automated Technology...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Runtime Verification
    Runtime Verification
    Bernd Finkbeiner
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 19th International Conference on Runtime Ve...

    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Fields of Logic and Computation III
    Fields of Logic and Computation III
    Andreas Blass
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This Festschrift is published in honor of Yuri Gurevich¿s 80th birthday. An associated conference...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Bernd Finkbeiner
    Springer, Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 23rd International Conference on Verification, Model...

    96,29 €
    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
    Bernd Finkbeiner
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    SAT and SMT Solving.- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.- Z3-Nood...

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

    Model Checking.- automata and learning.- software verification.- probabilistic systems.- simulati...

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

    Neural networks.- testing and verification.- games.- concurrency.- SV-Comp 2024.

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Lautes Denken, «Stimulated Recall» und Dokumentarische Methode
    Lautes Denken, «Stimulated Recall» und Dokumentarische Methode
    Karin Aguado
    Lang, Peter GmbH
    Buch
    BOD - 7 Tage

    Methodische und methodologische empirische Grundlagen wurden über einen langen Zeitraum aus der P...

    63,45 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1