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 123 bis 142 von 200
< zurück
nächste
Erscheinungsdatum
Titel
Autor(en)
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
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