- Sprache
-
Deutsch
- Umfang
-
IX, 136 S.
- Anmerkungen
-
Zugl.: Erlangen, Nürnberg, Univ., Diss.
- Identifier
-
972379878
- Reihe
-
Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen Nürnberg; Bd. 37, Nr. 1
- Thema
-
Hochschulschrift
- Beteiligte Personen und Organisationen
-
Meyer-Kayser, Joachim
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:26 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Meyer-Kayser, Joachim
Ähnliche Objekte (12)
Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Analyse stochastischer Systeme : nichtlineare dynam. Systeme
Qualitative Theorie nichtlinearer stochastischer Systeme
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
Simulation stochastischer Systeme : eine anwendungsorientierte Einführung
Ein integraler stochastischer Ansatz zur automatischen Bestimmung von Personentrajektorien aus Luftbildsequenzen
Zur Stabilität dynamischer Systeme mit stochastischer Anregung
Steuerung stochastischer Systeme : : ein Vergleich von Strategien
Zum Einfluß stochastischer Anregungen auf mechanische Systeme
Steuerung stochastischer Prozesse
Leistungsmessung stochastischer Dienstleistungsproduktionen
Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Analyse stochastischer Systeme : nichtlineare dynam. Systeme
Qualitative Theorie nichtlinearer stochastischer Systeme
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
Simulation stochastischer Systeme : eine anwendungsorientierte Einführung
Ein integraler stochastischer Ansatz zur automatischen Bestimmung von Personentrajektorien aus Luftbildsequenzen
Zur Stabilität dynamischer Systeme mit stochastischer Anregung
Steuerung stochastischer Systeme : : ein Vergleich von Strategien
Zum Einfluß stochastischer Anregungen auf mechanische Systeme
Steuerung stochastischer Prozesse
Leistungsmessung stochastischer Dienstleistungsproduktionen
Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Analyse stochastischer Systeme : nichtlineare dynam. Systeme
Qualitative Theorie nichtlinearer stochastischer Systeme
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
Simulation stochastischer Systeme : eine anwendungsorientierte Einführung
Ein integraler stochastischer Ansatz zur automatischen Bestimmung von Personentrajektorien aus Luftbildsequenzen
Zur Stabilität dynamischer Systeme mit stochastischer Anregung
Steuerung stochastischer Systeme : : ein Vergleich von Strategien
Zum Einfluß stochastischer Anregungen auf mechanische Systeme
Steuerung stochastischer Prozesse