Computer Science Part IB
2005-06
TimetablesCourses
- Computer Design
- Dr Simon Moore (Michaelmas
Term)
- Concurrent Systems and Applications
- Dr John Fawcett (Michaelmas
Term)
- Data Structures and Algorithms
- Dr Frank Stajano (Michaelmas
Term)
- Digital Electronics
- Dr Simon Moore (Michaelmas
Term)
- ECAD
- Dr Simon Moore (Michaelmas
Term)
- ECAD and Architecture Practical Classes
- Dr Simon Moore (Michaelmas
Term)
- Group Project
- Prof Ross Anderson (Michaelmas
Term)
- Hardware Practical Classes
- Dr David Greaves (Michaelmas
Term)
- Logic and Proof
- Prof Larry Paulson (Michaelmas
Term)
- Mathematical Methods for Computer Science
- Dr Richard Gibbens (Michaelmas
Term)
- Numerical Analysis I
- Dr Mike O'Donohoe (Michaelmas
Term)
- Operating Systems II
- Dr Steven Hand (Michaelmas
Term)
- Unix Tools
- Dr Markus Kuhn (Michaelmas
Term)
- Comparative Programming Languages
- Dr Neil Dodgson (Lent
Term)
- Compiler Construction
- Dr Timothy Griffin (Lent
Term)
- Computation Theory
- Prof Andrew Pitts (Lent
Term)
- Computer Graphics and Image Processing
- Dr Neil Dodgson (Lent
Term)
- Digital Communication I
- Prof Ian Leslie (Lent
Term)
- Foundations of Functional Programming
- Dr Arthur Norman (Lent
Term)
- Semantics of Programming Languages
- Dr Peter Sewell (Lent
Term)
- Artificial Intelligence I
- Dr Sean Holden (Easter
Term)
- Complexity Theory
- Dr Arthur Norman (Easter
Term)
- Databases
- Dr Timothy Griffin (Easter
Term)
- Economics and Law
- Prof Ross Anderson (Easter
Term)
- Introduction to Security
- Dr Markus Kuhn (Easter
Term)
|
