Search

21 Oct 2008: Computer Laboratory. Course material 2008–09. Software Engineering. 2008–09. Principal lecturer: Prof Ross Anderson. Taken by:Printed notes were distributed at the first lecture. Here are electronic versions of the notes from previous years in

9 Sep 2008: Computer Laboratory. Course material 2008–09. Digital Electronics. 2008–09. Principal lecturer: Dr Ian Wassell. Taken by:Here are the notes (all PDF). 2008 Computer Laboratory, University of Cambridge. Please send any comments on this page to Dr

10 Sep 2008: Computer Laboratory. Course material 2008–09. Topics in Concurrency. 2008–09. Principal lecturer: Prof Glynn Winskel. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2008 Computer Laboratory

17 Jan 2008: The University of Cambridge Institute for Aviation and the Environment (IAE) incorporates the latest scientific research, technological developments and economic thinking to address the needs of the aviation and aerospace industries

28 Nov 2008: What social welfare do existing P2P algorithms seek to maximize? What is the economic interpretation of P2P tradeoffs? ... How does the economic interpretation translate into actual algorithms? How should ISPs use price signals in this virtual economy to

14 Nov 2008: Computer Laboratory. Course material 2008–09. ». Computer Design. 2008–09. Principal lecturer: Dr Simon Moore. Taken by:Aims. The aims of this course are to introduce the hardware/software interface models and the hardware structures used in

22 Sep 2008: Computer Laboratory. Course material 2008–09. ». Specification and Verification I. 2008–09. Principal lecturer: Prof Mike Gordon. Taken by:2008 Computer Laboratory, University of Cambridge. Please send any comments on this page to Prof Mike

10 Sep 2008: Computer Laboratory. Course material 2008–09. Artificial Intelligence II. 2008–09. Principal lecturer: Dr Sean Holden. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2008 Computer

10 Sep 2008: Computer Laboratory. Course material 2008–09. Business Studies. 2008–09. Principal lecturer: Mr Jack Lang. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2008 Computer Laboratory,

10 Sep 2008: Computer Laboratory. Course material 2008–09. Group Project Briefing. 2008–09. Principal lecturer: Dr Alan Blackwell. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2008 Computer Laboratory

10 Sep 2008: Computer Laboratory. Course material 2008–09. Hardware Practical Classes. 2008–09. Principal lecturer: Dr Ian Wassell. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2008 Computer

19 Dec 2008: Computer Laboratory. Course material 2008–09. ». Concurrent Systems and Applications. 2008–09. Principal lecturer: Dr Steven Hand. Taken by:This year the course is being taught by three different lecturers. The core "Java" part of the course is

4 Dec 2008: Computer Laboratory. Course material 2008–09. ». Denotational Semantics. 2008–09. Principal lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Part I. Part II. Feedback. Please provide feedback through the online lecture course feedback form.

10 Sep 2008: Computer Laboratory. Course material 2008–09. Professional Practice and Ethics. 2008–09. Principal lecturer: Dr Richard Jennings. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2008

14 Oct 2008: Computer Laboratory. Course material 2008–09. ». Optimising Compilers. 2008–09. Principal lecturer: Prof Alan Mycroft. Taken by:Further information:. a 1-page C program to convert arithmetic expressions into 3-address code (cf. TRN from the

22 Sep 2008: Computer Laboratory. Course material 2008–09. ». Specification and Verification II. 2008–09. Principal lecturer: Prof Mike Gordon. Taken by:2008 Computer Laboratory, University of Cambridge. Please send any comments on this page to Prof Mike

10 Sep 2008: Computer Laboratory. Course material 2008–09. Group Project. 2008–09. Principal lecturer: Dr Alan Blackwell. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2008 Computer Laboratory,

27 Oct 2008: Computer Laboratory. Course material 2008–09. ». Quantum Computing. 2008–09. Principal lecturer: Dr Anuj Dawar. Taken by:Exercise Sheets:. Feedback:. The course is constantly under development, so your feedback would be very valuable. Please

16 Nov 2008: Computer Laboratory. Course material 2008–09. ». Computer Systems Modelling. 2008–09. Principal lecturer: Dr Richard Gibbens. Taken by:2008 Computer Laboratory, University of Cambridge. Please send any comments on this page to Dr Richard Gibbens

14 Oct 2008: Computer Laboratory. Course material 2008–09. ». Mathematical Methods for Computer Science. 2008–09. Principal lecturer: Dr Richard Gibbens. Taken by:2008 Computer Laboratory, University of Cambridge. Please send any comments on this page to Dr