Filtrera

Språk
  • (13)
  • (3)
Ämne
  • (3)
  • (13)
  • (3)
  • (4)
  • (3)
  • (1)
  • (3)
  • (1)
Format
  • (1)
  • (6)
  • (9)
Utgivningsår
  • (3)
  • (13)
Leveranstid
  • (6)
  • (10)

Bernd Finkbeiner - Böcker

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

Sortering:
  1. Programming and Software Engineering:

    Runtime Verification

    av Bernd Finkbeiner, Leonardo Mariani

    Häftad, Engelska, 2019-10-04
    746
    Köp
    Skickas från oss inom 7-10 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. Runtime Verification E-bok

    av Bernd Finkbeiner, Leonardo Mariani

    E-bok (LCP), Engelska, 2019-10-03
    900
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 3...

    Läs mer »

  3. Programming and Software Engineering:

    Fields of Logic and Computation III

    av Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner

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

    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 Journées sur les Arithmétiques Faibles also celebrat...

    Läs mer »

  4. Theoretical Computer Science and General Issues:

    Verification, Model Checking, and Abstract Interpretation

    av Bernd Finkbeiner, Thomas Wies

    Häftad, Engelska, 2022-01-14
    1000
    Köp
    Skickas från oss inom 7-10 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 »

  5. Verification, Model Checking, and Abstract Interpretation E-bok

    av Bernd Finkbeiner, Thomas Wies

    E-bok (LCP), Engelska, 2022-01-13
    1263
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 »

  6. Lecture Notes in Computer Science, del 14570:

    Tools and Algorithms for the Construction and Analysis of Systems

    av Bernd Finkbeiner, Laura Kovács

    Häftad, Engelska, 2024-04-04
    528
    Köp
    Skickas från oss inom 5-8 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. Lecture Notes in Computer Science, del 14571:

    Tools and Algorithms for the Construction and Analysis of Systems

    av Bernd Finkbeiner, Laura Kovács

    Häftad, Engelska, 2024-04-05
    528
    Köp
    Skickas från oss inom 5-8 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 »

  8. Lecture Notes in Computer Science, del 14572:

    Tools and Algorithms for the Construction and Analysis of Systems

    av Bernd Finkbeiner, Laura Kovács

    Häftad, Engelska, 2024-04-05
    528
    Köp
    Skickas från oss inom 5-8 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 »

  9. Programming and Software Engineering:

    Fields of Logic and Computation II

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

    Häftad, Engelska, 2015-08-27
    559
    Köp
    Skickas från oss inom 7-10 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, abstract sta...

    Läs mer »

  10. Fields of Logic and Computation II E-bok

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

    E-bok (PDF, LCP), Engelska, 2015-09-05
    715
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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, abstract sta...

    Läs mer »

  11. Programming and Software Engineering:

    Automated Technology for Verification and Analysis

    av Bernd Finkbeiner, Geguang Pu, Lijun Zhang

    Häftad, Engelska, 2015-11-22
    575
    Köp
    Skickas från oss inom 7-10 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 t...

    Läs mer »

  12. Automated Technology for Verification and Analysis E-bok

    av Bernd Finkbeiner, Geguang Pu, Lijun Zhang

    E-bok (PDF, LCP), Engelska, 2015-10-07
    737
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 »

  13. Laculi Language Culture Literacy, del 10:

    Lautes Denken, Stimulated Recall und Dokumentarische Methode

    av Karin Aguado, Claudia Finkbeiner, Bernd Tesch

    Inbunden, Tyska, 2018-09-11
    752
    Köp
    Skickas från oss inom 5-8 vardagar.
    Lautes Denken, Stimulated Recall und Dokumentarische Methode

  14. Lautes Denken, «Stimulated Recall» und Dokumentarische Methode E-bok

    av Aguado Karin Aguado, Finkbeiner Claudia Finkbeiner, Tesch Bernd Tesch

    E-bok (PDF, LCP), Tyska, 2018-10-15
    655
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 die gelunge...

    Läs mer »

  15. Lautes Denken, «Stimulated Recall» und Dokumentarische Methode E-bok

    av Aguado Karin Aguado, Finkbeiner Claudia Finkbeiner, Tesch Bernd Tesch

    E-bok (LCP), Tyska, 2018-10-15
    655
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 die gelunge...

    Läs mer »

  16. Programming and Software Engineering:

    Runtime Verification

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

    Häftad, Engelska, 2010-10-19
    575
    Köp
    Skickas från oss inom 7-10 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 »