Technical Reports
Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969
- Lauer, P. E.The Perils of Indirect Proof, or, Another Efficient Search Algorithm to Find the Elementary Circuits of Directed Graphs. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 42 (download PDF).
- Mitrani I. A Queueing Model of Priority Multi-programming. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 41 (download PDF).
- Waller, L.An Improved Branch-and bound Algorithm for the Job-shop Scheduling Problem of Minimising Makespan. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 40 (download PDF).
- Mascall, A.J. and Snow, C.R.CMTS: An Experimental Evaluation of Relocation Hardware. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 39 (download PDF).
- Randell B. The Origins of Digital Computers: A Bibliography. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 38 (download PDF).
- Wilson, L.B.The Analysis of the Stable Marriage Assignment Algorithm for Equal Sets. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 37 (download PDF).
- Barnett, J.K.R.An Analysis by Software Methods of Processor Time Use. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 36 (download PDF).
- Henderson, P.Functional Specification on Non-deterministic Programs. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 35 (download PDF).
- Barraclough, E.D.Medlars On-line Search Formulation and Indexing. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 34 (download PDF).
- Randell B. On Alan Turing and the Origins of Digital Computers. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 33 (download PDF).
- Page, E.S. and Waller, L.An Interactive Approach for the Solution of a Class of Discrete Optimisation Problems. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 32 (download PDF).
- Horning JJ, Randell B. Process Structuring. Computing Laboratory. 1972. Computing Laboratory Technical Report Series 31 (download PDF).