Search Results - Basin, David

  • Showing 1 – 20 results of 20
Filter by
  1. 1
    Cover Image

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

    Published 1996
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1995
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1992
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1991
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1991
    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 1991
    Book


    Saved in:
  7. 7
    Cover Image

    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
    by Basin, David, Doser, Jürgen

    Published 2004
    Conference Proceedings Book


    Saved in:
  8. 8
    Cover Image

    Labelled Deduction
    by Basin, David

    Published 2000
    Read online
    Electronic eBook


    Saved in:
  9. 9
    Cover Image

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

    Published 1991
    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 1993
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1992
    Book


    Saved in:
  12. 12
    Cover Image

    Extracting circuits from constructive proofs
    by Basin, David A.

    Published 1991
    Book


    Saved in:
  13. 13
    Cover Image

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

    Published 1991
    Book


    Saved in:
  14. 14
    Cover Image

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

    Published 1991
    Book


    Saved in:
  15. 15
    Cover Image

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

    Published 2022

    Read online (LMU)
    Available at the library of LMU.
    Read online (HM)
    Available at the library of Hochschule Munich University of Applied Sciences (HM).
    Electronic eBook


    Saved in:
  16. 16
    Cover Image

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

    Published 2009

    Read online (LMU)
    Available at the library of LMU.
    Electronic eBook


    Saved in:
  17. 17
    Cover Image

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

    Published 2011
    Table of Contents

    Read online (LMU)
    Available at the library of LMU.
    Read online (HM)
    Available at the library of Hochschule Munich University of Applied Sciences (HM).
    Electronic eBook


    Saved in:
  18. 18
    Cover Image

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

    Published 1993
    Table of Contents
    Conference Proceedings Book


    Saved in:
  19. 19
    Cover Image

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

    Published 2011
    Table of Contents
    Book


    Saved in:
  20. 20
    Cover Image

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

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: