Search research publications and outputs

  1. 1995
  2. Applications of functional programming

    Runciman, C. (ed.) & Wakeling, D. (ed.), 1995, UCL Press.

    Research output: Book/ReportBook

  3. Z in practice

    Barden, R., Stepney, S. & Cooper, D., 1995, Prentice Hall. (BCS practitioner series)

    Research output: Book/ReportBook

  4. μKernel service for dynamic load balancing

    Grigoras, D. & Calinescu, R., 1 Dec 1995, Amsterdam, Netherlands: IOS Press. 11 p.

    Research output: Book/ReportBook

  5. 1996
  6. 1997
  7. Four methods for maintenance scheduling

    Smith, A., Clark, J. A. & Burke, EK., 1997, Citeseer.

    Research output: Book/ReportBook

  8. 1999
  9. Absent fathers?

    Bradshaw, J., Stimson, C., Skinner, C. & Williams, J., 1999, London: Routledge. 258 p.

    Research output: Book/ReportBook

  10. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

    Wing, J. M. (ed.), Woodcock, J. (ed.) & Davies, J. (ed.), 1999, Springer. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  11. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

    Wing, J. M. (ed.), Woodcock, J. (ed.) & Davies, J. (ed.), 1999, Springer. (Lecture Notes in Computer Science; vol. 1709)

    Research output: Book/ReportBook

  12. 2000
  13. Inductive Logic Programming: Proceedings of the 10th International Conference

    Cussens, J. (ed.) & Frisch, A. M. (ed.), 2000, Springer. (Lecture Notes in Artificial Intelligence; no. 1866)

    Research output: Book/ReportBook

  14. Learning Language in Logic

    Cussens, J. & Dzeroski, S., 2000, Springer. 301 p.

    Research output: Book/ReportBook

Previous 1 2 3 4 5 6 7 8 Next