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 349 (Search time: 0.019 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Frenzel Mihaela - 2022 - Analysis design and prototypical implementation of an...pdf.jpgFrenzel, Mihaela Analysis, design and prototypical implementation of an early recognition of strokes in serious gamesThesis Hochschulschrift 2022
2Schwayer Matthias - 2020 - Towards a visual design and development environment...pdf.jpgSchwayer, Matthias Towards a visual design and development environment for the peer modelThesis Hochschulschrift 2020
3Schwaiger Rene - 2020 - Parsing of configuration files.pdf.jpgSchwaiger, René Parsing of configuration filesThesis Hochschulschrift 2020
4Cejka Stephan - 2019 - Enabling scalable collaboration by introducing...pdf.jpgCejka, Stephan Enabling scalable collaboration by introducing platform-independent communication for the Peer ModelThesis Hochschulschrift 2019
5Ymeri Ardit - 2019 - Automated generation of analytic calculi for involutive...pdf.jpgYmeri, Ardit Automated generation of analytic calculi for involutive logicsThesis Hochschulschrift 2019
6Okulmus Cem - 2018 - Implementierung und Vergleich von...pdf.jpgOkulmus, Cem Implementierung und Vergleich von Quantoren-FuzzifikationsmechanismenThesis Hochschulschrift 2018
7Lettmayer Matthias - 2018 - A Public resource computing application based on the...pdf.jpgLettmayer, Matthias A Public resource computing application based on the secure peer modelThesis Hochschulschrift 2018
8Rohner Andreas - 2018 - State-of-the-Art garbage collection policies for NILFS2.pdf.jpgRohner, Andreas State-of-the-Art garbage collection policies for NILFS2Thesis Hochschulschrift 2018
9Ghete Mihai Calin - 2018 - Extending bison with attribute grammars.pdf.jpgGhete, Mihai Calin Extending bison with attribute grammarsThesis Hochschulschrift 2018
10Oliveira da Costa Ana Alexandra - 2018 - Raetselhafte Ignoranz ein Rundgang...pdf.jpgOliveira da Costa, Ana Alexandra Rätselhafte Ignoranz : ein Rundgang durch epistemische Logik : a modal epistemic tourThesis Hochschulschrift 2018
11Fraller Benjamin - 2018 - Analyse von Lambda-Ausdruecken in Java.pdf.jpgFraller, Benjamin Analyse von Lambda-Ausdrücken in JavaThesis Hochschulschrift 2018
12Grill Andreas - 2018 - Pluggable design and implementation of the XVSM framework...pdf.jpgGrill, Andreas Pluggable design and implementation of the XVSM framework core for .NETThesis Hochschulschrift 2018
13Wurzinger Armin - 2018 - Developing a type system for a configuration...pdf.jpgWurzinger, Armin Developing a type system for a configuration specification languageThesis Hochschulschrift 2018
14Swoboda Sylvia - 2017 - Making Object-Z Perfect Verifaktion von Object-Z...pdf.jpgSwoboda, Sylvia Making Object-Z Perfect : Verifaktion von Object-Z Spezifikationen unter Verwendung von Perfect DeveloperThesis Hochschulschrift 2017
15Binder Johann - 2017 - Evaluating process modeling capabilities of the XVSM...pdf.jpgBinder, Johann Evaluating process modeling capabilities of the XVSM micro-room frameworkThesis Hochschulschrift 2017
16Raab Markus - 2017 - Context-aware configuration.pdf.jpgRaab, Markus Context-aware configurationThesis Hochschulschrift 2017
17Tillian Peter - 2017 - Mobile peer model a mobile peer-to-peer communication and...pdf.jpgTillian, Peter Mobile peer model : a mobile peer-to-peer communication and coordination framework - with focus on mobile design constraintsThesis Hochschulschrift 2017
18Barisits Martin-Stefan - 2017 - Hybrid simulation models for data-intensive...pdf.jpgBarisits, Martin-Stefan Hybrid simulation models for data-intensive systemsThesis Hochschulschrift 2017
19Steyrer, Bernhard Konzeption und Entwicklung einer prototypischen Software-Applikation zur Unterstützung der Qualitätssicherung von patientenbezogener Strahlenbelastung bei digitalen RöntgenaufnahmenThesis Hochschulschrift2017
20Steiner Konrad - 2017 - Smart food sharing across smart cities concepts...pdf.jpgSteiner, Konrad Smart food sharing across smart cities: concepts, processes and infrastructureThesis Hochschulschrift 2017