Tiziana Margaria – författare

Visar alla böcker från författaren Tiziana Margaria.

44 produkter

Kategorier

44 produkter

Del 8
Del 8 - Semantic Web and Beyond
Semantic Web Services Challenge
Results from the First Year
AvCharles J. Petrie,Tiziana Margariam. fl.
Inbunden, Engelska, 2008
2 219 kr
Skickas inom 10-15 vardagar
Formal Methods for Industrial Critical Systems
A Survey of Applications
AvStefania Gnesi,Tiziana Margaria
Häftad, Engelska, 2013
1 479 kr
Skickas inom 5-8 vardagar
Del 8
Del 8 - Semantic Web and Beyond
Semantic Web Services Challenge
Results from the First Year
AvCharles J. Petrie,Tiziana Margariam. fl.
Häftad, Engelska, 2010
2 219 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar
Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
AvTiziana Margaria,Susanne Grafm. fl.
Häftad, Engelska, 2019
749 kr
Skickas inom 10-15 vardagar
Del 12476
Del 12476 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2020
1 259 kr
Skickas inom 10-15 vardagar
Del 12478
Del 12478 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation: Applications
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2020
749 kr
Skickas inom 10-15 vardagar
Del 12477
Del 12477 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2020
749 kr
Skickas inom 10-15 vardagar
Del 12479
Del 12479 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2021
749 kr
Skickas inom 10-15 vardagar
Del 13036
Del 13036 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2021
1 039 kr
Skickas inom 10-15 vardagar
Del 13702
Del 13702 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2022
1 039 kr
Skickas inom 10-15 vardagar
Del 13703
Del 13703 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2022
1 039 kr
Skickas inom 10-15 vardagar
Del 13704
Del 13704 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2022
969 kr
Skickas inom 10-15 vardagar
Del 13701
Del 13701 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2022
1 259 kr
Skickas inom 10-15 vardagar
Del 14390
Del 14390 - Lecture Notes in Computer Science
Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
AvJan Kofroň,Tiziana Margariam. fl.
Häftad, Engelska, 2023
969 kr
Skickas inom 10-15 vardagar
Del 15219
Del 15219 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2024
1 189 kr
Skickas inom 5-8 vardagar
Del 15220
Del 15220 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2024
1 109 kr
Skickas inom 10-15 vardagar
Del 15221
Del 15221 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2024
1 189 kr
Skickas inom 10-15 vardagar
Del 15222
Del 15222 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2024
979 kr
Skickas inom 5-8 vardagar
Del 15223
Del 15223 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2024
749 kr
Skickas inom 5-8 vardagar
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2016
1 479 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 2016
749 kr
Skickas inom 10-15 vardagar
Del 10139
Del 10139 - Lecture Notes in Computer Science
SOFSEM 2017: Theory and Practice of Computer Science
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
AvBernhard Steffen,Christel Baierm. fl.
Häftad, Engelska, 2017
749 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
AvTiziana Margaria,Wang Yi
Häftad, Engelska, 2001
1 479 kr
Skickas inom 10-15 vardagar
Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
AvTiziana Margaria,Tom Melham
Häftad, Engelska, 2001
749 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
AvEd Brinksma,W. Rance Cleavelandm. fl.
Häftad, Engelska, 1995
749 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
AvTiziana Margaria,Bernhard Steffen
Häftad, Engelska, 1996
749 kr
Skickas inom 10-15 vardagar

Tiziana Margaria – författare

Semantic Web Services Challenge

Formal Methods for Industrial Critical Systems

Semantic Web Services Challenge

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Verification

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

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation: Applications

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

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

Leveraging Applications of Formal Methods, Verification and Validation

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Practice

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

Engineering of Computer-Based Systems

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

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

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

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

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

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

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

SOFSEM 2017: Theory and Practice of Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Correct Hardware Design and Verification Methods

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems