Institut für Computersprachen

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


Results 1-20 of 182 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1XVSM tutorial and application scenarios.pdf.jpgWittmann, Michael XVSM tutorial and application scenariosThesis Hochschulschrift2008
2Visualization of quality of life on a digital urban map.pdf.jpgBenkö, Peter Visualization of quality of life on a digital urban mapThesis Hochschulschrift2014
3Visual control of acoustic speech synthesis.pdf.jpgHollenstein, Jakob Johannes Visual control of acoustic speech synthesisThesis Hochschulschrift2013
4Using mobile technology for monitoring behavior of self-injurious patients requirements and concept system design.pdf.jpgLederer, Nadja Using mobile technology for monitoring behavior of self-injurious patients: requirements and concept system designThesis Hochschulschrift2013
5Unification in higher-order resolution.pdf.jpgLíbal, TomerUnification in higher-order resolutionThesis Hochschulschrift2012
6Type analysis in a Java Virtual Machine.pdf.jpgOates, Carolyn Type analysis in a Java Virtual MachineThesis Hochschulschrift2008
7Transformational approaches for conditional term rewrite systems.pdf.jpgGmeiner, Karl Transformational approaches for conditional term rewrite systemsThesis Hochschulschrift2014
8Towards a Visual Design and Development Environment for the Peer Model.pdf.jpgSchwayer, Matthias Towards a Visual Design and Development Environment for the Peer ModelThesis Hochschulschrift2020
9Towards a toolchain for asynchronous embedded programming based on the peer-model.pdf.jpgHamböck, Thomas Towards a toolchain for asynchronous embedded programming based on the peer-modelThesis Hochschulschrift2015
10Tools for the investigation of sustructural intermediate and paraconsistent logics.pdf.jpgSpendier, Lara Katharina Tools for the investigation of sustructural, intermediate and paraconsistent logicsThesis Hochschulschrift2015
11Systematic proof theory for non-classical logics advances and implementation.pdf.jpgSpendier, Lara KatharinaSystematic proof theory for non-classical logics; advances and implementationThesis Hochschulschrift2011
12Symbolic methods for the timing analysis of programs.pdf.jpgZwirchmayr, Jakob Symbolic methods for the timing analysis of programsThesis Hochschulschrift2013
13Supernova - a multiprocessor aware real-time audio synthesis engine for SuperCollider.pdf.jpgBlechmann, Tim Supernova - a multiprocessor aware real-time audio synthesis engine for SuperColliderThesis Hochschulschrift2011
14Structural analysis of cut-elimination.pdf.jpgWolfsteiner, Simon Peter Structural analysis of cut-eliminationThesis Hochschulschrift2015
15State-of-the-Art garbage collection policies for NILFS.pdf.jpgRohner, Andreas State-of-the-Art garbage collection policies for NILFS2Thesis Hochschulschrift2018
16Standard completeness proof-theoretic and algebraic methods.pdf.jpgBaldi, Paolo Standard completeness; proof-theoretic and algebraic methodsThesis Hochschulschrift2015
17SSA-based code generation techniques for embedded architectures.pdf.jpgEbner, Dietmar SSA-based code generation techniques for embedded architecturesThesis Hochschulschrift2009
18Space-based task allocation in robotic fleets with adaptive autonomy.pdf.jpgDrenjanac, Domagoj Space-based task allocation in robotic fleets with adaptive autonomyThesis Hochschulschrift2016
19Space  congruence compression of proofs.pdf.jpgFellner, Andreas Space & congruence compression of proofsThesis Hochschulschrift2014
20Software Pipelining in a C-Compiler.pdf.jpgHuber, Benedikt Lukas Software Pipelining in a C-CompilerThesis Hochschulschrift2008