University of Hertfordshire

Publications

  1. 1996
  2. A survey of tools for modelling multimedia systems

    Britton, C., Jones, S., Myers, M. & Sharif, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 259)

    Research output: Book/ReportOther report

  3. An introduction to the Hatfield superscalar architecture

    Steven, G. B., Christianson, B., Collins, R., Potter, R. & Steven, F. L., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 253)

    Research output: Book/ReportOther report

  4. An investigation into the measurement of notations used in software modelling

    Britton, C., Jones, S., Myers, M. & Sharif, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 257)

    Research output: Book/ReportOther report

  5. Artificial evolution: modelling the development of the retina

    Rust, A. G., Adams, R. G., George, S. & Bolouri, H., 1996, University of Hertfordshire. (UH Computer Science technical Report; vol. 255)

    Research output: Book/ReportOther report

  6. BP&ISR: an analysis of factors in the Sri Lankan context

    Weerakkody, V., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 251)

    Research output: Book/ReportOther report

  7. Developmental artificial neural networks for shape recognition: a model of the retina

    Rust, A. G., George, S., Bolouri, H. & Adams, R. G., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 243)

    Research output: Book/ReportOther report

  8. Developmental neural networks for shape recognition: motivation and review

    Rust, A. G. & Bolouri, H., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 241)

    Research output: Book/ReportOther report

  9. Discretionary non-repudiation

    Low, M. R., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 267)

    Research output: Book/ReportOther report

  10. Editing Wittgenstein's "Notes on Logic". Vol.2

    Biggs, M., 1996, Bergen: University of Bergen. 138 p. (Skriftserie fra Wittgensteinarkivet ved Universitetet i Bergen; vol. 11, no. 2)

    Research output: Book/ReportBook

  11. Editing Wittgenstein’s "Notes on Logic". Vol.1

    Biggs, M., 1996, University of Bergen. 80 p. (Skriftserie fra Wittgensteinarkivet ved Universitetet i Bergen; vol. 11, no. 1)

    Research output: Book/ReportBook

  12. Expressing a policy

    Low, M. R., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 266)

    Research output: Book/ReportOther report

  13. Formal methods: no cure for faulty reasoning

    Loomes, M. & Vinter, R. J., 1996, University of Hertfordshire. (UH Computer Science Report; vol. 265)

    Research output: Book/ReportOther report

  14. Instruction scheduling for a superscalar architecture

    Collins, R. & Steven, G. B., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 248)

    Research output: Book/ReportOther report

  15. Investigating the limits of instruction level parallelism

    Potter, R., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 245)

    Research output: Book/ReportOther report

  16. Key issues for successful exploitation of BP&ISR in Sri Lanka

    Weerakkody, J., Bennett, J. & Tagg, C., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 261)

    Research output: Book/ReportOther report

  17. Notations for modelling multimedia systems

    Britton, C., Jones, S., Myers, M. & Sharif, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 256)

    Research output: Book/ReportOther report

  18. Reasoning about formal software specifications : an initial investigation

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 249)

    Research output: Book/ReportOther report

  19. Seven lesser known myths of formal methods : uncovering the psychology of formal specification

    Vinter, R. J., Loomes, M. J. & Kornbrot, D., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 250)

    Research output: Book/ReportOther report

  20. Teaching client server computing to undergraduates and postgraduates

    Malcolm, J. & Hu, P., 1996, University of Hertfordshire. (UH Computer Science Technical Reports; vol. 239)

    Research output: Book/ReportOther report

  21. The problem area of invoice matching at Neon Electrical- a case study of SSM in business systems analysis and design

    Pascoulis, C., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 254)

    Research output: Book/ReportOther report

  22. The special requirements of multimedia systems: how to choose the most effective modelling notations

    Britton, C., Jones, S., Myers, M. & Sharif, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 244)

    Research output: Book/ReportOther report

  23. Transfer of non-logical tendencies to formal reasoning

    Vinter, R. J., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 252)

    Research output: Book/ReportOther report

  24. Using single layer networks for discrete, sequential data: an example from natural language processing. [extended version]

    Lyon, C., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 242)

    Research output: Book/ReportOther report

  25. WISE (world wide integrated software engineering): a summary of work in progress

    Sapsford-Francis, J., Jones, S. & Brabrook-Norman, M., 1996, University of Hertfordshire. (UH Computer Science Technical Report; vol. 269)

    Research output: Book/ReportOther report

  26. 1995
  27. A brief history of time (before and after objects) - from a perspective of process algebras

    Taylor, P. N., 1995, University of Hertfordshire. (UH Computer Science Technical Report; vol. 238)

    Research output: Book/ReportOther report

Previous 1...5 6 7 8 9 10 11 12 ...14 Next