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-4 von 4 (Suchzeit: 0.054 Sekunden).
Zurück
1
Weiter
Treffer Dokumente:
Erscheinungsdatum
Titel
Autor(en)
2003
Computational and logical aspects of infinite monoids
Lohrey, Markus
2004
The AnT project : on the simulation and analysis of dynamical systems
Schanz, Michael
2002
Gegenseitige Simulation von Datenstrukturen
Petersen, Holger
2004
Analysis and verification of systems with dynamically evolving structure
König, Barbara
Facetten
Autor
1
König, Barbara
1
Lohrey, Markus
1
Petersen, Holger
1
Schanz, Michael
Institut
3
Institut für Formale Methoden der...
1
Institut für Parallele und Vertei...
Erscheinungsdatum
2
2004
1
2003
1
2002