pierpaolo degano

Grid   List

  1. Formal Aspects of Security and Trust
    Formal Aspects of Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International Confe...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Concurrency, Graphs and Models
    Concurrency, Graphs and Models
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, w...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal Aspects in Security and Trust
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Foundations and Applications of Security Analysis
    Foundations and Applications of Security Analysis
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    topics including formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobi...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods for Computational Systems Biology
    Formal Methods for Computational Systems Biology
    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal Methods for Computational Systems Biology
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Principles of Security and Trust
    Principles of Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March April 2012, as part of ETAPS ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Computational Methods in Systems Biology
    Computational Methods in Systems Biology
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, held in Bologna, Italy, August 31 - September 1, 2009.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Programming Languages and Systems
    Programming Languages and Systems
    Pierpaolo Degano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Pierpaolo Degano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    The present volume contains the proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008), held in Malaga, Spain, October 9-10, 2008. FAST is an event a?liat...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Programming Languages and Systems
    Programming Languages and Systems
    Pierpaolo Degano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
     This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.The 25 revised full papers presented...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Concurrency, Graphs and Models
    Concurrency, Graphs and Models
    Pierpaolo Degano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65 sup thsupbirthday, contains 43 papers, written by friends and colleagues, all leading scientists in thei...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>