Ergebnisse filtern
Fachgebiet
Medium
  • 11
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 11
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
Verlag
  • 1
  • 4
  • 2
  • 2
  • 2
Preis
  • 2
  • 4
  • 5
Sprachen
  • 11
Verfügbarkeit
  • 11
Katalog
  • 11

Mathematik | Informatik

11  Treffer  für „Basin, David“
Alle Filter löschen
    Wolff / Basin | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Wolff / Basin Theorem Proving in Higher Order Logics

    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40664-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rusinowitch / Basin | Automated Reasoning | Buch | Sack Fachmedien

    Rusinowitch / Basin Automated Reasoning

    Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22345-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mitchell / Basin | Principles of Security and Trust | Buch | Sack Fachmedien

    Mitchell / Basin Principles of Security and Trust

    Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36829-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / Schläpfer / Schaller | Applied Information Security | Buch | Sack Fachmedien

    Basin / Schläpfer / Schaller Applied Information Security

    A Hands-on Approach
    2011
    Verlag: Springer
    ISBN: 978-3-642-24473-5
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / Schläpfer / Schaller | Applied Information Security | Buch | Sack Fachmedien

    Basin / Schläpfer / Schaller Applied Information Security

    A Hands-on Approach
    2011
    Verlag: Springer
    ISBN: 978-3-642-43632-1
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bundy / Basin / Hutter | Rippling | Buch | Sack Fachmedien

    Bundy / Basin / Hutter Rippling

    Meta-Level Guidance for Mathematical Reasoning
    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-83449-0
    Medium: Buch
    150,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / Cremers / Dreier | Modeling and Analyzing Security Protocols with Tamarin | Buch | Sack Fachmedien

    Basin / Cremers / Dreier Modeling and Analyzing Security Protocols with Tamarin

    A Comprehensive Guide
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90935-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / D'Agostino / Viganò | Labelled Deduction | Buch | Sack Fachmedien

    Basin / D'Agostino / Viganò Labelled Deduction

    2000
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6237-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chuat / Legner / Basin | The Complete Guide to SCION | Buch | Sack Fachmedien

    Chuat / Legner / Basin The Complete Guide to SCION

    From Design Principles to Formal Verification
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-05287-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / D'Agostino / Viganò | Labelled Deduction | Buch | Sack Fachmedien

    Basin / D'Agostino / Viganò Labelled Deduction

    2000
    Verlag: Springer Netherlands
    ISBN: 978-94-010-5781-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chuat / Legner / Basin | The Complete Guide to SCION | Buch | Sack Fachmedien

    Chuat / Legner / Basin The Complete Guide to SCION

    From Design Principles to Formal Verification
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-05290-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular