Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Nebenläufigkeit 9 Treffer
- Verteiltes System 3 Treffer
- Entwurfsautomation 2 Treffer
- Parallelverarbeitung 2 Treffer
- Systementwurf 2 Treffer
-
22 weitere Werte:
- Abstrakter Datentyp 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Automat (Automatentheorie) 1 Treffer
- CCS 1 Treffer
- Deontische Logik 1 Treffer
- Digitales System 1 Treffer
- Eingebettetes System 1 Treffer
- Entfaltung (Mathematik) 1 Treffer
- Ereignis 1 Treffer
- Formale Methode 1 Treffer
- Gesteuertes Netz 1 Treffer
- Halbgeordnete Menge 1 Treffer
- Leistungsbewertung 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Petri, Carl A. (1926-2010) 1 Treffer
- Programmierung 1 Treffer
- Prozessalgebra 1 Treffer
- Spurtheorie 1 Treffer
- TCSP 1 Treffer
- Verifikation 1 Treffer
- Verklemmung (Informatik) 1 Treffer
- Verteilter Algorithmus 1 Treffer
Sprache
Form
Person
- Brauer, Wilfried 2 Treffer
- Cortadella, Jordi 2 Treffer
- Desel, Jörg (1959-) 2 Treffer
- Donatelli, Susanna (1960-) 2 Treffer
- Aalst, Wil van der (1966-) 1 Treffer
-
24 weitere Werte:
- Agha, Gul 1 Treffer
- Ajmone Marsan, Marco (1951-) 1 Treffer
- Azéma, Pierre 1 Treffer
- Best, Eike 1 Treffer
- Billington, Jonathan 1 Treffer
- Cacutalua, Ndombe 1 Treffer
- Camposano, Raúl 1 Treffer
- Ciardo, Gianfranco 1 Treffer
- De Michelis, Giorgio 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Esparza, Javier (1964-) 1 Treffer
- Fernández, César 1 Treffer
- Goltz, Ursula 1 Treffer
- Jensen, Kurt 1 Treffer
- Linz, Reinhard 1 Treffer
- Nielsen, Mogens 1 Treffer
- Olderog, Ernst-Rüdiger (1955-) 1 Treffer
- Reisig, Wolfgang (1950-) 1 Treffer
- Schmidt, Heinz W. 1 Treffer
- Strack, Veronika 1 Treffer
- Taubner, Dirk 1 Treffer
- Valette, Robert 1 Treffer
- Vogler, Walter 1 Treffer
- Voss, Klaus 1 Treffer
37 Treffer
-
Berlin [u.a.]: Springer, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Festschrift, Bibliografie, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1987Aufsatzsammlung, Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1991Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 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:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1992Aufsatzsammlung, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: