Next:
Introduction
Up:
Computer Science Tripos Syllabus
Previous:
Semantics of Programming Languages
Contents
Part II of the Computer Science Tripos
Subsections
Introduction
Michaelmas Term 2002: Part II lectures
Additional Topics
Advanced Graphics
Artificial Intelligence II
Computer Systems Modelling
Denotational Semantics
Digital Communication II
Human-Computer Interaction
Project Briefing II
Specification and Verification I
Types
VLSI Design
Lent Term 2003: Part II lectures
Additional Topics continued
Advanced Systems Topics
Comparative Architectures
Information Retrieval
Information Theory and Coding
Natural Language Processing
Numerical Analysis II
Optimising Compilers
Security
Topics in Concurrency
Easter Term 2003: Part II lectures
Business Studies
Database Theory
Distributed Systems
E-Commerce
Specification and Verification II
Christine Northeast
Wed Sep 4 14:43:05 BST 2002
