Search

Now showing items 1-10 of 167

Dissertation publishedVersion Implizite Positionierung unter Nutzung des Smartphone-Kompasses

Kroll, Dennis (2019)

Dissertation publishedVersion Buffered Simulation for Büchi Automata

Hutagalung, Milka (2019)

Dissertation publishedVersion Planning of Autonomous and Mobile Robots in Dynamic Environments

Neuber, Daniel (2018-11)

Dissertation publishedVersion Towards Effective Natural Language Application Development

Schreiber, Marc (2019)

Dissertation publishedVersion Extremal Fixpoints for Higher-Order Modal Logic

Bruse, Florian (2018-10)

Dissertation publishedVersion Social Network Mining for Analysis of Social Phenomena

Kibanov, Mark (2019)

Preprint submittedVersion An Overview of Modeling Concepts for Service-Based Software Architectures

Rademacher, Florian (2020)

Dissertation publishedVersion Hybrid Branching-Time Logics

Kernberger, Daniel (2019)

Dissertation publishedVersion Fehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung

Bungart, Marco (2018-09-10)

Dissertation publishedVersion MOCCAA - MObile Cloud Computing AdaptAble

Baraki, Harun (2019-08)

1
2
3
4
. . .
17