| COMP4001 |
Object-Oriented Software Developement |
| COMP4121 |
Advanced & Parallel Algorithms |
| COMP4141 |
Theory of Computation |
| COMP4161 |
Advanced Topics in Software Verification |
| COMP4211 |
Advanced Architectures and Algorithms |
| COMP4411 |
Experimental Robotics |
| COMP4415 |
First-order Logic |
| COMP4416 |
Intelligent Agents |
| COMP4418 |
Knowledge Representation and Reasoning |
| COMP4442 |
Advanced Computer Security |
| COMP4511 |
User Interface Design and Construction |
| COMP6721 |
(In-)Formal Methods: The Lost Art |
| COMP9008 |
Software Engineering |
| COMP9009 |
Advanced Topics in Software Engineering |
| COMP9018 |
Advanced Graphics |
| COMP9101 |
Design &Analysis of Algorithms |
| COMP9102 |
Programming Languages & Compilers |
| COMP9103 |
Algorithms and Computational Complexity |
| COMP9104 |
Quantum Information and Computation |
| COMP9116 |
Software Development: B-Meth & B-Toolkit |
| COMP9117 |
Architecture of Software Systems |
| COMP9151 |
Foundations of Concurrency |
| COMP9152 |
Comparative Concurrency Semantics |
| COMP9153 |
Algorithmic Verification |
|
| COMP9161 |
Concepts of Programming Languages |
|
| COMP9171 |
Object-Oriented Programming |
| COMP9181 |
Language-based Software Safety |
| COMP9201 |
Operating Systems |
| COMP9211 |
Computer Architecture |
| COMP9222 |
Digital Circuits and Systems |
| COMP9242 |
Advanced Operating Systems |
| COMP9243 |
Distributed Systems |
| COMP9245 |
Real-Time Systems |
| COMP9314 |
Next Generation Database Systsems |
| COMP9315 |
Database Systems Implementation |
| COMP9317 |
XML and Databases |
| COMP9318 |
Data Warehousing & Data Mining |
| COMP9321 |
Web Applications Engineering |
| COMP9322 |
Service-Oriented Architectures |
| COMP9323 |
e-Enterprise Project |
| COMP9324 |
Mobile Enterprise Applications |
| COMP9331 |
Computer Networks & Applications |
| COMP9332 |
Network Routing and Switching |
| COMP9333 |
Advanced Computer Networks |
| COMP9334 |
Systems Capacity Planning |
| COMP9335 |
Wireless Mesh&Sensor Networks |
| COMP9336 |
MobileNet |
| COMP9415 |
Computer Graphics |
| COMP9416 |
Knowledge Based Systems |
| COMP9417 |
Machine Learning & Data Mining |
| COMP9431 |
Robotic Software Architecture |
| COMP9441 |
Cryptography and Distributed Systems Security |
| COMP9444 |
Neural Networks |
| COMP9447 |
Security Engineering Workshop |
| COMP9517 |
Computer Vision |
| COMP9519 |
Multimedia Systems |
