Suchergebnisse - Basin, David

  • Treffer 1 – 20 von 20
Treffer filtern
  1. 1
    Buchumschlag

    The Complete Guide to SCION: From Design Principles to Formal Verification
    von Chuat, Laurent, Legner, Markus, Basin, David, Hausheer, David, Hitz, Samuel, Müller, Peter, Perrig, Adrian

    Veröffentlicht 2022
    Volltext
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Applied information security: a hands-on approach
    von Basin, David, Schaller, Patrick, Schläpfer, Michael

    Veröffentlicht 2011
    Inhaltsverzeichnis

    EBook an UBR verfügbar
    Sie können dieses EMedium vor Ort an der UBR beziehen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Search in games with incomplete information: a case study using bridge card play
    von Frank, Ian, Basin, David

    Veröffentlicht 1996
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Middle-out reasoning for synthesis and induction
    von Kraan, Ina, Basin, David, Bundy, Alan

    Veröffentlicht 1995
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Workshop on Theorem Proving with Analytic Tableaux and Related Methods: Marseille, France, April 28 - 30, 1993
    von Basin, David

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    An adaptation of proof-planning to declarer play in bridge
    von Frank, Ian, Basin, David A., Bundy, Alan

    Veröffentlicht 1992
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    The Boyer-Moore prover and NUPRL: an experimental comparison
    von Basin, David, Kaufmann, Matt

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Some normalization properties of Martin-Löf's type theory, and applications
    von Basin, David A., Howe, Douglas J.

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Difference matching
    von Basin, David A., Walsh, Toby

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Applied information security: a hands-on approach
    von Basin, David, Schaller, Patrick, Schläpfer, Michael

    Veröffentlicht 2011
    Inhaltsverzeichnis
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Proceedings of the second ACM conference on Wireless network security
    von Basin, David

    Veröffentlicht 2009
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    Engineering theories of software intensive systems: International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures
    [3] - Model driven security : from UML models to access control infrastructures
    von Basin, David, Doser, Jürgen

    Veröffentlicht 2004
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Labelled Deduction
    von Basin, David

    Veröffentlicht 2000
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

    Automating meta-theory creation and system extension
    von Basin, David A., Giunchiglia, Fausto, Traverso, Paolo

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Middle-out reasoning for logic program synthesis
    von Kraan, Ina, Basin, David A., Bundy, Alan

    Veröffentlicht 1993
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Metalogical frameworks
    von Basin, David A., Constable, Robert Lee 1952-

    Veröffentlicht 1992
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Logic program synthesis via proof planning
    von Kraan, Ina, Basin, David A., Bundy, Alan

    Veröffentlicht 1992
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Extracting circuits from constructive proofs
    von Basin, David A.

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Experience with FS0 as a framework theory
    von Matthews, Seán, Smaill, Alan, Basin, David A.

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Metalogical frameworks
    von Basin, David A., Constable, Robert Lee 1952-

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: