Ergebnisse filtern
Fachgebiet
Medium
  • 10
  • 6
Erscheinungsjahr
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 4
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 2
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 16
  • 1
  • 2
  • 3
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 2
  • 2
  • 5
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 6
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 1
  • 3
  • 4
  • 1
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 3
  • 1
  • 1
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 4
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 3
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 4
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 2
  • 4
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 2
  • 3
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 3
  • 3
  • 1
  • 5
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 4
  • 1
  • 3
  • 3
  • 1
  • 2
  • 18
  • 1
  • 1
  • 2
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 2
  • 4
  • 1
  • 5
  • 1
  • 3
  • 3
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 4
  • 4
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 4
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 3
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 4
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 4
  • 5
  • 4
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 4
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 18
  • 13
  • 3
  • 3
  • 4
  • 2
  • 3
Verlag
  • 1
  • 7
  • 2
  • 3
  • 1
  • 2
Preis
  • 3
  • 8
  • 5
Sprachen
  • 16
Verfügbarkeit
  • 16
Katalog
  • 16
16  Treffer  für „Basin, David“
    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
    Basin / Wolff | Theorem Proving in Higher Order Logics | eBook | Sack Fachmedien
    E-Book

    Basin / Wolff Theorem Proving in Higher Order Logics

    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    2003
    Verlag: Springer
    ISBN: 978-3-540-45130-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Basin / Rusinowitch | Automated Reasoning | eBook | Sack Fachmedien
    E-Book

    Basin / Rusinowitch Automated Reasoning

    Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
    2004
    Verlag: Springer
    ISBN: 978-3-540-25984-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    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
    Basin / Mitchell | Principles of Security and Trust | eBook | Sack Fachmedien
    E-Book

    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
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-36830-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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 / Schaller / Schläpfer | Applied Information Security | eBook | Sack Fachmedien
    E-Book

    Basin / Schaller / Schläpfer Applied Information Security

    A Hands-on Approach
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24474-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    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
    156,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / D'Agostino / Gabbay | Labelled Deduction | eBook | Sack Fachmedien
    E-Book

    Basin / D'Agostino / Gabbay Labelled Deduction

    Erscheinungsjahr 2012
    Verlag: Springer Netherland
    ISBN: 978-94-011-4040-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    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 | eBook | Sack Fachmedien
    E-Book

    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-05288-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    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