Erweiterte Suche

Grid  List

  1. Lehrerausbildung in vernetzten Lernumgebungen Lehrerausbildung in vernetzten Lernumgebungen

    Lehrerausbildung in vernetzten Lernumgebungen

    Jürgen Mayer
    Waxmann Verlag GmbH
    10.09.2018

    Die Kombination von fachlichen, fachdidaktischen und bildungswissenschaftlichen Studienelementen ...

    Taschenbuch
    34,90 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Bernd Finkbeiner
    Springer International Publishing, Springer International Publishing
    22.11.2015

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Runtime Verification Runtime Verification

    Runtime Verification

    Leonardo Mariani
    Springer International Publishing, Springer Nature Switzerland
    04.10.2019

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

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Fields of Logic and Computation II Fields of Logic and Computation II

    Fields of Logic and Computation II

    Lev D. Beklemishev
    Springer International Publishing, Springer International Publishing
    27.08.2015

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Lautes Denken, «Stimulated Recall» und Dokumentarische Methode Lautes Denken, «Stimulated Recall» und Dokumentarische Methode

    Lautes Denken, «Stimulated Recall» und Dokumentarische Methode

    Karin Aguado
    Lang, Peter GmbH
    11.09.2018

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

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 63,45 €

    Jetzt 58,75 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Fields of Logic and Computation III Fields of Logic and Computation III

    Fields of Logic and Computation III

    Andreas Blass
    Springer International Publishing, Springer Nature Switzerland
    23.05.2020

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Thomas Wies
    Springer International Publishing, Springer Nature Switzerland
    14.01.2022

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

    Taschenbuch
    96,29 €
    Print on Demand
    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

    Tools and Algorithms for the Construction and Analysis of Systems

    Laura Kovács
    Springer Nature Switzerland, Springer International Publishing
    04.04.2024

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th Intern...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. 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

    Laura Kovács
    Springer Nature Switzerland, Springer International Publishing
    05.04.2024

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th Intern...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. 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

    Laura Kovács
    Springer Nature Switzerland, Springer International Publishing
    05.04.2024

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th Intern...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Runtime Verification Runtime Verification

    Runtime Verification

    Howard Barringer
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 99,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1