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 180 bis 198 von 198
< zurück
Erscheinungsdatum
Titel
Autor(en)
2015
Unified routing and map rendering
Schnelle, Niklas
2020
Das uniforme Wortproblem für Automatengruppen beschränkter Aktivität
Kotowsky, Maximilian
2012
Untersuchung der Struktur großer Straßennetzwerke
Hartmann, Frederik
2011
Untersuchung von Eindeutigen Büchi Automaten
Pflüger, Hermann
2011
Über die Billaudsche Vermutung
Walter, Tobias
2013
Übersicht und Evaluation am Markt erhältlicher Routenplaner auf Web- bzw. Android-Plattform
Heidenwag, Jarkko
;
Niethammer, Philipp
;
Sanwald, Tim
2013
Übersicht und Evalution am Markt erhältlicher Systeme zur graphischen Darstellung von Kartenmaterial
Scheurich, Jonas
;
Scholz, Martin
;
Steinhart, David
2011
Eine Variante der Burrows-Wheeler Transformation mit Permutationen
Riegger, Philipp M.
2012
Varianten des NTRU-Kryptosystems
Bächtle, Patrick
2013
Verbotsmuster bei deterministischen endlichen Automaten in der Trotter-Weil-Hierarchie
Rupp, Tobias
2023
Verbotsmuster für Logik mit zwei Variablen über endlichen und unendlichen Wörtern
Heindl, Amelie
2015
Vereinfachung von polygonalen Ebenenunterteilungen unter Topologieeinschränkungen
Wiebe, Maria
2013
Verkehrsabhängiges Routing basierend auf TMC-Nachrichten
Sanwald, Tim
2018
Verwaltung und Indizierung von Bewegungstrajektorien
Owens, Niklas
2019
Visualisierung großer Straßengraphen mittels Vulkan
Bektas, Sabri
1998
Workshop on Formal Languages, Automata and Petri Nets
-
2014
Das Wortproblem für Omega-Terme über Zweivariablenlogik
Wächter, Jan Philipp
1989
XPASCAL - eine Erweiterung der Sprache Pascal mit exakter Arithmetik
Lagally, Klaus
1998
Zwischenbericht der Projektgruppe Transportoptimierung
Fleischmann, Jörg
;
Hermes, Lars
;
Spribille, Tobias
;
Wagner, Frank