Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Datenverarbeitungssystem 4 Treffer
- Mathematisches Modell 2 Treffer
- Warteschlangentheorie 2 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Automatentheorie 1 Treffer
-
19 weitere Werte:
- Dialogverarbeitung 1 Treffer
- Eingebettetes System 1 Treffer
- Entwurfsautomation 1 Treffer
- Formale Methode 1 Treffer
- Informationstechnik 1 Treffer
- Markov-Kette 1 Treffer
- Modellierung 1 Treffer
- Nebenläufigkeit 1 Treffer
- Petri-Netz 1 Treffer
- Prozessalgebra 1 Treffer
- Speicher (Informatik) 1 Treffer
- Stochastisches Modell 1 Treffer
- Stochastisches Petri-Netz 1 Treffer
- Stochastisches System 1 Treffer
- Systementwurf 1 Treffer
- Transitionssystem 1 Treffer
- Verifikation 1 Treffer
- Verteiltes System 1 Treffer
- Warteschlangennetz 1 Treffer
Sprache
Form
Person
9 Treffer
-
Berlin [u.a.]: Springer, 1982Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1987Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1995Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Prentice Hall, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin: Akad.-Verl, 1980Monographie, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Reidel, 1987Monographie, Gedruckte RessourceZugriff: