bernd finkbeiner

Grid   List

  1. Lehrerausbildung in vernetzten Lernumgebungen
    Lehrerausbildung in vernetzten Lernumgebungen
    Jürgen Mayer
    Waxmann Verlag GmbH
    Taschenbuch
    Sofort lieferbar
    Die Kombination von fachlichen, fachdidaktischen und bildungswissenschaftlichen Studienelementen sowie die Gliederung in drei Phasen sind Charakteristika der Lehrerbildung in Deutschland - stellen ...
    34,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  2. Runtime Verification
    Runtime Verification
    Bernd Finkbeiner
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in thi...
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Bernd Finkbeiner
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October  2015.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Runtime Verification
    Runtime Verification
    Howard Barringer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Runtime Verification
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Fields of Logic and Computation II
    Fields of Logic and Computation II
    Lev D. Beklemishev
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Fields of Logic and Computation II
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Fields of Logic and Computation III
    Fields of Logic and Computation III
    Andreas Blass
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift is published in honor of Yuri Gurevich's 80th birthday. An associated conference, YuriFest 2020, was planned for May 18-20 in Fontainebleau, France, in combination with the 39th Jo...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Bernd Finkbeiner
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in Ja...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Lautes Denken, «Stimulated Recall» und Dokumentarische Methode
    Lautes Denken, «Stimulated Recall» und Dokumentarische Methode
    Karin Aguado
    Lang, Peter GmbH
    Buch
    Bezug 11-15
    Methodische und methodologische empirische Grundlagen wurden über einen langen Zeitraum aus der Psychologie, der Soziologie und aus den Erziehungswissenschaften in die fachdidaktische Forschung ...
    63,45 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Fields of Logic and Computation II
    Fields of Logic and Computation II
    Lev D. Beklemishev
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision pro...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Bernd Finkbeiner
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October2015.The...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Runtime Verification
    Runtime Verification
    Leonardo Mariani
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented ...
    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Fields of Logic and Computation III
    Fields of Logic and Computation III
    Andreas Blass
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This Festschrift is published in honor of Yuri Gurevich's 80th birthday. An associated conference, YuriFest 2020, was planned for May 18-20 in Fontainebleau, France, in combination with the 39th...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>