Computer Graphics II: Modelling and Rendering BM History of Computation JVT Functional Programming II JAS High Performance Microprocessors AMG Scientific Modelling and Simulation MFW Designing Algorithms FM Foundations of Artificial Intelligence PWG Internet Computing NAH Algebraic Specification for Software and Hardware MR Programming with Abstract Data Types UB Concepts of Programming Languages PM High Integrity Systems CJW Logic and Semantics AB Cryptography and IT Security AMG Interactive Theorem Proving AGS Artificial Intelligence Applications JAS Building Reliable Web Applications NAH Numerical Algorithms and Computation MFW Mobile Interaction Design MJ