University of Oxford Department of Computer Science

Alphabetical List of Courses - 2008-2009

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

Additional Skills

Advanced Data Structures and Algorithms

Analysis I: Sequences and Series

Analysis II: Continuity and Differentiability

Analysis III: Integration

Applied Complex Variables [O]

Applied Partial Differential Equations

Applied Partial Differential Equations: Supplementary Lectures

Approximation Theory [C]

Automata, Logic and Games

C

C++ for Scientific Computing [C]

Case Studies in Mathematical Modelling

Case Studies in Scientific Computing

Categories, Proofs and Processes

Computational Complexity

Computational Linguistics

Computer Animation

Computer Architecture

Computer Graphics

Computer Security

Computer-Aided Formal Verification

Computers in Society

Concurrent Programming

Continuous Optimization [C]

Cryptography [O]

D

Database Systems Implementation

Design and Analysis of Algorithms

Digital Hardware

Discrete Mathematics

E

Elasticity and Plasticity [M]

F

Finite Element Methods for Partial Differential Equations

Formal Program Design

Functional Programming

G

I

Imperative Programming I

Imperative Programming II

Information Retrieval

Integer Programming

Intelligent Systems I

Intelligent Systems II

Introduction to Foundations of Computer Science

Introduction to Groups, Rings and Fields

Introduction to Specification

L

Lambda Calculus and Types

Linear Algebra I

Linear Algebra II

Logic and Proof

Logic of Multi-agent Information Flow

M

Machine Learning

Martingales Through Measure Theory [O]

Mathematical Ecology and Biology [M]

Mathematical Methods

Mathematical Methods for Signal Processing [O]

Mathematical Modelling Classes

Mathematical Models of Financial Derivatives [M]

Mathematical Physiology [M]

Mathematics and the Environment [M]

Mathematics for Simulation [M]

Methods of Functional Analysis for PDEs [O]

Models of Computation

N

Networks and Operating Systems

Nonlinear Systems [O]

Numerical Analysis

Numerical Linear Algebra

Numerical Multiphysics Modelling in Biology and Physiology [C]

Numerical Solution of Differential Equations I

Numerical Solution of Differential Equations II

O

Object Oriented Programming

P

Perturbation Methods [O]

Practical Numerical Analysis

Principles of Programming Languages

Probabilistic Model Checking

Program Analysis

Q

Quantum Computer Science

R

Randomised Algorithms

S

Scientific Computing for D. Phil. Students I

Scientific Computing for D. Phil. Students II

Software Verification

Solid Mechanics [M]

Solution of Large Sparse Equations [C]

Stochastic Differential Equations [O]

Stochastic Modelling and Simulation of Biological Processes [C]

System Design & Refinement

T

Theory of Data and Knowledge Bases

Topics in Fluid Mechanics [M]

V

Viscous Flow [M]

W

Waves and Compressible Flow [M]

Back to Top