Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Nebenläufigkeit 8 Treffer
- Verteiltes System 2 Treffer
- Abstrakter Datentyp 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Automat (Automatentheorie) 1 Treffer
-
17 weitere Werte:
- CCS 1 Treffer
- Eingebettetes System 1 Treffer
- Entwurfsautomation 1 Treffer
- Formale Methode 1 Treffer
- Halbgeordnete Menge 1 Treffer
- Leistungsbewertung 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Parallelverarbeitung 1 Treffer
- Petri, Carl A. (1926-2010) 1 Treffer
- Programmierung 1 Treffer
- Prozessalgebra 1 Treffer
- Spurtheorie 1 Treffer
- Systementwurf 1 Treffer
- TCSP 1 Treffer
- Verifikation 1 Treffer
- Verklemmung (Informatik) 1 Treffer
- Verteilter Algorithmus 1 Treffer
Form
Person
- Cortadella, Jordi 2 Treffer
- Desel, Jörg (1959-) 2 Treffer
- Donatelli, Susanna (1960-) 2 Treffer
- Aalst, Wil van der (1966-) 1 Treffer
- Agha, Gul 1 Treffer
-
19 weitere Werte:
- Ajmone Marsan, Marco (1951-) 1 Treffer
- Azéma, Pierre 1 Treffer
- Best, Eike 1 Treffer
- Billington, Jonathan 1 Treffer
- Cacutalua, Ndombe 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
- Jensen, Kurt 1 Treffer
- Nielsen, Mogens 1 Treffer
- Olderog, Ernst-Rüdiger (1955-) 1 Treffer
- Reisig, Wolfgang (1950-) 1 Treffer
- Schmidt, Heinz W. 1 Treffer
- Taubner, Dirk 1 Treffer
- Valette, Robert 1 Treffer
- Vogler, Walter 1 Treffer
- Voss, Klaus 1 Treffer
27 Treffer
-
Berlin [u.a.]: Springer, 1988Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1991Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin ; Heidelberg [u.a.]: Springer, 1991Aufsatzsammlung, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Festschrift, Bibliografie, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: