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
01 Fakultät Architektur und Stadtplanung
02 Fakultät Bau- und Umweltingenieurwissenschaften
03 Fakultät Chemie
04 Fakultät Energie-, Verfahrens- und Biotechnik
05 Fakultät Informatik, Elektrotechnik und Informationstechnik
06 Fakultät Luft- und Raumfahrttechnik und Geodäsie
07 Fakultät Konstruktions-, Produktions- und Fahrzeugtechnik
08 Fakultät Mathematik und Physik
09 Philosophisch-historische Fakultät
10 Fakultät Wirtschafts- und Sozialwissenschaften
11 Interfakultäre Einrichtungen
12 Sonderforschungs- und Transferbereiche
13 Zentrale Universitätseinrichtungen
14 Externe wissenschaftliche Einrichtungen
15 Fakultätsübergreifend / Sonstige Einrichtung
16 Akademie für Technikfolgenabschätzung in Baden-Württemberg
Deep Green
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
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 190 (Suchzeit: 0.007 Sekunden).
Zurück
1
2
3
4
...
19
Weiter
Treffer Dokumente:
Erscheinungsdatum
Titel
Autor(en)
2004
Complexity results for checking distributed implementability
Heljanko, Keijo
;
Stefanescu, Alin
2005
Inverse monoids : decidability and complexity of algebraic questions
Lohrey, Markus
;
Ondrusch, Nicole
2006
The expressive power of simple logical fragments over traces
Horsch, Martin
;
Kufleitner, Manfred
2005
The design and implementation of a presentation system for interactive 3D graphics applications
Stegmaier, Simon
;
Klein, Thomas
;
Strengert, Magnus
;
Ertl, Thomas
2005
Fixpoint logics on hierarchical structures
Göller, Stefan
;
Lohrey, Markus
2005
First order and counting theories of omega-automatic structures
Kuske, Dietrich
;
Lohrey, Markus
2004
Deriving bisimulation congruences in the DPO approach to graph rewriting. Long version
Ehrig, Hartmut
;
König, Barbara
2005
Reachability analysis of multithreaded software with asynchronous communication
Bouajjani, Ahmed
;
Esparza, Javier
;
Schwoon, Stefan
;
Strejcek, Jan
2005
Realizing enterprise integration patterns in WebSphere
Scheibler, Thorsten
;
Leymann, Frank
2006
5. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze"
-
Facetten
Autor
13
Fuchs, Gerhard
10
Rothermel, Kurt
10
Urban, Dieter
9
Renn, Ortwin
7
Mayerl, Jochen
6
Leymann, Frank
6
Lohrey, Markus
5
Ballschmiter, Karlheinz
5
Kufleitner, Manfred
5
Zwick, Michael M.
.
weiter>
Erscheinungsdatum
12
2009
8
2008
9
2007
13
2006
12
2005
10
2004
20
2003
32
2002
36
2001
38
2000
.
weiter>