Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Petri-Netz 8 Treffer
- Nebenläufigkeit 5 Treffer
- Verteiltes System 4 Treffer
- Berechnungskomplexität 3 Treffer
- Parallelverarbeitung 3 Treffer
-
45 weitere Werte:
- Leistungsbewertung 2 Treffer
- Verifikation 2 Treffer
- Abstrakter Datentyp 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Automat (Automatentheorie) 1 Treffer
- Baum (Mathematik) 1 Treffer
- Bilderkennung 1 Treffer
- Bildverstehen 1 Treffer
- Bonferroni-Ungleichung 1 Treffer
- CCS 1 Treffer
- Datenverarbeitungssystem 1 Treffer
- Decodierung 1 Treffer
- Deontische Logik 1 Treffer
- Dialogverarbeitung 1 Treffer
- Digitales System 1 Treffer
- Echtzeitsystem 1 Treffer
- Entfaltung (Mathematik) 1 Treffer
- Entwurfsautomation 1 Treffer
- Ereignis 1 Treffer
- Fehlerkorrekturcode 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Fourier-Transformation 1 Treffer
- Gefärbtes Petri-Netz 1 Treffer
- Gesteuertes Netz 1 Treffer
- Halbordnung 1 Treffer
- Hierarchisches System 1 Treffer
- Inklusions-Exklusions-Prinzip 1 Treffer
- Kürzester-Weg-Problem 1 Treffer
- Liste (Informatik) 1 Treffer
- Logische Schaltung 1 Treffer
- Markov-Kette 1 Treffer
- Maschinelles Lernen 1 Treffer
- Modellierung 1 Treffer
- NP-vollständiges Problem 1 Treffer
- Neuronales Netz 1 Treffer
- Objektorientierung 1 Treffer
- Offenes Kommunikationssystem 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
Sprache
Form
Person
- Abdelaziz, Mohamed H. 1 Treffer
- Behnke, Sven 1 Treffer
- Beth, Thomas (1949-2005) 1 Treffer
- Bradfield, Julian Charles 1 Treffer
- Burg, Heribert (1963-) 1 Treffer
-
39 weitere Werte:
- Cacutalua, Ndombe 1 Treffer
- Camposano, Raúl 1 Treffer
- Chen, Jean M. 1 Treffer
- Dewitt, Henry K. 1 Treffer
- Diekert, Volker (1955-) 1 Treffer
- Dohmen, Klaus 1 Treffer
- Eckert, Klaus-Peter 1 Treffer
- Franco, Raphael A. 1 Treffer
- Fredlund, Lars-Åke 1 Treffer
- Ghanta, Subbarao 1 Treffer
- Godefroid, Patrice 1 Treffer
- Goltz, Ursula 1 Treffer
- Greenfield, Jonathan S. 1 Treffer
- Guruswami, Venkatesan 1 Treffer
- Hansson, Hans A. 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Herrera-Ball, Juan Antonio 1 Treffer
- Karchmer, Mauricio 1 Treffer
- Kloks, Ton 1 Treffer
- Kowalk, Wolfgang (1942-) 1 Treffer
- Lemmer, John F. 1 Treffer
- Linz, Reinhard 1 Treffer
- Lisper, Björn 1 Treffer
- Meinel, Christoph (1954-) 1 Treffer
- Plückebaum, Thomas 1 Treffer
- Portier, Frederick J. 1 Treffer
- Prinoth, Rainer 1 Treffer
- Ramalingam, Ganesan (1966-) 1 Treffer
- Ramchandani, Chander 1 Treffer
- Reibman, Andrew L. 1 Treffer
- Schmidt, Heinz W. 1 Treffer
- Slutz, Donald R. 1 Treffer
- Strack, Veronika 1 Treffer
- Taubner, Dirk 1 Treffer
- Tehranipour, Abolfazi 1 Treffer
- Teillaud, Monique 1 Treffer
- Van Melkebeek, Dieter 1 Treffer
- Vogler, Walter 1 Treffer
- Zhang, Yanjun 1 Treffer
43 Treffer
-
Berlin [u.a.]: Springer, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1982Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Objekt-orientierte Modellierung offener verteilter Systeme: eine mathematisch untermauerte PragmatikMünchen [u.a.]: Oldenbourg, 1994Monographie, Hochschulschrift, 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, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
1974Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Monographie, 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:
-
Berlin [u.a.]: Springer, 2002Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
1968Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff: