Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Petri-Netz 4 Treffer
- Nebenläufigkeit 3 Treffer
- Berechnungskomplexität 2 Treffer
- Parallelverarbeitung 2 Treffer
- Abstrakter Datentyp 1 Treffer
-
36 weitere Werte:
- Algorithmische Geometrie 1 Treffer
- Automat (Automatentheorie) 1 Treffer
- Baum (Mathematik) 1 Treffer
- Bilderkennung 1 Treffer
- Bildverstehen 1 Treffer
- CCS 1 Treffer
- Decodierung 1 Treffer
- Dialogverarbeitung 1 Treffer
- Fehlerkorrekturcode 1 Treffer
- Halbordnung 1 Treffer
- Hierarchisches System 1 Treffer
- Kürzester-Weg-Problem 1 Treffer
- Leistungsbewertung 1 Treffer
- Liste (Informatik) 1 Treffer
- Markov-Kette 1 Treffer
- Maschinelles Lernen 1 Treffer
- NP-vollständiges Problem 1 Treffer
- Neuronales Netz 1 Treffer
- P-vollständiges Problem 1 Treffer
- Programmierung 1 Treffer
- Prozessalgebra 1 Treffer
- Public-Key-Kryptosystem 1 Treffer
- Randomisierter Algorithmus 1 Treffer
- Randomisierung 1 Treffer
- Spurtheorie 1 Treffer
- Stochastisches System 1 Treffer
- TCSP 1 Treffer
- Teilauswertung 1 Treffer
- Transitionssystem 1 Treffer
- Verifikation 1 Treffer
- Verklemmung (Informatik) 1 Treffer
- Verteilter Algorithmus 1 Treffer
- Verteiltes System 1 Treffer
- Verzweigendes Programm 1 Treffer
- Visuelles System 1 Treffer
- Zustandsraum 1 Treffer
Form
Person
- Behnke, Sven 1 Treffer
- Cacutalua, Ndombe 1 Treffer
- Diekert, Volker (1955-) 1 Treffer
- Godefroid, Patrice 1 Treffer
- Greenfield, Jonathan S. 1 Treffer
-
11 weitere Werte:
- Guruswami, Venkatesan 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Kloks, Ton 1 Treffer
- Lisper, Björn 1 Treffer
- Meinel, Christoph (1954-) 1 Treffer
- Ramalingam, Ganesan (1966-) 1 Treffer
- Schmidt, Heinz W. 1 Treffer
- Taubner, Dirk 1 Treffer
- Teillaud, Monique 1 Treffer
- Van Melkebeek, Dieter 1 Treffer
- Vogler, Walter 1 Treffer
16 Treffer
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1989Monographie, 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, 2002Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Monographie, Hochschulschrift, Gedruckte RessourceZugriff: