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 26 (Suchzeit: 0.038 Sekunden).
Zurück
1
2
3
Weiter
Treffer Dokumente:
Erscheinungsdatum
Titel
Autor(en)
2011
Formal language theory of hairpin formations
Kopecki, Steffen
2015
On the complexity of conjugacy in amalgamated products and HNN extensions
Weiß, Armin
2014
Formal language theory of logic fragments
Lauser, Alexander
2013
Shortest path speed up techniques : lower bounds and applications
Eisner, Jochen
2010
Similarity search with set intersection as a distance measure
Hoffmann, Benjamin Sascha
2012
Algorithms for vehicle navigation
Storandt, Sabine
2012
Solving algorithmic problems in Baumslag-Solitar groups and their extensions using data compression
Laun, Jürn-Jochen
2006
Automatic synthesis of distributed transition systems
Stefanescu, Alin
2005
Ambiguity functions of context-free grammars and languages
Wich, Klaus
2006
Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations
Kufleitner, Manfred
Facetten
Autor
1
Krumpe, Filip
1
Kufleitner, Manfred
1
Laun, Jürn-Jochen
1
Lauser, Alexander
1
Mendel, Thomas
1
Ondrusch, Nicole
1
Proissl, Claudius
1
Rupp, Tobias
1
Schröter, Claus
1
Seybold, Martin P.
.
weiter>
Erscheinungsdatum
7
2020 - 2023
11
2010 - 2019
8
2000 - 2009