david basin

Grid   List

  1. Applied Information Security
    Applied Information Security
    David Basin
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. The experiments h...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Principles of Security and Trust
    Principles of Security and Trust
    David Basin
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the European Joint Conference on Theory and Pra...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    David Basin
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy. TPHOLs covers all aspec...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Automated Reasoning
    Automated Reasoning
    David Basin
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition establ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Labelled Deduction
    Labelled Deduction
    David Basin
    Springer Netherlands
    Ebook
    Sofort lieferbar
    Labelled Deduction
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. The Complete Guide to SCION
    The Complete Guide to SCION
    Laurent Chuat
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publicatio...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. The Complete Guide to SCION
    The Complete Guide to SCION
    Laurent Chuat
    Springer International Publishing, Springer Nature Switzerland
    Buch
    Bezug 11-15
    When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publica...
    139,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Applied Information Security
    Applied Information Security
    David Basin
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Buch
    Bezug 11-15
    This book explores fundamental principles for securing IT systems and illustrates them with hands-on experiments that may be carried out by the reader using accompanying software. The experiment...
    48,14 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    Burkhart Wolff
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy. TPHOLs covers all aspec...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. 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
  11. Automated Reasoning
    Automated Reasoning
    Michael Rusinowitch
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition establ...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Rippling
    Rippling
    Alan Bundy
    Cambridge University Press
    Buch
    Bezug 11-15
    A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.
    179,41 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>