Tiziana Margaria's Documents

Tiziana Margaria's Documents

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96

Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 7 conf., TACAS 2001

Tools and Algorithms for the Construction and Analysis of Systems, 7 conf., TACAS 2001
Read more
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Read more
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
Read more
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
Read more
Neuroprotection Methods and Protocols

Neuroprotection Methods and Protocols
Read more
Cohabitation, Family & Society: European Experiences (Routledge Advances in Sociology)

Cohabitation, Family & Society: European Experiences (Routledge Advances in Sociology)
Read more
La soffitta

La soffitta
Read more
Das Elfen Orakel

Das Elfen Orakel
Read more
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Read more
Das Elfen Orakel

Das Elfen Orakel
Read more
Software Process Improvement, 14 conf., EuroSPI 2007

Software Process Improvement, 14 conf., EuroSPI 2007
Read more
Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)

Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)
Read more
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Read more
Programming and Software Engineering)

Programming and Software Engineering)
Read more
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Read more
The Local Dimension of Migration Policymaking (Amsterdam University Press - IMISCOE Reports)

The Local Dimension of Migration Policymaking (Amsterdam University Press - IMISCOE Reports)
Read more
Algorithms and Complexity: 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings (Lecture Notes in Computer Science)

Algorithms and Complexity: 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings (Lecture Notes in Computer Science)
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95

Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95
Read more
Algorithms and Complexity, 6 conf., CIAC 2006

Algorithms and Complexity, 6 conf., CIAC 2006
Read more
Advances in Neuropharmacology, Volume 85 (International Review of Neurobiology)

Advances in Neuropharmacology, Volume 85 (International Review of Neurobiology)
Read more
User-Centered Data Management (Synthesis Lectures on Data Management)

User-Centered Data Management (Synthesis Lectures on Data Management)
Read more
Advances in Neuropharmacology

Advances in Neuropharmacology
Read more
Francisci De Marchia: Reportatio IIA (Quaestiones in Secundum Librum Sententiarum) qq. 1-12 (Ancient and Medieval Philosophy Series 3, Francisci De Marchia Opear Philosophica Et Theologica)

Francisci De Marchia: Reportatio IIA (Quaestiones in Secundum Librum Sententiarum) qq. 1-12 (Ancient and Medieval Philosophy Series 3, Francisci De Marchia Opear Philosophica Et Theologica)
Read more
Il Core Competence e il Core Curriculum del logopedista (Metodologie Riabilitative in Logopedia)

Il Core Competence e il Core Curriculum del logopedista (Metodologie Riabilitative in Logopedia)
Read more