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 81-100 of 349 (Search time: 0.014 seconds).

PreviewAuthor(s)TitleTypeIssue Date
81Lolic Anela - 2015 - Herbrand Sequente und die skolemisierungs-freie CERES...pdf.jpgLolić, Anela Herbrand Sequente und die skolemisierungs-freie CERES MethodeThesis Hochschulschrift 2015
82Eizinger Benjamin - 2015 - On the impact of classical program optimization on...pdf.jpgEizinger, Benjamin On the impact of classical program optimization on the WCET-behaviourThesis Hochschulschrift 2015
83Grabher, Simon Erarbeitung eines Vorgehensmodells zur organischen Evolution von IT-StartupsThesis Hochschulschrift2014
84Binder, Dennis Matthias Analyse, Design und prototypische Entwicklung eines Serious Games zur Motivationssteigerung und Erhöhung der körperlichen AktivitätThesis Hochschulschrift2014
85Schamberger, Rainer Konzepte, Rahmen-Architektur und Organisationsszenarien für die mobile Operation von geldwertigen TransaktionenThesis Hochschulschrift2014
86Lachner, Clemens Michael Analyse der Navigation und Steuerung von 3D-Bewegungen via Brain-Computer-InterfaceThesis Hochschulschrift2014
87Ratzinger, Manuel Evaluierung und Optimierung eines Studiensystems zur objektiven Bewertung von Hautrötungen im Umfeld klinischer Studien am Beispiel einer Medikamentenstudie im Bereich der BrustkrebstherapieThesis Hochschulschrift2014
88El Kebir, Sana Analysis and framework for the civil register of an emergent north-african countryThesis Hochschulschrift2014
89Falbesoner Sebastian - 2014 - Implementing a global register allocator for TCC.pdf.jpgFalbesoner, Sebastian Implementing a global register allocator for TCCThesis Hochschulschrift 2014
90Fellner Andreas - 2014 - Space congruence compression of proofs.pdf.jpgFellner, Andreas Space & congruence compression of proofsThesis Hochschulschrift 2014
91Roschger Christoph - 2014 - Analyzing fuzzy and contextual approaches to...pdf.jpgRoschger, Christoph Analyzing fuzzy and contextual approaches to vagueness by semantic gamesThesis Hochschulschrift 2014
92Grandits Philipp - 2014 - Active objects revisited a concurrency library for...pdf.jpgGrandits, Philipp Active objects revisited : a concurrency library for Java based on an object-oriented approach to parallelismThesis Hochschulschrift 2014
93Rauch Dominik - 2014 - PeerSpaceNET implementing and evaluating the Peer Model...pdf.jpgRauch, Dominik PeerSpace.NET : implementing and evaluating the Peer Model with focus on API usabilityThesis Hochschulschrift 2014
94Kragl Bernhard - 2014 - Reasoning in first-order theories with extensionality.pdf.jpgKragl, Bernhard Reasoning in first-order theories with extensionalityThesis Hochschulschrift 2014
95Schermann Gerald - 2014 - Extending the Peer Model with composable design...pdf.jpgSchermann, Gerald Extending the Peer Model with composable design patternsThesis Hochschulschrift 2014
96Klausner Lukas - 2014 - Semantic XVSM design and implementation.pdf.jpgKlausner, Lukas Semantic XVSM : design and implementationThesis Hochschulschrift 2014
97Lezuo Roland - 2014 - Scalable translation validation tools techniques and...pdf.jpgLezuo, Roland Scalable translation validation : tools, techniques and frameworkThesis Hochschulschrift 2014
98Benkoe Peter - 2014 - Visualization of quality of life on a digital urban map.pdf.jpgBenkö, Peter Visualization of quality of life on a digital urban mapThesis Hochschulschrift 2014
99Gruber Fabian - 2014 - Invokedynamic for the CACAO JVM.pdf.jpgGruber, Fabian Invokedynamic for the CACAO JVMThesis Hochschulschrift 2014
100Machado Nogueira Reis Giselle - 2014 - Cut-elimination by resolution in...pdf.jpgMachado Nogueira Reis, Giselle Cut-elimination by resolution in intuitionistic logicThesis Hochschulschrift 2014