Prerequisites:None
From time to time, the department presents lectures on special topics within Computer Science. This module will be used to present such special topics.
The main objective of this module is to introduce a selection of topics from artificial intelligence (AI), and to provide the student with the …
This module will introduce the student to netcentric systems by focusing on the development of systems for the web, mobile devices and the cloud.
Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …
