Theses, Dept. of Computer Science : [69] Collection home page

When downloading papers please observe the normal copyright codes and conventions for their use.

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 69
 next >
First PublishedTitleAuthor(s)Type
25-Aug-2016Collaborative annotation, search and categorisationHong, YiThesis
1-Jul-2016Activation Network ProblemsAlqahtani, Hasna Mohsen H.Thesis
6-Jun-2016Generalised distributivity and the logic of metric spacesBabus, Octavian VladutThesis
24-May-2016Descriptions of Groups using Formal Language TheoryRino Nesin, Gabriela AsliThesis
11-May-2016Digital Educational Games: Methodologies for Evaluating the Impact of Game TypeHeintz, Stephanie AlexandraThesis
11-May-2016Data Collection in Wireless Sensor NetworksRasul, Aram MohammedThesis
27-Apr-2016Development of Design Heuristics for Digital Educational Games for School Children of 7 to 11 Years OldKhanana, KornchuleeThesis
1-Oct-2015Efficient Embedded Software Migration towards Clusterized Distributed-Memory ArchitecturesGaribotti, Rafael; Butko, Anastasiia; Ost, Luciano; Gamatie, Abdoulaye; Sassatelli, Gilles; Adeniyi-Jones, ChrisJournal Article
1-Apr-2012Finitary Logics for Coalgebras with BranchingKissig, ChristianThesis
17-Dec-2015Integrating user knowledge into design pattern detectionAlshira'H, Mohammad H.Thesis
1972Optimal control of two distributed parameter systems.Williams, V (Vaughan)-
1967Markov processes in adaptive control.Longley, D.-
1994The structure of binary molten salt mixtures: A neutron diffraction study.Badyal, Yaspal Singh.Thesis
1992Genetic variation in the response of mice to xenobiotics, in vitro.Arranz, Maria J.Thesis
6-Nov-2015Fast Data Processing in Hyper-Scale SystemsTilly, MarcelThesis
1-Oct-2015HybridLF: a system for reasoning in higher-order abstract syntaxFurniss, Amy ElizabethThesis
1-Jul-2015A Calculus of Mobility and Communication for Ubiquitous ComputingGul, NosheenThesis
30-Jun-2015Groups, formal language theory and decidabilityJones, Sam Anthony MarkThesis
1-Jan-2015Nominal Lambda CalculusNebel, FrankThesis
1-Jan-2015CMMI-CM compliance checking of formal BPMN models using MaudeEl-Saber, Nissreen A. S.Thesis
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 69
 next >