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 1 bis 20 von 202
nächste
Erscheinungsdatum
Titel
Autor(en)
1997
7-bit meta-transliterations for 8-bit romanizations
Lagally, Klaus
2015
Abdeckung von Verschnittresten unter Konnektivitätsbedingungen
Hildinger, Markus
1997
Abschlußbericht der Projektgruppe Evolutionäre Algorithmen
Großmann, Matthias
;
Leonhardi, Alexander
;
Schmidt, Thomas
2006
Abstraction refinement with craig interpolation and symbolic pushdown systems
Esparza, Javier
;
Kiefer, Stefan
;
Schwoon, Stefan
2013
Algebraische Charakterisierungen von positiver Quantorenalternierung bei Zwei-Variablen-Logik
Fleischer, Lukas
2013
Eine algebraische Konstruktion für den Kleene-Stern regulärer Sprachen
Bühler, Andreas
2018
Algorithm engineering in geometric network planning and data mining
Seybold, Martin P.
2014
Algorithmen zur Optimierung von geometrischen Packungsproblemen
Geringer, Sergej
2014
Algorithmen zur Optimierung von Packungsproblemen
Hildinger, Markus
2019
Algorithms and complexity results for finite semigroups
Fleischer, Lukas
2012
Algorithms for vehicle navigation
Storandt, Sabine
2012
Der Algorithmus von Howgrave-Graham und Joux zur Lösung von Rucksackproblemen
Ludwig, Michael
2005
Ambiguity functions of context-free grammars and languages
Wich, Klaus
2014
Analyse von Algorithmen zur Bahnverbindungssuche
Wang, Mingyuan
2022
Analyse von Pivotwahlstrategien bei Quicksort
Frech, Maximilian
2023
Analysing timing behavior of component-based software systems
Hilbig, Aaron
2004
Analysis and verification of systems with dynamically evolving structure
König, Barbara
2022
Android-Offline-Routenplaner mit Contraction Hierarchies
Hübl, Tobias
2020
Anwendung der Well-Separated Pair Decomposition auf Sichtbarkeitsgraphen
Owens, Niklas
1993
ArabTeX : a system for typesetting Arabic; user manual version 3.00
Lagally, Klaus