Search Results - Basin, David

  • Results 1 – 20 of 20
Refine Results
  1. 1
    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
    Fulltext
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

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

    Published 2011
    Table of Contents

    EBook available at UBR
    You can use this EBook on site at the UBR.
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

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

    Published 1996
    Request via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1995
    Request via interlibrary loan
    Book


    Saved in:
  5. 5
    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
    Request via interlibrary loan
    Conference Proceeding Book


    Saved in:
  6. 6
    Cover Image

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

    Published 1992
    Request via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 2011
    Table of Contents
    Request via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 2009
    Electronic eBook


    Saved in:
  12. 12
    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
    Request via interlibrary loan
    Conference Proceeding Book


    Saved in:
  13. 13
    Cover Image

    Labelled Deduction
    by Basin, David

    Published 2000
    Electronic eBook


    Saved in:
  14. 14
    Cover Image

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

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

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

    Published 1993
    Request via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

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

    Published 1992
    Request via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

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

    Published 1992
    Request via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    Extracting circuits from constructive proofs
    by Basin, David A.

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

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

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

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

    Published 1991
    Request via interlibrary loan
    Book


    Saved in:

Search Tools: