University of Oxford Branding

OUCL

news

admissions

research

teaching

people

calendar

resources

vacancies

studentships

login

OXFORD UNIVERSITY COMPUTING LABORATORY

Alphabetical List of Courses - 2009-2010

Advanced Data Structures and Algorithms
Approximation Theory [C]
Automata, Logic and Games
Bioinformatics and Computational Biology
C++ for Scientific Computing [C]
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]
Database Systems Implementation
Databases
Design and Analysis of Algorithms
Digital Hardware
Discrete Mathematics
Finite Element Methods for Partial Differential Equations
Formal Program Design
Foundations of Computer Science
Functional Programming
Game Semantics
Geometric Modelling
Imperative Programming I
Imperative Programming II
Information Retrieval
Integer Programming
Intelligent Systems I
Intelligent Systems II
Introduction to Specification
Lambda Calculus and Types
Linear Algebra
Logic and Proof
Logic of Multi-agent Information Flow
Machine Learning
Models of Computation
Networks and Operating Systems
Numerical Analysis
Numerical Linear Algebra
Numerical Solution of Differential Equations I
Numerical Solution of Differential Equations II
Object Oriented Programming
Principles of Programming Languages
Probabilistic Model Checking
Program Analysis
Quantum Computer Science
Requirements
Software Verification
Theory of Data and Knowledge Bases
Random Image
Random Image
Random Image