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 - 2012-2013
Alphabetical List of Courses - 2012-2013
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
Advanced Security
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
Continuous Mathematics
D
Database Systems Implementation
Databases
Design and Analysis of Algorithms
Digital Systems
Discrete Mathematics
E
Elements of Deductive Logic
F
Foundations of Computer Science
Functional Programming
G
General Philosophy
Geometric Modelling
Group Design Practical
I
Imperative Programming I
Imperative Programming II
Information Retrieval
Integer Programming
Intelligent Systems
Introduction to Formal Proof
Introduction to Logic
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
Projects
Q
Quantum Computer Science
R
Requirements
S
Software Verification
T
Theory of Data and Knowledge Bases
Turing on Computability and Intelligence
Student Space
Course A-Z
Degrees
Online Resources, Handbooks & Library
Minerva
Examinations
Timetables
Back to Top
