Search

5 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». Digital Electronics. 2009–10. Principal lecturer: Dr Ian Wassell. Taken by:contact lecturer for access permission). Here are the notes (all PDF). 2009 Computer Laboratory, University of

17 Aug 2009: Computer Laboratory. Course material 2009–10. Topics in Concurrency. 2009–10. Principal lecturer: Prof Glynn Winskel. Taken by:contact lecturer for access permission). If you are reading this then no extra material has yet been placed on the Web

20 May 2009: Computer Laboratory. Course material 2008–09. ». Distributed Systems. 2008–09. Principal lecturer: Dr David Evans. Taken by:Course notes. The course come in two flavours. One is the batch that was submitted for printing and is what supervisors

6 May 2009: Computer Laboratory. Course material 2008–09. ». Prolog. 2008–09. Principal lecturer: Dr David Eyers. Taken by:Prolog tick information. The tick sessions will take place in room FW09. The tick session times that people signed up for is

13 Aug 2009: office markets on economic stability.

22 Jan 2009: Computer Laboratory. Course material 2008–09. ». Bioinformatics. 2008-09. Principal lecturer: Dr Pietro Lio. Taken by:The immense growth of biological information stored in databases has led to a critical need for people who can understand the

17 Mar 2009: Computer Laboratory. Course material 2008–09. ». Information Retrieval. 2008–09. Principal lecturer: Dr Simone Teufel. Taken by:Correction in Handout (March 17, 2009): please substitute page 116 with pagerank table, corrected. Note: this is now

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Group Project Briefing. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:contact lecturer for access permission). Full information on the group project course is maintained in the

25 Nov 2009: Computer Laboratory. Course material 2009–10. Information Retrieval. 2009–10. Principal lecturer: Dr Stephen Clark. Taken by:contact lecturer for access permission). 2009 Computer Laboratory, University of Cambridge. Please send any comments on

9 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Specification and Verification I. 2009–10. Principal lecturer: Prof Mike Gordon. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to Prof