Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Correct Hardware Design and Verification Methods Correct Hardware Design and Verification Methods

    Correct Hardware Design and Verification Methods

    Tom Melham
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    27.08.2001

    This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Confe...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    Bernhard Steffen
    Springer International Publishing, Springer International Publishing
    06.10.2016

    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Intern...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Semantic Web Services Challenge Semantic Web Services Challenge

    Semantic Web Services Challenge

    Charles J. Petrie
    Springer US, Springer US
    23.11.2010

    Service-Oriented Computing is one of the most promising software engineering trends for future di...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Service-Oriented Computing - ICSOC 2008 Service-Oriented Computing - ICSOC 2008

    Service-Oriented Computing - ICSOC 2008

    Athman Bouguettaya
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    13.11.2008

    This book constitutes the refereed proceedings of the 6th International Conference on Service-Ori...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

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

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    27.10.2020

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th Internati...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Tiziana Margaria-Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    22.03.2004

    ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of S...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Process Design for Natural Scientists Process Design for Natural Scientists

    Process Design for Natural Scientists

    Tiziana Margaria
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    02.10.2014

    This book presents an agile and model-driven approach to manage scientific workflows. The approac...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

    Bernhard Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    07.10.2014

    The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation

    Leveraging Applications of Formal Methods, Verification and Validation

    Bernhard Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    14.10.2008

    This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium ...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. SOFSEM 2015: Theory and Practice of Computer Science SOFSEM 2015: Theory and Practice of Computer Science

    SOFSEM 2015: Theory and Practice of Computer Science

    Giuseppe Italiano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    02.01.2015

    This book constitutes the proceedings of the 41st International Conference on Current Trends in T...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

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

    Bernhard Steffen
    Springer International Publishing, Springer International Publishing
    06.10.2016

    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Intern...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Leveraging Applications of Formal Methods, Verification, and Validation Leveraging Applications of Formal Methods, Verification, and Validation

    Leveraging Applications of Formal Methods, Verification, and Validation

    Reiner Hähnle
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    12.10.2012

    This volume contains a selection of revised papers that were presented at the Software Aspects of...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  13. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Ed Brinksma
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    23.11.1995

    This book presents 12 revised refereed papers selected as the best from 32 submissions for the Fi...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  14. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

    Bernhard Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    07.10.2014

    The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  15. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

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

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    29.10.2020

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th Internati...

    Taschenbuch
    90,94 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  16. Leveraging Applications of Formal Methods, Verification and Validation. Verification Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    30.10.2018

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of t...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  17. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Bernhard Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.03.1996

    This book presents the refereed proceedings of the Second International Workshop on Tools and Alg...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  18. Leveraging Applications of Formal Methods, Verification and Validation. Modeling Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    29.10.2018

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of t...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  19. Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta: The What, the How, and the Why Not?

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

    Tiziana Margaria
    Springer International Publishing, Springer Nature Switzerland
    26.06.2019

    This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical Uni...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  20. Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation

    Leveraging Applications of Formal Methods, Verification and Validation

    Bernhard Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    11.09.2012

    The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  21. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Tiziana Margaria
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    31.03.2017

    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  22. Software Business. From Physical Products to Software Services and Solutions Software Business. From Physical Products to Software Services and Solutions

    Software Business. From Physical Products to Software Services and Solutions

    Margaria Tiziana
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    18.07.2013

    This book contains the refereed proceedings of the 4th International Conference on Software Busin...

    Taschenbuch
    49,22 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  23. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

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

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    31.10.2018

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of t...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  24. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Wang Yi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    21.03.2001

    This book constitutes the refereed proceedings of the 7th International Conference on Tools and A...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  25. SOFSEM 2017: Theory and Practice of Computer Science SOFSEM 2017: Theory and Practice of Computer Science

    SOFSEM 2017: Theory and Practice of Computer Science

    Bernhard Steffen
    Springer International Publishing, Springer International Publishing
    11.01.2017

    This book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  26. Services and Visualization: Towards User-Friendly Design Services and Visualization: Towards User-Friendly Design

    Services and Visualization: Towards User-Friendly Design

    Tiziana Margaria
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    18.03.1998

    This book comprises a strictly refereed selection of papers presented at three international work...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  27. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

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

    Bernhard Steffen
    Springer Nature Switzerland, Springer International Publishing
    30.10.2018

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of t...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  28. Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation

    Leveraging Applications of Formal Methods, Verification and Validation

    Bernhard Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    11.09.2012

    The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  29. Software Process Improvement Software Process Improvement

    Software Process Improvement

    Pekka Abrahamsson
    Springer, Berlin

    This book constitutes the refereed proceeding of the 14th European Software Process Improvement C...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 64,19 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  30. Leveraging Applications of Formal Methods, Verification and Validation: Applications Leveraging Applications of Formal Methods, Verification and Validation: Applications

    Leveraging Applications of Formal Methods, Verification and Validation: Applications

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    27.10.2020

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th Internati...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  31. Semantic Web Services Challenge Semantic Web Services Challenge

    Semantic Web Services Challenge

    Charles J. Petrie
    Springer US, Springer New York
    04.12.2008

    Service-Oriented Computing is one of the most promising software engineering trends for future di...

    Gebunden
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  32. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Tiziana Margaria
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    31.03.2017

    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  33. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

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

    Bernhard Steffen
    Springer Nature Switzerland, Springer International Publishing
    05.08.2021

    The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th Internatio...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  34. Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation

    Leveraging Applications of Formal Methods, Verification and Validation

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    12.10.2021

    This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 c...

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  35. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

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

    Bernhard Steffen
    Springer International Publishing, Springer International Publishing
    20.10.2022

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at ...

    Taschenbuch
    90,94 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  36. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

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

    Bernhard Steffen
    Springer Nature Switzerland, Springer Nature Switzerland
    20.10.2022

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at ...

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  37. Leveraging Applications of Formal Methods, Verification and Validation. Practice Leveraging Applications of Formal Methods, Verification and Validation. Practice

    Leveraging Applications of Formal Methods, Verification and Validation. Practice

    Bernhard Steffen
    Springer Nature Switzerland, Springer International Publishing
    20.10.2022

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at ...

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  38. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

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

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    20.10.2022

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at ...

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  39. Engineering of Computer-Based Systems Engineering of Computer-Based Systems

    Engineering of Computer-Based Systems

    Jan Kofro¿
    Springer Nature Switzerland, Springer Nature Switzerland
    29.11.2023

    This book constitutes the refereed proceedings of the 8th International Conference on Engineering...

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  40. Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    Bernhard Steffen
    Springer Nature Switzerland, Springer Nature Switzerland
    09.10.2024

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In...

    Taschenbuch
    79,17 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  41. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

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

    Bernhard Steffen
    Springer Nature Switzerland, Springer International Publishing
    26.10.2024

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In...

    Taschenbuch
    70,61 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  42. Leveraging Applications of Formal Methods, Verification and Validation. Application Areas Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    Bernhard Steffen
    Springer Nature Switzerland, Springer Nature Switzerland
    26.10.2024

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  43. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Syst

    Bernhard Steffen
    Springer Nature Switzerland, Springer Nature Switzerland
    27.10.2024

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In...

    Taschenbuch
    70,61 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  44. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

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

    Bernhard Steffen
    Springer Nature Switzerland, Springer Nature Switzerland
    30.10.2024

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In...

    Taschenbuch
    79,17 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  45. Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Stefania Gnesi
    Wiley
    17.12.2012

    Today, formal methods are widely recognized as an essential step in the design process of industr...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 99,90 €

    Jetzt 97,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  46. Leveraging Applications of Formal Methods, Verification, and Validation Leveraging Applications of Formal Methods, Verification, and Validation

    Leveraging Applications of Formal Methods, Verification, and Validation

    Tiziana Margaria
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the conference proceedings of the 4th International S- posium on Leveraging ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  47. Leveraging Applications of Formal Methods, Verification, and Validation Leveraging Applications of Formal Methods, Verification, and Validation

    Leveraging Applications of Formal Methods, Verification, and Validation

    Tiziana Margaria
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the conference proceedings of the 4th International S- posium on Leveraging ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 123,04 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1