Institut für Computersprachen

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

Results 1-20 of 181 (Search time: 0.013 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Wittmann Michael - 2008 - XVSM tutorial and application scenarios.pdf.jpgWittmann, Michael XVSM tutorial and application scenariosThesis Hochschulschrift2008
2Benkoe 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 Hochschulschrift2014
3Hollenstein Jakob Johannes - 2013 - Visual control of acoustic speech synthesis.pdf.jpgHollenstein, Jakob Johannes Visual control of acoustic speech synthesisThesis Hochschulschrift2013
4Lederer Nadja - 2013 - Using mobile technology for monitoring behavior of...pdf.jpgLederer, Nadja Using mobile technology for monitoring behavior of self-injurious patients: requirements and concept system designThesis Hochschulschrift2013
5Libal Tomer - 2012 - Unification in higher-order resolution.pdf.jpgLíbal, TomerUnification in higher-order resolutionThesis Hochschulschrift2012
6Oates Carolyn - 2008 - Type analysis in a Java Virtual Machine.pdf.jpgOates, Carolyn Type analysis in a Java Virtual MachineThesis Hochschulschrift2008
7Gmeiner Karl - 2014 - Transformational approaches for conditional term rewrite...pdf.jpgGmeiner, Karl Transformational approaches for conditional term rewrite systemsThesis Hochschulschrift2014
8Schwayer Matthias - 2020 - Towards a Visual Design and Development Environment...pdf.jpgSchwayer, Matthias Towards a visual design and development environment for the peer modelThesis Hochschulschrift2020
9Hamboeck Thomas - 2015 - Towards a toolchain for asynchronous embedded...pdf.jpgHamböck, Thomas Towards a toolchain for asynchronous embedded programming based on the peer-modelThesis Hochschulschrift2015
10Spendier Lara Katharina - 2015 - Tools for the investigation of sustructural...pdf.jpgSpendier, Lara Katharina Tools for the investigation of sustructural, intermediate and paraconsistent logicsThesis Hochschulschrift2015
11Spendier Lara Katharina - 2011 - Systematic proof theory for non-classical...pdf.jpgSpendier, Lara KatharinaSystematic proof theory for non-classical logics : advances and implementationThesis Hochschulschrift2011
12Zwirchmayr Jakob - 2013 - Symbolic methods for the timing analysis of programs.pdf.jpgZwirchmayr, Jakob Symbolic methods for the timing analysis of programsThesis Hochschulschrift2013
13Blechmann Tim - 2011 - Supernova - a multiprocessor aware real-time audio...pdf.jpgBlechmann, Tim Supernova - a multiprocessor aware real-time audio synthesis engine for SuperColliderThesis Hochschulschrift2011
14Wolfsteiner Simon Peter - 2015 - Structural analysis of cut-elimination.pdf.jpgWolfsteiner, Simon Peter Structural analysis of cut-eliminationThesis Hochschulschrift2015
15Rohner Andreas - 2018 - State-of-the-Art garbage collection policies for NILFS2.pdf.jpgRohner, Andreas State-of-the-Art garbage collection policies for NILFS2Thesis Hochschulschrift2018
16Baldi Paolo - 2015 - Standard completeness proof-theoretic and algebraic methods.pdf.jpgBaldi, Paolo Standard completeness : proof-theoretic and algebraic methodsThesis Hochschulschrift2015
17Ebner Dietmar - 2009 - SSA-based code generation techniques for embedded...pdf.jpgEbner, Dietmar SSA-based code generation techniques for embedded architecturesThesis Hochschulschrift2009
18Drenjanac Domagoj - 2016 - Space-based task allocation in robotic fleets with...pdf.jpgDrenjanac, Domagoj Space-based task allocation in robotic fleets with adaptive autonomyThesis Hochschulschrift2016
19Fellner Andreas - 2014 - Space congruence compression of proofs.pdf.jpgFellner, Andreas Space & congruence compression of proofsThesis Hochschulschrift2014
20Huber Benedikt Lukas - 2008 - Software Pipelining in a C-Compiler.pdf.jpgHuber, Benedikt Lukas Software Pipelining in a C-CompilerThesis Hochschulschrift2008