Filtrera

Ämne
  • (1)
  • (9)
  • (1)
  • (3)
  • (1)
  • (1)
  • (1)
Format
  • (1)
  • (9)
Utgivningsår
  • (3)
  • (1)
  • (6)

Bernd Finkbeiner - Böcker

Visar alla böcker av Bernd Finkbeiner. Handla med fri frakt och snabb leverans!

Sortering:

  1. Runtime Verification

    av Bernd Finkbeiner, Leonardo Mariani

    Häftad, Engelska, 2019-10-04
    748
    Köp
    Skickas från oss inom 10-15 vardagar.
    Runtime Verification

    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 this book were carefully reviewed and selected from ...

    Läs mer »

  2. Fields of Logic and Computation III

    av Andreas Blass, Patrick Cgielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner

    Häftad, Engelska, 2020-05-23
    577
    Köp
    Skickas från oss inom 10-15 vardagar.
    Fields of Logic and Computation III

    This Festschrift is published in honor of Yuri Gurevichs 80th birthday. An associated conference, YuriFest 2020, was planned for May 1820 in Fontainebleau, France, in combination with the 39th Journes sur les Arithmtiques Faibles also celebrating ...

    Läs mer »

  3. Verification, Model Checking, and Abstract Interpretation

    av Bernd Finkbeiner, Thomas Wies

    Häftad, Engelska, 2022-01-14
    1026
    Köp
    Skickas från oss inom 10-15 vardagar.
    Verification, Model Checking, and Abstract Interpretation

    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 January 2022.The 22 papers presented in this volume ...

    Läs mer »

  4. Tools and Algorithms for the Construction and Analysis of Systems

    av Bernd Finkbeiner, Laura Kovcs

    Häftad, Engelska, 2024-04-04
    538
    Köp
    Skickas från oss inom 10-15 vardagar.
    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conf...

    Läs mer »

  5. Tools and Algorithms for the Construction and Analysis of Systems

    av Bernd Finkbeiner, Laura Kovcs

    Häftad, Engelska, 2024-04-05
    538
    Köp
    Skickas från oss inom 10-15 vardagar.
    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conf...

    Läs mer »

  6. Tools and Algorithms for the Construction and Analysis of Systems

    av Bernd Finkbeiner, Laura Kovcs

    Häftad, Engelska, 2024-04-05
    538
    Köp
    Skickas från oss inom 10-15 vardagar.
    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conf...

    Läs mer »

  7. Fields of Logic and Computation II

    av Lev D Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

    Häftad, Engelska, 2015-08-27
    577
    Köp
    Skickas från oss inom 10-15 vardagar.
    Fields of Logic and Computation II

    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 procedures, the monadic theory of order, abstrac...

    Läs mer »

  8. Automated Technology for Verification and Analysis

    av Bernd Finkbeiner, Geguang Pu, Lijun Zhang

    Häftad, Engelska, 2015-11-22
    577
    Köp
    Skickas från oss inom 10-15 vardagar.
    Automated Technology for Verification and Analysis

    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. The 27 revised papers presented together with 6 tool papers in th...

    Läs mer »

  9. Lautes Denken, Stimulated Recall und Dokumentarische Methode

    av Karin Aguado, Claudia Finkbeiner, Bernd Tesch

    Inbunden, Engelska, 2018-09-11
    736
    Köp
    Skickas från oss inom 7-10 vardagar.
    Lautes Denken, Stimulated Recall und Dokumentarische Methode

    Methodische und methodologische empirische Grundlagen wurden uber einen langen Zeitraum aus der Psychologie, der Soziologie und aus den Erziehungswissenschaften in die fachdidaktische Forschung "exportiert" und sind mitverantwortlich fur...

    Läs mer »

  10. Runtime Verification

    av Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee

    Häftad, Engelska, 2010-10-19
    577
    Köp
    Skickas från oss inom 10-15 vardagar.
    Runtime Verification

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorial...

    Läs mer »