Suchergebnisse - Lampard, Richard

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

    Formal methods in IT security standards: scope for usage
    von Lampard, Richard

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Automatic claims derivation from a user's security policy using AI techniques
    von Lampard, richard

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    An appraisal of communicating sequential processes
    von Lampard, Richard

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Formal description techniques in data security: an evaluation and comparison
    von Lampard, Richard

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Specifying ITSEC functionality classes using the claims language
    von Lampard, Richard

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Specification of the two-way handshake in VDM
    von Lampard, Richard

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Identity and repartnering after separation
    von Lampard, Richard, Peggs, Kay

    Veröffentlicht 2007
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Practical social investigation: qualitative and quantitative methods in social research
    von Pole, Christopher J. 1959-, Lampard, Richard

    Veröffentlicht 2002
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Practical social investigation: qualitative and quantitative methods in social research
    von Pole, Christopher J., Lampard, Richard

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: