Search

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

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

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

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

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,

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

17 Aug 2009: Computer Laboratory. Course material 2009–10. Set Theory for Computer Science. 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

25 Nov 2009: 6. Syllabus. Signals and systems. Discrete sequences and systems, their types and proper-ties. ... x(t) =. n=xn. sin π(t ts n)π(t ts n). Choice of sampling frequencyDue to causality and economic constraints, practical analog filters can only

23 Jan 2009: 6. Syllabus. Signals and systems. Discrete sequences and systems, their types and proper-ties. ... x(t) =. n=xn. sin π(t ts n)π(t ts n). Choice of sampling frequencyDue to causality and economic constraints, practical analog filters can only

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.

13 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Human-Computer Interaction. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:Past exam questions:contact lecturer for access permission). Design Exercise: Critical Care for the

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

1 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Category Theory for Computer Science. 2009–10. Principal lecturer: Dr Bartosz Klin. Additional lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Lecture 1: definition of category,

1 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Basic Rewriting Theory. 2009–10. Principal lecturer: Dr Marcelo Fiore. Taken by:Reading material from Term Rewriting and All That:. Motivating Examples (Chapter 1). Equivalence and

21 Sep 2009: Computer Laboratory. Course material 2009–10. ». ». Digital Communication II. 2009–10. Principal lecturer: Prof Jon Crowcroft. Taken by:contact lecturer for access permission). Slides: for Course. 2009 Computer Laboratory, University of

10 Mar 2009: Computer Laboratory. Course material 2008–09. ». Comparative Architectures. 2008–09. Principal lecturer: Dr Robert Mullins. Taken by:Introduction. This course provides an introduction to contemporary microprocessor design. It describes how it

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