- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897221536
3897221535
- Maße
-
21 cm
- Umfang
-
IV, 212 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Freiburg, Breisgau, Univ., Diss., 1998
- Schlagwort
-
Modellierung
Transitionssystem
Abstraktionsebene
Modallogik
Temporale Logik
Formale Sprache
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Logos-Verl.
- (wann)
-
1998
- Urheber
-
May, Wolfgang
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:53 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
- Hochschulschrift
Beteiligte
- May, Wolfgang
- Logos-Verl.
Entstanden
- 1998
Ähnliche Objekte (12)
Reconstruction and modeling of static and dynamic light fields
Static and dynamic graph partitioning : a comparative study of existing algorithms
From static to dynamic couplings in consensus and synchronization among identical and non-identical systems
Integrated institutional water regimes : realisation in Greece
Integrated stochastic models for spontaneous speech recognition
Recognizing objects from dynamic visual experiences
An integrated formal task specification method for smart environments
A fault tolerant dynamic time triggered protocol
Modelling the dynamic interactions of rolling bearings
Modelling the dynamic interactions of rolling bearings
Adsorption, incineration processes for waste gas purification
Regularization of inverse problems for turning processes
Reconstruction and modeling of static and dynamic light fields
Static and dynamic graph partitioning : a comparative study of existing algorithms
From static to dynamic couplings in consensus and synchronization among identical and non-identical systems
Integrated institutional water regimes : realisation in Greece
Integrated stochastic models for spontaneous speech recognition
Recognizing objects from dynamic visual experiences
An integrated formal task specification method for smart environments
A fault tolerant dynamic time triggered protocol
Modelling the dynamic interactions of rolling bearings
Modelling the dynamic interactions of rolling bearings
Adsorption, incineration processes for waste gas purification
Regularization of inverse problems for turning processes
Reconstruction and modeling of static and dynamic light fields
Static and dynamic graph partitioning : a comparative study of existing algorithms
From static to dynamic couplings in consensus and synchronization among identical and non-identical systems
Integrated institutional water regimes : realisation in Greece
Integrated stochastic models for spontaneous speech recognition
Recognizing objects from dynamic visual experiences
An integrated formal task specification method for smart environments
A fault tolerant dynamic time triggered protocol
Modelling the dynamic interactions of rolling bearings
Modelling the dynamic interactions of rolling bearings
Adsorption, incineration processes for waste gas purification