Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Study with us
Research
News
Events
About Us
Student Space
(current)
Partner with us
Home
Student Space
Courses - 2011-2012
Alphabetical List of Courses - 2011-2012
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
A
Advanced Data Structures and Algorithms
Automata, Logic and Games
B
Bioinformatics and Computational Biology
C
Categorical Quantum Mechanics
Categories, Proofs and Processes
Compilers
Computational Complexity
Computational Linguistics
Computer Animation
Computer Architecture
Computer Graphics
Computer Networks
Computer Security
Computer-Aided Formal Verification
Computers in Society
Concurrency
Concurrent Programming
D
Database Systems Implementation
Databases
Design and Analysis of Algorithms
Digital Systems
Discrete Mathematics
F
Formal Program Design
Foundations of Computer Science
Functional Programming
G
Geometric Modelling
I
Imperative Programming I
Imperative Programming II
Information Retrieval
Integer Programming
Intelligent Systems
Introduction to Specification
K
Knowledge Representation & Reasoning
L
Lambda Calculus and Types
Linear Algebra
Logic and Proof
M
Machine Learning
Models of Computation
N
Numerical Solution of Differential Equations I
Numerical Solution of Differential Equations II
O
Object Oriented Programming
P
Principles of Programming Languages
Probabilistic Model Checking
Probability and Computing
Program Analysis
Projects
Q
Quantum Computer Science
R
Reasoning about Information Update
Requirements
S
Software Verification
T
Theory of Data and Knowledge Bases
Student Space
Course A-Z
Degrees
Online Resources, Handbooks & Library
Minerva
Examinations
Timetables
Back to Top