Grid  List

  1. Security and Trust Management
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...

    Unser bisheriger Preis:ORGPRICE: 56,55 €

    Jetzt 51,15 €Ebook
    Alle Preise inkl. MwSt
  2. Software Engineering and Formal Methods
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 9th International Conference on Software En...

    Unser bisheriger Preis:ORGPRICE: 83,29 €

    Jetzt 83,28 €Ebook
    Alle Preise inkl. MwSt
  3. Verification, Model Checking, and Abstract Interpretation
    0 %
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the 11th International Conference on Veri?cation, Model C...

    Unser bisheriger Preis:ORGPRICE: 95,19 €

    Jetzt 95,18 €Ebook
    Alle Preise inkl. MwSt
  4. Applied Semantics
    0 %
    Ebook
    Sofort lieferbar

    This book is based on material presented at the international summer school on Applied Semantics ...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  5. Engineering Secure Software and Systems
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 4th International Symposium on Engineering ...

    Unser bisheriger Preis:ORGPRICE: 57,77 €

    Jetzt 57,76 €Ebook
    Alle Preise inkl. MwSt
  6. Formal Methods for Open Object-Based Distributed Systems
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference o...

    Unser bisheriger Preis:ORGPRICE: 57,47 €

    Jetzt 57,46 €Ebook
    Alle Preise inkl. MwSt
  7. Formal Aspects of Security and Trust
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th Internationa...

    Unser bisheriger Preis:ORGPRICE: 57,54 €

    Jetzt 57,53 €Ebook
    Alle Preise inkl. MwSt
  8. Programming Languages and Systems
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESO...

    Unser bisheriger Preis:ORGPRICE: 57,46 €

    Jetzt 57,45 €Ebook
    Alle Preise inkl. MwSt
  9. Trustworthy Global Computing
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the Third Symposium ...

    Unser bisheriger Preis:ORGPRICE: 57,49 €

    Jetzt 57,48 €Ebook
    Alle Preise inkl. MwSt
  10. Foundations of Probabilistic Programming
    0 %
    Ebook
    Sofort lieferbar

    What does a probabilistic program actually compute? How can one formally reason about such probab...

    Unser bisheriger Preis:ORGPRICE: 71,40 €

    Jetzt 71,39 €Ebook
    Alle Preise inkl. MwSt
  11. Taschenbuch
    Print on Demand

    This book is based on material presented at the international summer school on Applied Semantics ...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference o...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2