Search

22 Apr 2009: Computer Laboratory. Course material 2008–09. ». E-Commerce. 2008–09. Principal lecturer: Mr Jack Lang. Taken by:Lecture notes (mostly PowerPoint):. Frauds and Scams Examples Class. 2009 Computer Laboratory, University of Cambridge. Please send

19 Feb 2009: Computer Laboratory. Course material 2007–08. ». ». ». Index of courses by lecturer. 2007–08. Please check the official timetables for timetable details. Mr Nigel Bailey. Dr Keir Fraser. Dr Richard Jennings. Mr Jack Lang. Mr Richard Stibbs.

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Group Project. 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 group

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

18 Jan 2009: Computer Laboratory. Course material 2008–09. ».. Index of courses by lecturer. 2008–09. Please check the official timetables for timetable details. Software Engineering (Michaelmas). Dr Alex Benton. Advanced Graphics (Lent). Lent). Lent).

11 Mar 2009: Computer Laboratory. Course material 2008–09. ». Databases. 2008–09. Principal lecturer: Dr Timothy Griffin. Taken by:Lecture notes:. Lectures 1 and 2 : one slide per page, or two slides per page. Lectures 4, 5, and 6 : one slide per page, or

6 Feb 2009: Computer Laboratory. Course material 2008–09. ». Foundations of Functional Programming. 2008–09. Principal lecturer: Dr Matthew Parkinson. Taken by:The slides from the lectures can be found here: 1up and 4up [Corrections to printed version

27 Apr 2009: Computer Laboratory. Course material 2008–09. ». Long Vacation Java course. 2008–09. Principal lecturer: Dr Frank King. Taken by: long vacation term students. Students and staff of Cambridge University may attend the July run of this course (13

5 Jan 2009: CURRICULUM VITAE(revised in January 2008). Name Arthur John Robin Gorell Milner.

20 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Advanced Topics in Computer Systems. 2009–10. Principal lecturer: Dr Steven Hand. Taken by:Overview. This module will attempt to provide an overview of "systems research". This is a very

6 May 2009: Computer Laboratory. Course material 2008–09. ». Probability. 2008–09. Principal lecturer: Dr Richard Gibbens. Taken by:Last changed 6 May 2009). 2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to Dr

18 Jan 2009: Computer Laboratory. Course material 2007–08. ». ». ». Computer Science Part IB. 2007–08. Please check the official timetables for timetable details. Michaelmas term. Lent term. Easter term. 2008 Computer Laboratory, University of Cambridge.

4 May 2009: Computer Laboratory. Course material 2008–09. ». Logic and Proof. 2008–09. Principal lecturer: Prof Larry Paulson. Taken by:for past exam questions (for supervisors and directors of studies only). A toy theorem-proved coded in ML:. 2009

13 Mar 2009: Computer Laboratory. Course material 2008–09. ». Computer Graphics and Image Processing. 2008—09. Principal lecturer: Prof Peter Robinson. Course material. 3MB). This is a new facility, so there aren't many questions and answers there yet.

17 Aug 2009: Computer Laboratory. Course material 2009–10. Algorithms II. 2009–10. Principal lecturer: Dr Timothy Griffin. Taken by:contact lecturer for access permission). If you are reading this then no extra material has yet been placed on the Web for

27 Aug 2009: Computer Laboratory. Course material 2009–10. ». Logic and Proof. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:solution notes for past exam questions) (contact lecturer for access permission). A toy theorem-proved coded in ML:.

5 Mar 2009: Computer Laboratory. Course material 2008–09. ». Advanced Graphics. 2008–09. Principal lecturer: Dr Alex Benton. Taken by:Past exam questions are in two different places: 98,99, 02, 03, 04, 05, 06, 07 and 00, 01. Lecture notes and source code.

13 Jan 2009: Computer Laboratory. Course material 2008–09. ». Operating Systems I. 2008–09. Principal lecturer: Dr Steven Hand. Taken by:Aims. The overall aim of this course is to provide a general understanding of how a computer works. This includes

19 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». How to Study Computer Science. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:Web links to information on repetitive strain injury (RSI):. information to help disabled people

13 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Registration. 2009–10. Principal lecturer: Dr Frank King. Taken by:Documents handed out at the Registration session on Thursday 8th October, and then at the start of the practical classes