Search

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

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

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

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

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.

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

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

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,

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

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.

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

27 Jan 2009: Computer Laboratory. Course material 2008–09. ». Software Design. 2008–09. Principal lecturer: Dr Alan Blackwell. Taken by:link to 13 MB PDF file). Official resource site for BlueJ book and downloads. Source code for BlueJ examples mentioned in

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

26 Apr 2009: CURRICULUM VITAE. Name Nilanjana Datta. Profession Affiliated Lecturer in Mathematics,Faculty of Mathematics, University of Cambridge, U.K.and Fellow of Pembroke College, Cambridge.

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

5 Feb 2009: This is all the more remarkable as financial and economic concerns mounted during the year”.

27 Jan 2009: Many of the questions from pupils centred on appropriate subject choices for particular courses – such as law, medicine, economics and archaeology – while topics raised by parents touched on the comparability of

21 May 2009: Computer Laboratory. Course material 2008–09. ». Additional Topics. 2008–09. Principal lecturer: Prof Andy Hopper. Taken by:Course Details. The lectures this year are 12:00-13:00 in Lecture Theatre 2 of the CL. Note that time of 10:00-11:00 as

6 May 2009: Computer Laboratory. Course material 2008–09. ». Prolog. 2008–09. Principal lecturer: Dr David Eyers. Taken by:Prolog tick information. The tick sessions will take place in room FW09. The tick session times that people signed up for is

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

5 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». Digital Electronics. 2009–10. Principal lecturer: Dr Ian Wassell. Taken by:contact lecturer for access permission). Here are the notes (all PDF). 2009 Computer Laboratory, University of

20 May 2009: Computer Laboratory. Course material 2008–09. ». Distributed Systems. 2008–09. Principal lecturer: Dr David Evans. Taken by:Course notes. The course come in two flavours. One is the batch that was submitted for printing and is what supervisors

22 Jan 2009: Computer Laboratory. Course material 2008–09. ». Bioinformatics. 2008-09. Principal lecturer: Dr Pietro Lio. Taken by:The immense growth of biological information stored in databases has led to a critical need for people who can understand the

17 Mar 2009: Computer Laboratory. Course material 2008–09. ». Information Retrieval. 2008–09. Principal lecturer: Dr Simone Teufel. Taken by:Correction in Handout (March 17, 2009): please substitute page 116 with pagerank table, corrected. Note: this is now

7 Oct 2009: Second M.B. Examination (New Curriculum Regulations). The Faculty Board of Biology and the Faculty Board of Clinical Medicine give notice that, with effect from the examination in 2009–10, the ... Examination (New Curriculum Regulations) will be as

9 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Specification and Verification I. 2009–10. Principal lecturer: Prof Mike Gordon. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to Prof

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Group Project Briefing. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:contact lecturer for access permission). Full information on the group project course is maintained in the

25 Nov 2009: Computer Laboratory. Course material 2009–10. Information Retrieval. 2009–10. Principal lecturer: Dr Stephen Clark. Taken by:contact lecturer for access permission). 2009 Computer Laboratory, University of Cambridge. Please send any comments on

4 May 2009: Computer Laboratory. Course material 2008–09. ». Foundations of Computer Science. 2008–09. Principal lecturer: Prof Larry Paulson. Taken by:Please download the corrected version of Tick 6! We have installed an errata page where you can find

5 Jun 2009: Computer Laboratory. Course material 2008–09. ». Introduction to Security. 2008–09. Principal lecturer: Dr Markus Kuhn. Taken by:This 8-h lecture course takes you onto a quick tour through the basics of computer security and cryptography on

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Business Studies. 2009–10. Principal lecturer: Mr Jack Lang. Taken by:contact chn2@cam for access permission). Here are the notes (all PowerPoint) and Examples (PDF):. 2009 Computer

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Hardware Practical Classes. 2009–10. Principal lecturer: Dr Ian Wassell. Taken by:contact lecturer for access permission). The notes were last updated in 2007-2008. The workshops will be

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Denotational Semantics. 2009–10. Principal lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Part I. Part II. Feedback. Please provide feedback through the online lecture course

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Foundations of Computer Science. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:Solution notes for past exam questions) (contact lecturer for access permission). Exercises for

21 Sep 2009: Computer Laboratory. Course material 2009–10. Optimising Compilers. 2009–10. Principal lecturer: Dr Arthur Norman. Taken by:contact lecturer for access permission). Further information:. a 1-page C program to convert arithmetic expressions into 3

22 May 2009: Computer Laboratory. Course material 2008–09. ». Artificial Intelligence I. 2008–09. Principal lecturer: Dr Mateja Jamnik. Taken by:Lecture notes ([for printing 4up)] [slides]):. Introduction to AI and agents: [Problem solving by search, games

13 Aug 2009: office markets on economic stability.

9 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Information Theory and Coding. 2009–10. Lecturer: Prof John Daugman. Prerequisite courses: Probability; Mathematical Methods for Computer Science. Number of lectures: 11 1 (Mon, Wed, Fri

22 Apr 2009: Computer Laboratory. Course material 2008–09. ». E-Commerce. 2008–09. Principal lecturer: Mr Jack Lang. Taken by:Lecture notes (mostly PowerPoint):. Frauds and Scams Examples Class. 2009 Computer Laboratory, University of Cambridge. Please send

27 Apr 2009: Computer Laboratory. Course material 2008–09. ». Long Vacation Java course. 2008–09. Principal lecturer: Dr Frank King. Taken by: long vacation term students. Students and staff of Cambridge University may attend the July run of this course (13

19 Feb 2009: Computer Laboratory. Course material 2007–08. ». ». ». Index of courses by lecturer. 2007–08. Please check the official timetables for timetable details. Mr Nigel Bailey. Dr Keir Fraser. Dr Richard Jennings. Mr Jack Lang. Mr Richard Stibbs.

9 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Specification and Verification II. 2009–10. Principal lecturer: Prof Mike Gordon. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to

18 Jan 2009: Computer Laboratory. Course material 2008–09. ».. Index of courses by lecturer. 2008–09. Please check the official timetables for timetable details. Software Engineering (Michaelmas). Dr Alex Benton. Advanced Graphics (Lent). Lent). Lent).

11 Mar 2009: Computer Laboratory. Course material 2008–09. ». Databases. 2008–09. Principal lecturer: Dr Timothy Griffin. Taken by:Lecture notes:. Lectures 1 and 2 : one slide per page, or two slides per page. Lectures 4, 5, and 6 : one slide per page, or

6 Feb 2009: Computer Laboratory. Course material 2008–09. ». Foundations of Functional Programming. 2008–09. Principal lecturer: Dr Matthew Parkinson. Taken by:The slides from the lectures can be found here: 1up and 4up [Corrections to printed version