Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 1987
  2. Inference without Chaining

    Frisch, A. M., 1987, p. 515-519.

    Research output: Contribution to conferencePaper

  3. Optoelectronic measurement of fast electronic pulses

    Henderson, D., Robinson, M. P. & Roddie, A. G., 1987.

    Research output: Contribution to conferencePaper

  4. Power, Control and Management Learning

    Baxter, L., 1987.

    Research output: Contribution to conferencePaper

  5. The First Year in Europe

    Linstead, S. A., 1987.

    Research output: Contribution to conferencePaper

  6. The Operation of Antennas inside Non-anechoic Screened Enclosures

    Marvin, A., 1987, p. 497-500. 4 p.

    Research output: Contribution to conferencePaper

  7. Theory as Artefact: the Monicker of the Glen

    Linstead, S. A. & Grafton Small, R., 1987.

    Research output: Contribution to conferencePaper

  8. 1988
  9. Better Management of Supply Chain in Support of JIT

    Baxter, L., Ferguson, N., Macbeth, D. & Neil, G. C., 1988.

    Research output: Contribution to conferencePaper

  10. Bricolage in Organisations: Deconstructing Data?

    Linstead, S. A., 1988.

    Research output: Contribution to conferencePaper

  11. Jungle Evaluation

    Habel, A., Kreowski, H-J. & Plump, D., 1988, p. 92-112.

    Research output: Contribution to conferencePaper

  12. Jungle Evaluation for Efficient Term Rewriting

    Hoffmann, B. & Plump, D., 1988, p. 191--203.

    Research output: Contribution to conferencePaper

  13. Life Cycle Models for Software Development

    McDermid, J. A., 1988, p. 43-51.

    Research output: Contribution to conferencePaper

  14. Low Level Synchronisation Problems in Digital Systems: Formal techniques in Real-Time Fault-Tolerant Systems

    McDermid, J. A., Morgan, G. & Joseph, M., 1988, p. 139-141.

    Research output: Contribution to conferencePaper

  15. Material and Information Flow: Managing the Supply Chain

    Baxter, L., Ferguson, N., Macbeth, D. & Neil, G. C., 1988.

    Research output: Contribution to conferencePaper

  16. Members' Clubs, Political Lobbies and the Freeing of the Market in the UK

    Linstead, S. A. & Turner, K., 1988.

    Research output: Contribution to conferencePaper

  17. Modal logics of higher-order probability

    Haddawy, P. & Frisch, A. M., 1988, p. 133-148.

    Research output: Contribution to conferencePaper

  18. Security Models and Enterprise Models

    Dobson, J. E. & McDermid, J. A., 1988, p. 1-39.

    Research output: Contribution to conferencePaper

  19. Understanding Multi-transputer Execution

    Stepney, S., 1988.

    Research output: Contribution to conferencePaper

  20. Using VDM with Rely and Guarantee-Conditions: Experiences from a Real Project

    Woodcock, J. & Dickinson, B., 1988, p. 434-458.

    Research output: Contribution to conferencePaper

  21. Security Specifications

    Jacob, J. L., 1 Apr 1988, p. 14--23.

    Research output: Contribution to conferencePaper

  22. The Continuing Importance of Cost in Supplier Selection in Support of JIT

    Baxter, L., Neil, G. C., Ferguson, N. & Macbeth, D., Jun 1988.

    Research output: Contribution to conferencePaper

  23. A Security Framework

    Jacob, J. L., 1 Jun 1988, p. 98--111.

    Research output: Contribution to conferencePaper

  24. 1989
  25. A Framework for Expressing Models of Security Policy

    Dobson, J. E. & McDermid, J. A., 1989, p. 229-241.

    Research output: Contribution to conferencePaper

  26. A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning

    Frisch, A. M., 1989, p. 126-136.

    Research output: Contribution to conferencePaper

  27. A Hypertext System with Controlled Hype

    Benest, I. D., 1989, p. 52-63.

    Research output: Contribution to conferencePaper

  28. Buyer Supplier Relationships: A Tool for Analysis and Improvement

    Baxter, L., Macbeth, D., Ferguson, N. & Neil, G. C., 1989.

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 7 8 ...122 Next