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

Mathematik | Informatik

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

    Basin / Wolff Theorem Proving in Higher Order Logics

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

    Basin / Rusinowitch Automated Reasoning

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

    Basin / Mitchell 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
    1. Auflage 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
    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
    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 / D'Agostino / Gabbay | Labelled Deduction | Buch | Sack Fachmedien

    Basin / D'Agostino / Gabbay Labelled Deduction

    1. Auflage 2000
    Verlag: Springer
    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
    ISBN: 978-3-031-05287-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / D'Agostino / Gabbay | Labelled Deduction | Buch | Sack Fachmedien

    Basin / D'Agostino / Gabbay Labelled Deduction

    1. Auflage 2012
    Verlag: Springer
    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
    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