Grid   List

  1. Rippling: Meta-Level Guidance for Mathematical Reasoning
    -0 %

    Rippling: Meta-Level Guidance for Mathematical Reasoning

    David Basin
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Rippling is a radically new technique for the automation of mathematical reasoning. It is widely ...

    Unser bisheriger Preis:ORGPRICE: 141,26 €

    Jetzt 141,25 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Applied Information Security
    -0 %

    Applied Information Security

    David Basin
    Springer Berlin
    Ebook
    Sofort lieferbar

    This book explores fundamental principles for securing IT systems and illustrates them with hands...

    Unser bisheriger Preis:ORGPRICE: 50,08 €

    Jetzt 29,73 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Labelled Deduction
    -0 %

    Labelled Deduction

    David Basin
    Springer Netherlands
    Ebook
    Sofort lieferbar

    Labelled deduction is an approach to providing frameworks forpresenting and using different log...

    Unser bisheriger Preis:ORGPRICE: 115,20 €

    Jetzt 115,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Automated Reasoning
    -0 %

    Automated Reasoning

    David Basin
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Re...

    Unser bisheriger Preis:ORGPRICE: 115,20 €

    Jetzt 115,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Theorem Proving in Higher Order Logics
    -0 %

    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...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Principles of Security and Trust
    -0 %

    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 Principl...

    Unser bisheriger Preis:ORGPRICE: 57,36 €

    Jetzt 57,35 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. The Complete Guide to SCION
    -0 %

    The Complete Guide to SCION

    Laurent Chuat
    Springer International Publishing
    Ebook
    Sofort lieferbar

    When the SCION project started in 2009, the goal was to create an architecture offering high avai...

    Unser bisheriger Preis:ORGPRICE: 100,65 €

    Jetzt 96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1