Awarded to F.H. Rogers for taximeter no. 407 for motor cabs, and approving the type represented by it. Certificate of Examination of a Taximeter
A Running Commentary on a Session at an ELDON Terminal. Donald A. Bell. A Running Commentary on a Session at an ELDON Terminal. Donald A. Bell.
IMP Reference Manual. University of Edinburgh Department of Computer Science. Ref. EMAP/41.5/0011. July 1967. IMP Reference Manual. University of Edinburgh Department of Computer Science. Ref. EMAP/41.5/0011. July 1967.
A Method of Solving Second Order Simultaneous Linear Differential Equations using the Mallock Machine by M.V. Wilkes. Cambridge University Press. April 1940 A Method of Solving Second Order Simultaneous Linear Differential Equations using the Mallock Machine by M.V. Wilkes. Cambridge University Press. April 1940
Electronic Computers in the Aircraft Industry, general programmes File 8/8/02. List of programmes written for Ferranti MK 1 Computer at A.V.Roe & Co. Ltd. Ferranti, summary of programmes for the aircraft industry, List CS 189. English Electric Aviation Ltd, Analysis of Damped Oscillations, Experimental use of the Difference Equation Method. Note No. 17. Bristol Aircraft Ltd. A List of programmes prepared or under development by the mathematical services for the Duce Digital Computer, Issue 2. Paper: Polynomial Interpretive Program (P.I.P.) British Aircraft Corporation, report No. 44. Electronic Computers in the Aircraft Industry, general programmes File 8/8/02. List of programmes written for Ferranti MK 1 Computer at A.V.Roe & Co. Ltd. Ferranti, summary of programmes for the aircraft industry, List CS 189. English Electric Aviation Ltd, Analysis of Damped Oscillations, Experimental use of the Difference Equation Method. Note No. 17. Bristol Aircraft Ltd. A List of programmes prepared or under development by the mathematical services for the Duce Digital Computer, Issue 2. Paper: Polynomial Interpretive Program (P.I.P.) British Aircraft Corporation, report No. 44.
Letter from Barry Mailloux, University of Alberta, August 1973. Letter from Barry Mailloux, University of Alberta, August 1973.
IFIP Working Groups 2.2. 'Formal Language Description Languages' Bulletin No. 4. May 1970. IFIP Working Groups 2.2. 'Formal Language Description Languages' Bulletin No. 4. May 1970.
RRE Memorandum No. 2499. A Narrative Preview of ALGOL 68. P.M. Woodward. October 1968. RRE Memorandum No. 2499. A Narrative Preview of ALGOL 68. P.M. Woodward. October 1968.
Letter from Dr K. Walk to Dear WG 2.2 Member, Vienna October 1970. Letter from Dr K. Walk to Dear WG 2.2 Member, Vienna October 1970.
Computer printout of Declarations in Programming Languages and Their Relation to Procedure Closures, M.F. Challis, University Mathematical Laboratory, Cambridge. Computer printout of Declarations in Programming Languages and Their Relation to Procedure Closures, M.F. Challis, University Mathematical Laboratory, Cambridge.
Diary of visit by J.F. Howard to Stevenage, May 1968. Diary of visit by J.F. Howard to Stevenage, May 1968.
Folder: W.G. 2.1. October 1965. St. Pierre-de Chartreuse. ALGOL X to February 1966. Report: A proposal for a report on a successor of Algol 60 by Niklaus Wirth, IFIP WG 2.1, Copy No. 22. August 1965. Report: MR 76. Orthogonal design and description of a formal language by A. van Wijngaaden, October 1965. Spiral note book, October. 65, Original ALGOL X. Document 15, ALGOL 6 X. Proposal for introduction on aims by Peter Naur, October 1965. Document 16, Grenoble 1965, W.G. 2.1. Document 23, A proposal for a basis for a report on a successor to Algol 60 by Gerhard Seegmuller. Document 2 Record Handling, M. Woodger, October 1965. Document 11. Definition of a subset of PL/I by finite local state-vectors by P. Lucas. July 1965. Folder of material relating to replacement for ALGOL 60
The British Computer Society. International Federation for Information Processing 1965 Congress. The British Computer Society. International Federation for Information Processing 1965 Congress.
A Program for the Production of Proofs for Theorems Derivable within the First Order Predicate Calculus from Axioms by P.C. Gilmore. UNESCO/NS/ICIP/1.6.14. A Program for the Production of Proofs for Theorems Derivable within the First Order Predicate Calculus from Axioms by P.C. Gilmore. UNESCO/NS/ICIP/1.6.14.
Automatic Programming Properties and Performance of Fortram Systems I and II by J.W. Backus. Paper 2-3. Automatic Programming Properties and Performance of Fortram Systems I and II by J.W. Backus. Paper 2-3.
Revision of draft program and re May meeting in France. December 1963 Revision of draft program and re May meeting in France. December 1963
Letter from G.F.Coulouris, Imperial College, Discussions with PROF. Niklaus Wirth (NW) on Computer Organisation. Dated March 1969. Letter from G.F.Coulouris, Imperial College, Discussions with PROF. Niklaus Wirth (NW) on Computer Organisation. Dated March 1969.
. Notes on a visit to Mullard Research Laboratories made by Computer Element Panel of Sub-Committee 19, R.C.R.& D. Technical Committee.
Revised report on the Algorithmic Language ALGOL 68. IFIP July 1973. Revised report on the Algorithmic Language ALGOL 68. IFIP July 1973.
Computer Languages and Their Philosophies. July - August 1967, University of California. Computer Languages and Their Philosophies. July - August 1967, University of California.
Central Projection and Stereoscopic Diagrams on the Differential Analyser, A.R. Curtis, J.G.L. Michel and E.D. Sully. Mathematical Gazette, December 1950. Vol. XXXIV, No. 310. Pages 276-280. Central Projection and Stereoscopic Diagrams on the Differential Analyser, A.R. Curtis, J.G.L. Michel and E.D. Sully. Mathematical Gazette, December 1950. Vol. XXXIV, No. 310. Pages 276-280.
The Use of Economized Polynomials in Mathematical Tables by C.W. Clenshaw and F.W.J. Olver. Proceedings of the Cambridge Philosophical Society, Volume 51, Part 4, pp 614-628. 1955. The Use of Economized Polynomials in Mathematical Tables by C.W. Clenshaw and F.W.J. Olver. Proceedings of the Cambridge Philosophical Society, Volume 51, Part 4, pp 614-628. 1955.
