Search

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

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

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

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

1 May 2009: Professor Andrew Balmford and colleagues in the Department of Zoology have worked with RSPB to coordinate a major review of the economic consequences of losing what is left of wild nature; ... the conclusion – that converting remaining habitat patches

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

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

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

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

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

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

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

13 Aug 2009: office markets on economic stability.

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: 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

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