Suchergebnisse - Basin, David

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

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

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  7. 7
    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
    Tagungsbericht Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Labelled Deduction
    von Basin, David

    Veröffentlicht 2000
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Extracting circuits from constructive proofs
    von Basin, David A.

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  15. 15
    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

    Online lesen (LMU)
    In der Bibliothek der LMU nutzbar.
    Online lesen (HM)
    In der Bibliothek der Hochschule München (HM) nutzbar.
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 2009

    Online lesen (LMU)
    In der Bibliothek der LMU nutzbar.
    Elektronisch E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 2011
    Inhaltsverzeichnis

    Online lesen (LMU)
    In der Bibliothek der LMU nutzbar.
    Online lesen (HM)
    In der Bibliothek der Hochschule München (HM) nutzbar.
    Elektronisch E-Book


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Tagungsbericht Buch


    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht 2011
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

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

    Veröffentlicht 1992
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: