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 119 bis 138 von 202
< zurück
nächste
Erscheinungsdatum
Titel
Autor(en)
2005
Model checking hierarchical structures
Lohrey, Markus
2018
Multi-criteria bicycle routing
Barth, Florian
2012
Multimodale Bereichsanfragen im Kontext von Routenplanern
Bahrdt, Daniel
2020
Natürlichsprachliche Anfragen an OSCAR
Kopf, Benjamin
2014
Neue Bedienkonzepte für mobile Routenplaner
Bahle, Stefanie
2011
Normalformenberechnung in Graph-Gruppen und Coxeter-Gruppen
Kausch, Jonathan
2004
A note on on-the-fly verification algorithms
Schwoon, Stefan
;
Esparza, Javier
2019
Offline navigation for pedestrians on Android devices
Zinnatov, Maksym
2014
Offline-Reiseplaner für Bahnverbindungen
Schäfer, Patrik
2014
Offline-Speicherung und Darstellung von Geodaten auf Mobilgeräten
Krumpe, Filip
2023
On hierarchical search and preference-based routing in transportation networks
Proissl, Claudius
2009
On smoothed analysis of quicksort and hoare's find
Fouz, Mahmoud
;
Kufleitner, Manfred
;
Manthey, Bodo
;
Zeini Jahromi, Nima
2020
On the average case of MergeInsertion
Stober, Florian
;
Weiß, Armin
2015
On the complexity of conjugacy in amalgamated products and HNN extensions
Weiß, Armin
2010
On the iterated hairpin completion
Kopecki, Steffen
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