Informatik: Neueste Zugänge
-
DissertationSymbolic Representation of Dynamic Knowledge for Robotic Teams (2020-11)
-
Technischer ReportModel-driven Development of Microservice Architecture: An Experiment on the Quality in Use of a UML- and a DSL-based Approach (2020-04-15)
-
DissertationAnalyzing Given Names (2020)
-
DissertationExtremal Fixpoints for Higher-Order Modal Logic (2018-10)
-
DissertationMOCCAA - MObile Cloud Computing AdaptAble (2019-08)
-
DissertationHybrid Branching-Time Logics (2019)
-
DissertationBuffered Simulation for Büchi Automata (2019)
-
DissertationDas NetworkParser-Framework (2019-03-10)
-
DissertationSocial Network Mining for Analysis of Social Phenomena (2019)
-
DissertationTowards Effective Natural Language Application Development (2019)
-
DissertationImplizite Positionierung unter Nutzung des Smartphone-Kompasses (2019)
-
DissertationUnderstanding Factors Influencing the Performance of a Wi-Fi Fingerprinting System (2019)
-
DissertationPlanning of Autonomous and Mobile Robots in Dynamic Environments (2018-11)
-
DissertationDiscovering Knowledge in Bipartite Graphs with Formal Concept Analysis (2019)
-
DissertationFehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung (2018-09-10)
-
DissertationOrdered Restarting Automata (epubli, 2018-07-10)
-
DissertationVerknüpfung von Domänenwissen für ein Ontologie-basiertes IT-Management (2018-05-14)
-
DissertationDynamische Konfiguration verteilter Informationsverarbeitung in Gruppen heterogener Agenten (2018-03-22)