Search

16 Jan 2009: Computer Laboratory. Course material 2008–09. ». Semantics of Programming Languages. 2008–09. Principal lecturer: Dr Peter Sewell. Taken by:Notes: colour, (ps) and (pdf) , and monochrome, (ps) and (pdf). Model implementations of the languages.

11 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Advanced Topics in Programming Languages. 2009–10. Principal lecturer: Dr Peter Sewell. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Network Architecture. 2009–10. Principal lecturer: Prof Jon Crowcroft. Additional lecturers:Taken by:Reading: papers. Assessment: student's talks. Coursework:2009 Computer Laboratory,

5 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Low Power Embedded Systems Programming. 2009–10. Principal lecturer: Dr Ian Wassell. Additional lecturer: Brian Jones. Taken by:Workbooks. Projects. Docs. Supporting Documentation. Code

22 Sep 2009: They warn that, "Economic development will not be sustained in the longer term unless the climate is stabilised" and say it is "critical" that "we exit this recession in a way ... In The Copenhagen Communiqué the business leaders argue that "the costs

22 Apr 2009: Nandan, who has been a key player in India's growth story, believes that the country's future rests on more than simply economic growth. ... Nandan Nilekani is on the World Economic Forum Foundation Board, was named one of the ‘100 Most Influential

26 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». An Algebraic Approach to Internet Routing. 2009–10. Principal lecturer: Dr Timothy G. Approach The course takes a high-level, top-down approach to the analysis and design of Internet

19 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Types. 2009–10. Principal lecturer: Prof Andrew Pitts. Taken by:including slides) [black & white pdf]. Just the slides [colour pdf]. Additional material:. Naive implementations of the ML

13 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Semantics of Programming Languages. 2009–10. Principal lecturer: Dr Sam Staton. Taken by:There are comments in the notes about the relevance of older questions.). Large print: colour and

1 Sep 2009: hard economic times ahead within the public sector.’.

29 Apr 2009: Computer Laboratory. Course material 2008–09. ». System-on-Chip: Design and Modelling. 2008–09. Principal lecturer: Dr David Greaves. Taken by:This course is arranged into eight different topics. These cover all of the material in the published

16 Feb 2009: Computer Laboratory. Course material 2008–09. ». Floating-Point Computation. 2008–09. Principal lecturer: Prof Alan Mycroft. Taken by:see also below). Lecturer-provided information:. Course slides (as printed). An easy magazine article by Cleve

9 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Topics in Security: Forensic Signal Analysis. 2009–10. Principal lecturer: Dr Markus Kuhn. Contributing lecturer: Mr Andrew Lewis. Taken by:This reading class takes place in room SW01 at

11 Mar 2009: Computer Laboratory. Course material 2008–09. ». Natural Language Processing. 2008–09. Principal lecturer: Dr Anna Korhonen. Taken by:Ann Copestake, the same as 2007-8). Slides (Ann Copestake, the same as 2007-8). Machine Translation slides

27 Apr 2009: teaching. Cambridge has a long and distinctive tradition in politics and international relations with particular emphasis, going back over a century, on historical, legal, economic and philosophical approaches to their study.

17 Apr 2009: Computer Laboratory. Course material 2008–09. ». Compiler Construction. 2008–09. Principal lecturer: Prof Alan Mycroft. Taken by:Here are various items for the 2008/09 version of this course:. on CUP. on C#, ANTLR and many mini compiler-writing

17 Aug 2009: Computer Laboratory. Course material 2009–10. Advanced Topics in Concurrency. 2009–10. 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. 2009 Computer

7 Sep 2009: Computer Laboratory. Course material 2009–10. ». ». Chip Multiprocessors. 2009–10. Principal lecturer: Dr Robert Mullins. Taken by:Lectures notes, papers, assignments etc. are all available from the course web site. 2009 Computer Laboratory,

17 Aug 2009: Computer Laboratory. Course material 2009–10. Introductory Logic. 2009–10. Principal lecturer: Dr Thomas Forster. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2009 Computer Laboratory,

26 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Natural Language Processing. 2009–10. Principal lecturer: Dr Ann Copestake. Taken by:Some NLP and language related links:lecture 4). 2009 Computer Laboratory, University of Cambridge.