Search

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

4 May 2009: Computer Laboratory. Course material 2008–09. ». Foundations of Computer Science. 2008–09. Principal lecturer: Prof Larry Paulson. Taken by:Please download the corrected version of Tick 6! We have installed an errata page where you can find

5 Jun 2009: Computer Laboratory. Course material 2008–09. ». Introduction to Security. 2008–09. Principal lecturer: Dr Markus Kuhn. Taken by:This 8-h lecture course takes you onto a quick tour through the basics of computer security and cryptography on

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Business Studies. 2009–10. Principal lecturer: Mr Jack Lang. Taken by:contact chn2@cam for access permission). Here are the notes (all PowerPoint) and Examples (PDF):. 2009 Computer

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Denotational Semantics. 2009–10. Principal lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Part I. Part II. Feedback. Please provide feedback through the online lecture course

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Hardware Practical Classes. 2009–10. Principal lecturer: Dr Ian Wassell. Taken by:contact lecturer for access permission). The notes were last updated in 2007-2008. The workshops will be

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Foundations of Computer Science. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:Solution notes for past exam questions) (contact lecturer for access permission). Exercises for

21 Sep 2009: Computer Laboratory. Course material 2009–10. Optimising Compilers. 2009–10. Principal lecturer: Dr Arthur Norman. Taken by:contact lecturer for access permission). Further information:. a 1-page C program to convert arithmetic expressions into 3

22 May 2009: Computer Laboratory. Course material 2008–09. ». Artificial Intelligence I. 2008–09. Principal lecturer: Dr Mateja Jamnik. Taken by:Lecture notes ([for printing 4up)] [slides]):. Introduction to AI and agents: [Problem solving by search, games