Filtrera

Språk
  • (74)
  • (9)
Ämne
  • (74)
  • (2)
  • (1)
  • (15)
  • (1)
Format
  • (6)
  • (37)
  • (40)
Nyheter
  • (1)
Utgivningsår
  • (1)
  • (8)
  • (6)
  • (68)
Pris
  • (1)
  • (2)
  • (5)
Leveranstid
  • (37)
  • (41)
Geografisk plats i boken
  • (2)
  • (2)

Bernhard Steffen - Böcker

Visar alla böcker av Bernhard Steffen. Handla med fri frakt och snabb leverans!

Sortering:

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

    av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

    Häftad, Engelska, 2020-10-08
    668
    Köp
    Skickas från oss inom 7-10 vardagar.
    Tools and Algorithms for the Construction and Analysis of Systems

    This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague...

    Läs mer »

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

    av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

    Inbunden, Engelska, 2020-10-08
    742
    Köp
    Skickas från oss inom 7-10 vardagar.
    Tools and Algorithms for the Construction and Analysis of Systems

    This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague...

    Läs mer »

  3. Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2018-10-29
    882
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...

    Läs mer »

  4. Leveraging Applications of Formal Methods, Verification and Validation. Modeling E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2018-10-28
    764
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...

    Läs mer »

  5. Leveraging Applications of Formal Methods, Verification and Validation. Verification

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2018-10-30
    779
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation. Verification

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...

    Läs mer »

  6. Leveraging Applications of Formal Methods, Verification and Validation. Verification E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2018-10-29
    764
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Leveraging Applications of Formal Methods, Verification and Validation. Verification

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...

    Läs mer »

  7. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2018-10-31
    779
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...

    Läs mer »

  8. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2018-10-30
    764
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...

    Läs mer »

  9. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2018-10-30
    779
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...

    Läs mer »

  10. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2018-10-29
    764
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Oct...

    Läs mer »

  11. Mathematical Foundations of Advanced Informatics

    av Bernhard Steffen, Oliver Ruthing, Michael Huth

    Häftad, Engelska, 2019-01-24
    657
    Köp
    Skickas från oss inom 7-10 vardagar.
    Mathematical Foundations of Advanced Informatics

    The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers. This first volume establishes the inductive approach as a fundamen...

    Läs mer »

  12. Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia

    av Thomas Dittrich, Thomas Seifert, Bernhard Schulz, Steffen Hagemann, Axel Gerdes

    Häftad, Engelska, 2019-02-21
    432
    Köp
    Skickas från oss inom 7-10 vardagar.
    Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia

    Lithium-cesium-tantalum (LCT) pegmatites are important resources for rare metals. For Cs, only the LCT pegmatites with the zeolite group mineral pollucite at Bikita (Zimbabwe Craton) and Tanco (Superior Province Craton) are of commercial importanc...

    Läs mer »

  13. Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia E-bok

    av Thomas Dittrich, Thomas Seifert, Bernhard Schulz, Steffen Hagemann, Axel Gerdes

    E-bok (Drm), Engelska, 2019-02-13
    300
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia

    Lithium-cesium-tantalum (LCT) pegmatites are important resources for rare metals. For Cs, only the LCT pegmatites with the zeolite group mineral pollucite at Bikita (Zimbabwe Craton) and Tanco (Superior Province Craton) are of commercial importanc...

    Läs mer »

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

    av Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

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

    This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague...

    Läs mer »

  15. Tools and Algorithms for the Construction and Analysis of Systems E-bok

    av Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

    E-bok (Drm), Engelska, 2019-04-03
    58
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Tools and Algorithms for the Construction and Analysis of Systems

    This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague,...

    Läs mer »

  16. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2020-10-29
    1288
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 2030, 2020, on Rhodes, Greece....

    Läs mer »

  17. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2020-10-28
    1265
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece...

    Läs mer »

  18. Leveraging Applications of Formal Methods, Verification and Validation: Applications

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2020-10-27
    779
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation: Applications

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 2030, 2020, on Rhodes, Greece....

    Läs mer »

  19. Leveraging Applications of Formal Methods, Verification and Validation: Applications E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2020-10-26
    764
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Leveraging Applications of Formal Methods, Verification and Validation: Applications

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece...

    Läs mer »

  20. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2020-10-27
    779
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 2030, 2020, on Rhodes, Greece....

    Läs mer »

  21. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2020-10-26
    764
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece...

    Läs mer »

  22. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2021-08-05
    779
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 2030, 2020, on Rhodes, Greece. ...

    Läs mer »

  23. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2021-08-04
    764
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece....

    Läs mer »

  24. Leveraging Applications of Formal Methods, Verification and Validation

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2021-10-12
    1258
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation

    This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477...

    Läs mer »

  25. Leveraging Applications of Formal Methods, Verification and Validation E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2021-10-11
    1019
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Leveraging Applications of Formal Methods, Verification and Validation

    This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477...

    Läs mer »

  26. Model Checking, Synthesis, and Learning

    av Ernst-Rdiger Olderog, Bernhard Steffen, Wang Yi

    Häftad, Engelska, 2021-11-22
    1108
    Köp
    Skickas från oss inom 7-10 vardagar.
    Model Checking, Synthesis, and Learning

    This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learn...

    Läs mer »

  27. Model Checking, Synthesis, and Learning E-bok

    av Ernst-Rudiger Olderog, Bernhard Steffen, Wang Yi

    E-bok (Drm), Engelska, 2021-12-02
    941
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Model Checking, Synthesis, and Learning

    This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learn...

    Läs mer »

  28. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2022-10-20
    969
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 202...

    Läs mer »

  29. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2022-10-19
    1096
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 202...

    Läs mer »

  30. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2022-10-20
    959
    Köp
    Skickas från oss inom 7-10 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 202...

    Läs mer »

  1. 1
  2. 2
  3. 3
  4. Nästa »