Tiziana Margaria - Böcker
Semantic Web Services Challenge
Results from the First Year
Inbunden, Engelska, 2008
2 109 kr
Häftad, Engelska, 2013
1 409 kr
Semantic Web Services Challenge
Results from the First Year
Häftad, Engelska, 2010
2 169 kr
Häftad, Engelska, 2018
739 kr
Häftad, Engelska, 2018
739 kr
Häftad, Engelska, 2018
739 kr
Häftad, Engelska, 2018
739 kr
Häftad, Engelska, 2019
739 kr
Häftad, Engelska, 2021
1 029 kr
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
Häftad, Engelska, 2022
1 029 kr
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
Häftad, Engelska, 2022
999 kr
Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
Häftad, Engelska, 2022
919 kr
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Häftad, Engelska, 2022
1 239 kr
Häftad, Engelska, 2023
909 kr
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
Häftad, Engelska, 2024
1 069 kr
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
Häftad, Engelska, 2024
979 kr
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
Häftad, Engelska, 2024
1 259 kr
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
Häftad, Engelska, 2024
979 kr
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
Häftad, Engelska, 2024
739 kr
Häftad, Engelska, 2016
1 449 kr
Häftad, Engelska, 2016
739 kr
Häftad, Engelska, 2017
739 kr
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
Häftad, Engelska, 2001
1 449 kr
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
Häftad, Engelska, 2001
739 kr
Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Häftad, Engelska, 1995
739 kr
Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
Häftad, Engelska, 1996
739 kr