Institut für Computersprachen

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E185 - Institut für Computersprachen
 
Code Kennzahl
E185
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
 

OrgUnit's Publications


Results 161-180 of 349 (Search time: 0.015 seconds).

PreviewAuthor(s)TitleTypeIssue Date
161Eder Matthias - 2011 - Requirementsanalyse und Prototyp einer klinischen...pdf.jpgEder, Matthias Requirementsanalyse und Prototyp einer klinischen Plattform zur aktiven PatientenpartizipationThesis Hochschulschrift 2011
162Graczoll Sebastian - 2011 - Extending VMTL by a more flexible control and new...pdf.jpgGraczoll, Sebastian Extending VMTL by a more flexible control and new methodsThesis Hochschulschrift 2011
163Waellisch Diana - 2011 - Chaos und fraktale Analyse in der Medizin unter...pdf.jpgWällisch, Diana Chaos und fraktale Analyse in der Medizin unter Berücksichtigung der TumorpathologieThesis Hochschulschrift 2011
164Rainer-Harbach Marian - 2011 - Methods and tools for the formal verification of...pdf.jpgRainer-Harbach, Marian Methods and tools for the formal verification of software : an analysis and comparisonThesis Hochschulschrift 2011
165Blechmann Tim - 2011 - Supernova - a multiprocessor aware real-time audio...pdf.jpgBlechmann, Tim Supernova - a multiprocessor aware real-time audio synthesis engine for SuperColliderThesis Hochschulschrift 2011
166Khyo Guenter Anton - 2011 - Language support for Linux device driver programming.pdf.jpgKhyo, Günter Anton Language support for Linux device driver programmingThesis Hochschulschrift 2011
167Cavic Vesna - 2011 - Self-organization for load balancing and information...pdf.jpgČavić, Vesna Self-organization for load balancing and information retrieval based on shared coordination spacesThesis Hochschulschrift 2011
168Srndic Edin - 2011 - Education of emergency personnel for the adoption of an...pdf.jpgSrndic, Edin Education of emergency personnel for the adoption of an electronic triage tag frameworkThesis Hochschulschrift 2011
169Doenz Tobias - 2011 - Design and implementation of the next generation XVSM...pdf.jpgDönz, Tobias Design and implementation of the next generation XVSM framework : runtime, protocol and APIThesis Hochschulschrift 2011
170Starzinger Michael - 2011 - Exact garbage collection for the cacao virtual...pdf.jpgStarzinger, Michael Exact garbage collection for the cacao virtual machineThesis Hochschulschrift 2011
171Sabin Patrick - 2011 - Implementing a reversible debugger for Python.pdf.jpgSabin, Patrick Implementing a reversible debugger for PythonThesis Hochschulschrift 2011
172Seitz Georg - 2011 - Logics for coalitional games of imperfect information.pdf.jpgSeitz, Georg Logics for coalitional games of imperfect informationThesis Hochschulschrift 2011
173Spendier Lara Katharina - 2011 - Systematic proof theory for non-classical...pdf.jpgSpendier, Lara KatharinaSystematic proof theory for non-classical logics : advances and implementationThesis Hochschulschrift 2011
174Gelbmann Wolfgang - 2011 - Design and implementation of LinqSpace.pdf.jpgGelbmann, Wolfgang Design and implementation of LinqSpaceThesis Hochschulschrift 2011
175Brunthaler Stefan - 2011 - Purely interpretative optimizations.pdf.jpgBrunthaler, Stefan Purely interpretative optimizationsThesis Hochschulschrift 2011
176Krinninger Sebastian - 2011 - Combining supervaluation and fuzzy logic based...pdf.jpgKrinninger, Sebastian Combining supervaluation and fuzzy logic based theories of vaguenessThesis Hochschulschrift 2011
177Eggbauer Christian - 2011 - Methoden zur Integration eines Software Fehlerbogens...pdf.jpgEggbauer, Christian Methoden zur Integration eines Software Fehlerbogens in ein TesterteamThesis Hochschulschrift 2011
178Weller, Daniel CERES in higher-order logicThesis Hochschulschrift2010
179Kruse, Florian Heterogeneous SQL-database cluster via virtual shared memoryThesis Hochschulschrift2010
180Barisits, Martin-Stefan Design and implementation of the next generation XVSM framework : operations, coordination and transactionsThesis Hochschulschrift2010