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

PreviewAuthor(s)TitleTypeIssue Date
21Raab Markus - 2017 - Context-aware configuration.pdf.jpgRaab, Markus Context-aware configurationThesis Hochschulschrift 2017
22Steiner Konrad - 2017 - Smart food sharing across smart cities concepts...pdf.jpgSteiner, Konrad Smart food sharing across smart cities: concepts, processes and infrastructureThesis Hochschulschrift 2017
23Swoboda 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
24Koltraka Ardian - 2017 - Reasoning capabilities for a cognitive-assistive...pdf.jpgKoltraka, Ardian Reasoning capabilities for a cognitive-assistive assembly systemThesis Hochschulschrift 2017
25Schurr Hans Joerg - 2017 - Preprocessing in higher-order reasoning learning from...pdf.jpgSchurr, Hans Jörg Preprocessing in higher-order reasoning : learning from QBF solvingThesis Hochschulschrift 2017
26Schoba Joerg - 2017 - Mobile peer model a mobile peer-to-peer communication and...pdf.jpgSchoba, Jörg Mobile peer model : a mobile peer-to-peer communication and coordination framework - with focus on scalability and securityThesis Hochschulschrift 2017
27Tillian 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
28Riener Martin - 2017 - Applications of higher-order cut-elimination.pdf.jpgRiener, Martin Applications of higher-order cut-eliminationThesis Hochschulschrift 2017
29Kucera Gernot - 2017 - Programmanalyse und Verifikation von SPS-Programmen.pdf.jpgKucera, Gernot Programmanalyse und Verifikation von SPS-ProgrammenThesis Hochschulschrift 2017
30Wöss, Christoph Sicherheit, Usability und Vertrauen: Der Raum der Nutzerpräferenzen und Entscheidungskriterien bei der Auswahl von mobilen Messaging-AppsThesis Hochschulschrift2016
31Condoluci, Andrea CERES in aussagenlogischen BeweisschemataThesis Hochschulschrift2016
32Blumberger, Stefan Entwurf eines Infrarot-3D-Scannersystems zur dreidimensionalen bildgebenden DiagnostikThesis Hochschulschrift2016
33Jungwirth, Florian Design-Empfehlungen für die sichere Übermittlung von Nachrichten auf mobilen PlattformenThesis Hochschulschrift2016
34Holasek, Georg Reliable and delay-bounded data transmission in industrial and safety-critical applicationsThesis Hochschulschrift2016
35Pona Nika - 2016 - Schnittelimination in funktionaler Logik hoeherer Stufe.pdf.jpgPona, Nika Schnittelimination in funktionaler Logik höherer StufeThesis Hochschulschrift 2016
36Drenjanac Domagoj - 2016 - Space-based task allocation in robotic fleets with...pdf.jpgDrenjanac, Domagoj Space-based task allocation in robotic fleets with adaptive autonomyThesis Hochschulschrift 2016
37Dissauer Gerald - 2016 - Formal ontology-based quantum security requirements...pdf.jpgDissauer, Gerald Formal ontology-based quantum security requirements engineering by Petri netsThesis Hochschulschrift 2016
38Scherer Markus - 2016 - Parallelizing the commutation property for functions...pdf.jpgScherer, Markus Parallelizing the commutation property for functions over small domainsThesis Hochschulschrift 2016
39Mertl Manuel - 2016 - Comparision and evaluation of JavaScript preprocessing...pdf.jpgMertl, Manuel Comparision and evaluation of JavaScript preprocessing languagesThesis Hochschulschrift 2016
40Schmitt Manuel - 2016 - Evaluierung von Open-Source-Loesungen zur Umsetzung...pdf.jpgSchmitt, Manuel Evaluierung von Open-Source-Lösungen zur Umsetzung eines Softwaresystems für eine elektronische RegistrierkasseThesis Hochschulschrift 2016