Haben Sie Fragen? +49 (0)5563 / 999 60 39
Mein Konto Merkzettel Wunschliste Zuletzt gesehen

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Gilles Barthe
    Springer Verlag GmbH 29.05.2008 - 2008
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Security and Trust Management

    Security and Trust Management

    Gilles Barthe
    Springer Verlag GmbH 17.09.2016 - 2016
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the refereed proceedings of the 12th International Workshop on Security and...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Gilles Barthe
    Springer Verlag GmbH 21.01.2005 - 2005
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the thoroughly refereed post-proceedings of the International Workshop on C...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. Applied Semantics

    Applied Semantics

    Gilles Barthe
    Springer Verlag GmbH 21.08.2002 - 2002
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. Formal Aspects of Security and Trust

    Formal Aspects of Security and Trust

    Gilles Barthe
    Springer Verlag GmbH 04.05.2012 - 2012
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  6. Security and Trust Management

    Security and Trust Management

    Jorge Cuellar
    Springer Verlag GmbH 23.09.2011 - 2011
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  7. Programming Languages and Systems
    -0 %

    Programming Languages and Systems

    Gilles Barthe
    Springer Verlag GmbH 22.03.2011 - 2011
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

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

    Unser bisheriger Preis:ORGPRICE: 94,49 €

    Jetzt 52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  8. Engineering Secure Software and Systems
    -0 %

    Engineering Secure Software and Systems

    Gilles Barthe
    Springer Verlag GmbH 30.01.2012 - 2012
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

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

    Unser bisheriger Preis:ORGPRICE: 63,78 €

    Jetzt 48,30 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1