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 187 bis 198 von 198
< zurück
Erscheinungsdatum
Titel
Autor(en)
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