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

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

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 62
 next >
First PublishedTitleAuthor(s)Type
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
2008Management concerns in service-driven applicationsAlghamdi, Ahmed MusferThesis
2006Flexibo : language and its application to static analysisZhou, JianguoThesis
2006Automatic presentations of groups and semigroupsOliver, GrahamThesis
2006Optimization problems in communication networksMihalak, MatusThesis
2003Categories of containersAbbott, Michael GordonThesis
2005Formal languages and the irreducible word problem in groupsFonseca, AnaThesis
2000Alternative approaches to optophonic mappingsCapp, Michael.Thesis
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 62
 next >