Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Petri-Netz 9 Treffer
- Verteiltes System 4 Treffer
- Verifikation 3 Treffer
- Prozessalgebra 2 Treffer
- Algebraische Spezifikation 1 Treffer
-
20 weitere Werte:
- Asynchrones Schaltwerk 1 Treffer
- Eingebettetes System 1 Treffer
- Entfaltung (Mathematik) 1 Treffer
- Entwurfsautomation 1 Treffer
- Formale Methode 1 Treffer
- Halbgeordnete Menge 1 Treffer
- Halbordnung 1 Treffer
- Koordination 1 Treffer
- Leistungsbewertung 1 Treffer
- Noordwijkerhout 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Programmiersprache 1 Treffer
- Spezifikation 1 Treffer
- Spurtheorie 1 Treffer
- Systemanalyse 1 Treffer
- Systementwurf 1 Treffer
- Temporale Logik 1 Treffer
- Unendlichdimensionales System 1 Treffer
- Verklemmung (Informatik) 1 Treffer
- Zustandsraum 1 Treffer
Sprache
Form
Person
- Agha, Gul 1 Treffer
- Arbab, Farhad (1952-) 1 Treffer
- Baeten, Josephus C. M. 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Best, Eike 1 Treffer
-
13 weitere Werte:
- Bradfield, Julian Charles 1 Treffer
- Cacutalua, Ndombe 1 Treffer
- Cortadella, Jordi 1 Treffer
- Desel, Jörg (1959-) 1 Treffer
- Donatelli, Susanna (1960-) 1 Treffer
- Fernández, César 1 Treffer
- Godefroid, Patrice 1 Treffer
- Janicki, Ryszard 1 Treffer
- Lauer, Peter E. 1 Treffer
- Olderog, Ernst-Rüdiger (1955-) 1 Treffer
- Ponse, Alban 1 Treffer
- Strack, Veronika 1 Treffer
- Vogler, Walter 1 Treffer
16 Treffer
-
Berlin [u.a.]: Springer, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
On Deadlocks in concurrent systems: a Petri net based approach for Deadlock prediction and avoidanceMünchen [u.a.]: Oldenbourg, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1991Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: