luca viganò

Grid   List

  1. Tests and Proofs
    Tests and Proofs
    Margus Veanes
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferen...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. 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
  3. Principles of Security and Trust
    Principles of Security and Trust
    Frank Piessens
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Socio-Technical Aspects in Security and Trust
    Socio-Technical Aspects in Security and Trust
    Thomas Groß
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed post-conference proceedings of the 10th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2020, held as a virtual event, in September...
    64,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Morphologie von Stadtlandschaften
    Morphologie von Stadtlandschaften
    Karsten Ley
    Reimer, Dietrich
    Ebook
    Sofort lieferbar
    Die Stadtmorphologie untersucht Siedlungs- und Stadtformen. Diese verändern sich nicht von heute auf morgen, sondern in einem Prozess, der bestimmten Gesetzmäßigkeiten folgt. Es gibt kaum etwas Kom...
    39,00 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. The Morphology of Urban Landscapes
    The Morphology of Urban Landscapes
    Karsten Ley
    Reimer, Dietrich
    Ebook
    Sofort lieferbar
    In The Morphology of Urban Landscapes, author André Bideau explores the intricate relationship between urban design and the physical environment. Drawing on his extensive experience as an urban pla...
    39,90 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Labelled Deduction
    Labelled Deduction
    David Basin
    Springer Netherlands
    Ebook
    Sofort lieferbar
    Labelled Deduction
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Labelled Non-Classical Logics
    Labelled Non-Classical Logics
    Luca Viganò
    Springer US
    Ebook
    Sofort lieferbar
    I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic C...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Socio-Technical Aspects in Security
    Socio-Technical Aspects in Security
    Simon Parkin
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conju...
    74,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Labelled Non-Classical Logics
    Labelled Non-Classical Logics
    Luca Viganò
    Springer US, Springer US
    Buch
    Bezug 11-15
    I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic C...
    184,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Labelled Deduction
    Labelled Deduction
    David Basin
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    Bezug 11-15
    Labelled deduction is an approach to providing frameworks forpresenting and using different logics in a uniform and natural way byenriching the language of a logic with additional information o...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Labelled Deduction
    Labelled Deduction
    David Basin
    Springer Netherlands, Springer Netherlands
    Buch
    Bezug 11-15
    Labelled deduction is an approach to providing frameworks forpresenting and using different logics in a uniform and natural way byenriching the language of a logic with additional information o...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>