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.

29 Sep 2009: derive some general lessons about the formalization of mathematics.

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

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

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

10 May 2009: ECONOMICS & LAW Nicholas Bohm lecture notes 2009. Aim. To provide an overview to illustrate.

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

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

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

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

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

3 Dec 2009: m a rch 22, 2008 EPW Economic & Political Weekly24. of the person with disability as “suffer-ing”, resulting in a charity framework. ... Mehrotra, Nilika (2004): ‘Women, Disability and Social Support in Rural Haryana’, Economic & Political Weekly,

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,