Filtrera

Ämne
  • (75)
  • (2)
  • (1)
  • (7)
Format
  • (1)
  • (37)
  • (39)
Utgivningsår
  • (8)
  • (4)
  • (65)
Leveranstid
  • (37)

Tiziana Margaria - Böcker

Visar alla böcker av Tiziana Margaria. Handla med fri frakt och snabb leverans!

Sortering:

  1. Semantic Web Services Challenge

    av Charles J Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba

    Inbunden, Engelska, 2008-12-04
    2222
    Köp
    Skickas från oss inom 7-10 vardagar.
    Semantic Web Services Challenge

    This is an edited volume that develops a common understanding of the various technologies intended to facilitate the automation of mediation, choreography and discovery for Web Services using semantic annotations. The volume explores trade-offs am...

    Läs mer »

  2. Semantic Web Services Challenge E-bok

    av Charles J Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba

    E-bok (Pdf, Drm), Engelska, 2008-11-27
    2199
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Semantic Web Services Challenge

    Service-Oriented Computing is one of the most promising software engineering trends for future distributed systems. Currently there are many different approaches to semantic web service descriptions and many frameworks built around them. Yet a com...

    Läs mer »

  3. Formal Methods for Industrial Critical Systems

    av Stefania Gnesi, Tiziana Margaria

    Häftad, Engelska, 2013-03-12
    1159
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods for Industrial Critical Systems

    Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics...

    Läs mer »

  4. Formal Methods for Industrial Critical Systems E-bok

    av Stefania Gnesi, Tiziana Margaria

    E-bok (Pdf, Drm), Engelska, 2012-11-21
    1392
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Formal Methods for Industrial Critical Systems

    Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics...

    Läs mer »

  5. Formal Methods for Industrial Critical Systems E-bok

    av Stefania Gnesi, Tiziana Margaria

    E-bok (Drm), Engelska, 2012-11-27
    1392
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Formal Methods for Industrial Critical Systems

    Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics...

    Läs mer »

  6. Semantic Web Services Challenge

    av Charles J Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba

    Häftad, Engelska, 2010-11-23
    2256
    Köp
    Skickas från oss inom 7-10 vardagar.
    Semantic Web Services Challenge

    This is an edited volume that develops a common understanding of the various technologies intended to facilitate the automation of mediation, choreography and discovery for Web Services using semantic annotations. The volume explores trade-offs am...

    Läs mer »

  7. 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 »

  8. 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 »

  9. 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 »

  10. 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 »

  11. 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 »

  12. 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 »

  13. 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 »

  14. 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 »

  15. Models, Mindsets, Meta: The What, the How, and the Why Not?

    av Tiziana Margaria, Susanne Graf, Kim G Larsen

    Häftad, Engelska, 2019-06-26
    882
    Köp
    Skickas från oss inom 7-10 vardagar.
    Models, Mindsets, Meta: The What, the How, and the Why Not?

    This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implement...

    Läs mer »

  16. Models, Mindsets, Meta: The What, the How, and the Why Not? E-bok

    av Tiziana Margaria, Susanne Graf, Kim G Larsen

    E-bok (Drm), Engelska, 2019-06-25
    764
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Models, Mindsets, Meta: The What, the How, and the Why Not?

    This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implement...

    Läs mer »

  17. 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 »

  18. 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 »

  19. 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 »

  20. 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 »

  21. 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 »

  22. 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 »

  23. 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 »

  24. 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 »

  25. 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 »

  26. 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 »

  27. 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 »

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

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2022-10-19
    1019
    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 »

  29. 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 »

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

    av Tiziana Margaria, Bernhard Steffen

    E-bok (Drm), Engelska, 2022-10-19
    1019
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    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 »