Search

4 Oct 2010: Computer Laboratory. Course material 2009–10. ». ». ». Part IB Assessed Exercise Briefing. 2009–10. Principal lecturers:Taken by:Workbook and test suite. Once you have tested your program using the data in the file. test-suite.zip. please

16 Nov 2010: Course material 2010–11. Optimising Compilers. Principal lecturer: Prof Alan Mycroft. Taken by:contact lecturer for access permission). Further information:. a 1-page C program to convert arithmetic expressions into 3-address code (cf. TRN from

27 Nov 2010: Course material 2010–11. Principles of Communication. Principal lecturer: Prof Jon Crowcroft. Taken by:contact lecturer for access permission). N.B. PC is only partially similar to 2009's DCII course so past exam questions are only a partial guide.

11 Apr 2010: Computer Laboratory. Course material 2009–10. Bioinformatics. 2009–10. Principal lecturer: Dr Pietro Lio. Taken by:contact lecturer for access permission). Lecture Notes (updated) -2009 Computer Laboratory, University of Cambridge. Please send

3 Aug 2010: Course material 2010–11. Topics in Concurrency. 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 for this course. 2010 Computer

19 Feb 2010: Computer Laboratory. Course material 2009–10. ». ». ». Digital Communication I. 2009–10. Principal lecturer: Dr Andrew Moore. Taken by:relevant list below). Information for supervisors (contact awm22 for access permission - please include

15 Oct 2010: Course material 2010–11. Digital Electronics. Principal lecturer: Dr Ian Wassell. Taken by:contact chn2 for access permission). Here are the notes (all PDF). 2010 Computer Laboratory, University of Cambridge. Information provided by Dr Ian Wassell.

21 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Interactive Formal Verification. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:and the associated Isabelle theory files:This lecture course introduces interactive formal proof

7 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Software Design. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:contact lecturer for access permission). Lecture Notes. 2010 Computer Laboratory, University of Cambridge. Please

13 Apr 2010: Computer Laboratory. Course material 2009–10. ». ». ». Artificial Intelligence II. 2009–10. Principal lecturer: Dr Sean Holden. Taken by:contact lecturer for access permission). Lecture Notes. Supplementary Notes. 2010 Computer Laboratory,

19 May 2010: Computer Laboratory. Course material 2009–10. ». ». ». Artificial Intelligence I. 2009–10. Principal lecturer: Dr Sean Holden. Taken by:contact lecturer for access permission). Lecture Notes. The lecture notes are undergoing a major update

2 Mar 2010: Computer Laboratory. Course material 2009–10. ». ». ». Semantics of HOT Languages. 2009–10. Principal lecturer: Prof Andrew Pitts. Taken by:Reading material. The first part of the course will be based on. A. M. Pitts, Operational Semantics

18 May 2010: Computer Laboratory. Course material 2009–10. ». ». ». Distributed Systems. 2009–10. Principal lecturer: Dr David Evans. Taken by:contact lecturer for access permission). Course notes. These are the course notes that were submitted for

19 Oct 2010: Course material 2008–09. Algorithms II. Principal lecturer: Dr Frank Stajano. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2010 Computer Laboratory, University of Cambridge. Information

8 Jan 2010: Computer Laboratory. Course material 2009–10. ». ». ». Prolog. 2009–10. Principal lecturer: Dr David Eyers. Taken by:Assessed exercise. The Prolog tick is available. Please check these pages occasionally as you work through the tick, in case

14 Oct 2010: Course material 2010–11. Concurrent and Distributed Systems I. Principal lecturer: Dr Brian Shand. Taken by:Past exam questions:contact lecturer for access permission). Concurrent and Distributed Systems was a new course for Part 1B in 2009-10.

21 Apr 2010: Computer Laboratory. Course material 2009–10. ». ». ». E-Commerce. 2009–10. Principal lecturer: Mr Jack Lang. Taken by:Past exam questions:Notes and exercises (mostly PowerPoint):. PDF). PDF). 2010 Computer Laboratory, University of

1 Feb 2010: Computer Laboratory. Course material 2009–10. ». ». ». Quantum Computing. 2009–10. Principal lecturer: Prof Anuj Dawar. Taken by:Exercise Sheets:. Useful Links:. There is a large number of introductory and survey articles available on Quantum

21 Sep 2010: Professor Tony Wrigley. Writing in a new book, the eminent University of Cambridge economic historian, Professor Tony Wrigley, argues that the period needs to be reassessed - as one which has also ... Leading economic thinkers of the age, such as Thomas

7 Jul 2010: This drew convincing parallels between the poor health of people in the developing world and their countries' economic performance. ... The current economic crisis has led to great concern among politicians, central banks and international financial