University of Oxford Branding

OUCL

news

admissions

research

teaching

people

calendar

resources

vacancies

studentships

login

OXFORD UNIVERSITY COMPUTING LABORATORY

Alphabetical List of Courses - 2008/2009

Additional Skills
Advanced Data Structures and Algorithms
Applied Complex Variables [O]
Applied Partial Differential Equations
Applied Partial Differential Equations: Supplementary Lectures
Approximation Theory [C]
Automata, Logic and Games
C++ for Scientific Computing [C]
Case Studies in Mathematical Modelling
Case Studies in Scientific Computing
Categories, Proofs and Processes
Compilers
Computational Complexity
Computational Linguistics
Computer Animation
Computer Architecture
Computer Graphics
Computer Security
Computer-Aided Formal Verification
Computers in Society
Concurrency
Concurrent Programming
Continuous Optimization [C]
Cryptography [O]
Database Systems Implementation
Databases
Design and Analysis of Algorithms
Digital Hardware
Discrete Mathematics
Elasticity and Plasticity [M]
Finite Element Methods for Partial Differential Equations
Formal Program Design
Functional Programming
Game Semantics
Imperative Programming I
Imperative Programming II
Information Retrieval
Integer Programming
Intelligent Systems I
Intelligent Systems II
Introduction to Foundations of Computer Science
Introduction to Specification
Lambda Calculus and Types
Linear Algebra
Logic and Proof
Logic of Multi-agent Information Flow
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 Geoscience [M]
Methods of Functional Analysis for PDEs [O]
Models of Computation
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
Object Oriented Programming
Pertubation Methods [O]
Practical Numerical Analysis
Principles of Programming Languages
Probabilistic Model Checking
Program Analysis
Quantum Computer Science
Randomised Algorithms
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
Theory of Data and Knowledge Bases
Topics in Fluid Mechanics [M]
Viscous Flow [M]
Waves and Compressible Flow [M]
Random Image
Random Image
Random Image