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
Suche
Suche:
Gesamter Bestand
Universität Stuttgart
05 Fakultät Informatik, Elektrotechnik und Informationstechnik
nach
Aktuelle Facetten:
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Neue Suche starten
Facetten hinzufügen:
Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Treffer 1-10 von 83 (Suchzeit: 0.011 Sekunden).
Zurück
1
2
3
4
...
9
Weiter
Treffer Dokumente:
Erscheinungsdatum
Titel
Autor(en)
2011
Temporal logic for properties with relative frequency
Decker, Normann
2014
Algorithmen zur Optimierung von geometrischen Packungsproblemen
Geringer, Sergej
2014
Optimierung von Schulstundenplänen
Keck, Philipp
2010
First-order fragments with successor over infinite words
Kallas, Jakub
;
Kufleitner, Manfred
;
Lauser, Alexander
2011
Über die Billaudsche Vermutung
Walter, Tobias
2011
Eine Variante der Burrows-Wheeler Transformation mit Permutationen
Riegger, Philipp M.
2015
Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern
Göggelmann, Manuel
2014
Neue Bedienkonzepte für mobile Routenplaner
Bahle, Stefanie
2014
Externe komprimierte Graphdarstellungen
Bagg, Tobias
2014
Gewisse Eigenschaften deterministischer Automaten und ihre Komplexität
Rathgeber, Moritz
Facetten
Autor
5
Lauser, Alexander
4
Kufleitner, Manfred
3
Kopecki, Steffen
3
Scholz, Martin
3
Steinhart, David
2
Bagg, Tobias
2
Bahrdt, Daniel
2
Fleischer, Lukas
2
Hartmann, Frederik
2
Hildinger, Markus
.
weiter>
Dokumentart
25
Abschlussarbeit (Bachelor)
20
Abschlussarbeit (Diplom)
12
Abschlussarbeit (Master)
9
Dissertation
9
Studienarbeit
8
Arbeitspapier
Institut
1
Institut für Maschinelle Sprachve...
Erscheinungsdatum
2
2017
10
2016
10
2015
14
2014
15
2013
16
2012
8
2011
8
2010