Grid  List

  1. Rippling: Meta-Level Guidance for Mathematical Reasoning
    0 %
    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 €Ebook
    Alle Preise inkl. MwSt
  2. Applied Information Security
    0 %
    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 €Ebook
    Alle Preise inkl. MwSt
  3. Labelled Deduction
    0 %
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 114,40 €

    Jetzt 114,39 €Ebook
    Alle Preise inkl. MwSt
  4. Automated Reasoning
    0 %
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 114,40 €

    Jetzt 114,39 €Ebook
    Alle Preise inkl. MwSt
  5. Theorem Proving in Higher Order Logics
    0 %
    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 €Ebook
    Alle Preise inkl. MwSt
  6. Principles of Security and Trust
    0 %
    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 €Ebook
    Alle Preise inkl. MwSt
  7. The Complete Guide to SCION
    0 %
    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 €Ebook
    Alle Preise inkl. MwSt
  8. The Complete Guide to SCION
    0 %
    Buch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 139,09 €

    Jetzt 128,39 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Buch
    Print on Demand

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

    48,14 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Taschenbuch
    Print on Demand

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

    48,14 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Taschenbuch
    Print on Demand

    This volume constitutes the proceedings of the16th International Conference on Theorem Proving in...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Principles of Security and Trust
    0 %
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the Second International Conference on Principl...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

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