Research Output

Filter
Anthology
2015

Information Processing in Cells and Tissues: 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings

Lones, M. A. (ed.), Tyrrell, A. M. (ed.), Smith, S. L. (ed.) & Fogel, G. (ed.), 2015, Springer International Publishing. (Lecture Notes in Computer Science; vol. 9303)

Research output: Book/ReportAnthology

2003

Automath and Pure Type Systems

Kamareddine, F. D., Laan, T. & Nederpelt, R., 2003, Kluwer Academic Publishers. 53 p.

Research output: Book/ReportAnthology

2001

Special issue on rewriting and theorem proving

Kamareddine, F. D., 2001, Oxford University Press. 160 p.

Research output: Book/ReportAnthology

2000

ICALP Workshops 2000: Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming

Rolim, JDP., Broder, AZ., Corradini, A., Gorrieri, R., Heckel, R., Hromkovic, J., Vaccaro, U. & Wells, J. B., Jul 2000, Carleton Scientific.

Research output: Book/ReportAnthology

Trends in Functional Programming

Michaelson, G. J., Trinder, P. & Loidl, H. W., 2000, Intellect. (Papers of the Scottish Functional Programming Workshop Series 1999 - 2001)

Research output: Book/ReportAnthology

1998

Evaluation Studies

Mogey, N. & Rist, R., 1998, LTDI. 1 p.

Research output: Book/ReportAnthology

LTDI Evaluation Cookbook

Harvey, J. & Rist, R., 1998, LTDI.

Research output: Book/ReportAnthology

LTDI Information Directory

Barker, P. & Rist, R., 1998, 10th ed. LTDI.

Research output: Book/ReportAnthology

1997

BrITe Ideas

Harvey, J. & Rist, R., 1997, LTDI.

Research output: Book/ReportAnthology

LTDI Case studies

Mogey, N., Hewer, S. & Rist, R., 1997, LTDI. 1 p.

Research output: Book/ReportAnthology

1996

LTDI Implementing Learning Technology

Stoner, G., Mogey, N. & Rist, R., 1996, LTDI. 1 p.

Research output: Book/ReportAnthology

LTDI Information Directory

Mogey, N. & Rist, R., 1996, LTDI. 1 p.

Research output: Book/ReportAnthology