Filtrera

Ämne
  • (69)
  • (2)
  • (1)
  • (6)
Format
  • (1)
  • (33)
  • (35)
Utgivningsår
  • (4)
  • (6)
  • (59)
Leveranstid
  • (33)
  • (42)

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
    2107
    Köp
    Skickas inom 10-15 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, Engelska, 2008-11-27
    2094
    Ladda ned
    Laddas ned direkt
    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
    898
    Köp
    Skickas 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, Engelska, 2012-11-21
    1119
    Ladda ned
    Laddas ned direkt
    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, Engelska, 2012-11-27
    1119
    Ladda ned
    Laddas ned direkt
    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
    1987
    Köp
    Skickas inom 10-15 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
    1057
    Köp
    Skickas inom 10-15 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, Engelska, 2018-10-28
    1051
    Ladda ned
    Laddas ned direkt
    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
    981
    Köp
    Skickas inom 10-15 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, Engelska, 2018-10-29
    976
    Ladda ned
    Laddas ned direkt
    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
    1057
    Köp
    Skickas inom 10-15 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, Engelska, 2018-10-30
    1051
    Ladda ned
    Laddas ned direkt
    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
    1057
    Köp
    Skickas inom 10-15 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, Engelska, 2018-10-29
    1051
    Ladda ned
    Laddas ned direkt
    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
    981
    Köp
    Skickas inom 10-15 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, Engelska, 2019-06-25
    976
    Ladda ned
    Laddas ned direkt
    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
    1558
    Köp
    Skickas inom 5-8 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 20-30, 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, Engelska, 2020-10-28
    1119
    Ladda ned
    Laddas ned direkt
    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
    1558
    Köp
    Skickas inom 5-8 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 20-30, 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, Engelska, 2020-10-26
    1121
    Ladda ned
    Laddas ned direkt
    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
    1696
    Köp
    Skickas inom 5-8 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 20-30, 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, Engelska, 2020-10-26
    1346
    Ladda ned
    Laddas ned direkt
    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
    1005
    Köp
    Skickas inom 5-8 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 20-30, 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, Engelska, 2021-08-04
    752
    Ladda ned
    Laddas ned direkt
    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
    1212
    Köp
    Skickas inom 5-8 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, Engelska, 2021-10-11
    901
    Ladda ned
    Laddas ned direkt
    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: Foundational Techniques

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2016-10-06
    1357
    Köp
    Skickas inom 10-15 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2...

    Läs mer »

  28. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok, Engelska, 2016-10-05
    1346
    Ladda ned
    Laddas ned direkt
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2...

    Läs mer »

  29. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2016-10-06
    1282
    Köp
    Skickas inom 10-15 vardagar.
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2...

    Läs mer »

  30. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok, Engelska, 2016-10-04
    1269
    Ladda ned
    Laddas ned direkt
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2...

    Läs mer »

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