Skip navigation
Zur Startseite
Auflistung nach
Bereiche
& Sammlungen
Auflistung nach:
Erscheinungsdatum
Autor
Titel
Schriftenreihe
Institut
Hilfe
Über OPUS
Publizieren mit OPUS
Rechtliche Informationen
Suchen & Browsen
Anmelden:
Mein OPUS
Abonnement
Neuerscheinungen
Benutzerprofil bearbeiten
Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Deutsch
English
OPUS
Auflistung nach Institut Institut für Formale Methoden der Informatik
Gehe zu:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
oder geben Sie die Anfangszeichen ein:
Sortiert nach:
Titel
Erscheinungsdatum
Einreichdatum
Sortiert nach:
Aufsteigend
Absteigend
Treffer/Seite
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autoren/Einträge:
Alle
1
5
10
15
20
25
30
35
40
45
50
Anzeige der Treffer 134 bis 153 von 202
< zurück
nächste
Erscheinungsdatum
Titel
Autor(en)
2020
On the number of Delaunay Triangles occurring in all contiguous subsequences
Weitbrecht, Felix
2013
Onboard-Routenplanung auf dem Smartphone
Bühler, Stefan
2021
OpenStreetMap risk maps
Lindemann, Patrick
2024
Optimal routing in public transportation networks using PHAST
Bruns, David
2023
Optimierte Platzierung von Ladevorrichtungen für E-Fahrzeuge
Waldschmidt, Helmut
2014
Optimierung von Schulstundenplänen
Keck, Philipp
2022
Optimized multi-agent resource extraction
Kubica, Manuel
2019
Das Ordnungsproblem für Automatengruppen und verwandte Fragestellungen
Bühler, Andreas
2017
Organisation schwach strukturierter Textdokumente
Kopf, Benjamin
2020
OSCAR: a textual and spatial exploratory search engine for OpenStreetMap data
Bahrdt, Daniel
2022
OSM Scotland Yard
Wagner, Jimmy
2022
OSM ticket to ride
Friedsam, Wenzel
2016
OSM-Navigationssystem für Android Watch
Lukenich, Denis
2021
Over-the-web retrieval and visualization of massive trajectory sets
Baur, Lukas
2017
The parallel complexity of certain algorithmic problems in group theory
Kausch, Jonathan
2010
Partially ordered two-way Büchi automata
Kufleitner, Manfred
;
Lauser, Alexander
2021
Performance measurements for personalizable route planning for uncorrelated edge costs
Bühler, Felix
2022
Personalisierbarer Android-Offline-Routenplaner
Ratnamaheson, Niven
2022
Personalized route planning : on finding your way in theory and practice
Ihle, Florian Benjamin
2019
Points of Interest - Eine Suche nach adäquaten Kartenbeschriftungen
Baur, Lukas