Hochschulschrift
Properties, transformations and global events in concurrent systems : = (Eigenschaften, Transformationen und globale Ereignisse in nebenläufigen Systemen)
- Alternative title
-
(Eigenschaften, Transformationen und globale Ereignisse in nebenläufigen Systemen)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783930714070
3930714078
- Dimensions
-
21 cm
- Extent
-
114 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Saarbrücken, Univ., Diss., 1994
- Keyword
-
Nebenläufigkeit
Korrektheit
Transitionssystem
Fairness
Spezifikation
Temporale Logik
Verteiltes System
Ereignismodell
Spezifikation
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken-Dudweiler
- (who)
-
Pirrot
- (when)
-
1994
- Creator
-
Zhou, Shengzong
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:49 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Zhou, Shengzong
- Pirrot
Time of origin
- 1994
Other Objects (12)
Optimal global instruction scheduling for the Itanium processor architecture
250 Jahre staatlicher Bergbau an der Saar, Teil 2.. Von den Mines Domaniales Françaises de la Sarre bis zur Deutschen Steinkohle AG
Abiturzeugnisse, Fachhochschulabschlüsse, Universitätsabschlüsse : Originalurkunden, Musterübersetzungen ; [englisch-deutsch, deutsch-englisch, französisch-deutsch, deutsch-französisch]
250 Jahre staatlicher Bergbau an der Saar, Teil 1.. Von den Anfängen bis zum Versailler Vertrag
Im Tong-sŏn moksa puhŭng sŏlgyo chip, 5.. Sarang ŭi yulpŏp = The law of love
Cache behavior prediction for real time systems
Establishment of a system to assess and monitor surface water quality in some parts of the Colombo City in Sri Lanka
Analyse deutscher und thailändischer Fachtexte und ihre Relevanz für das Fachübersetzen Thailändisch-Deutsch : eine exemplarische Untersuchung auf der Basis der textlinguistischen Parameter Kohärenz, Thema-Rhema-Struktur und Isotopie
Notarielle Urkunden : Originaldokumente, Musterübersetzungen ; [Englisch-Deutsch, Deutsch-Englisch, Französisch-Deutsch, Deutsch-Französisch]
Notarielle Urkunden : Originaldokumente, Musterübersetzungen ; [Spanisch-Deutsch, Deutsch-Spanisch ; Portugiesisch-Deutsch, Deutsch-Portugiesisch]
Herstellung, Charakterisierung und Sintern ionenbestrahlter B4C-, SiC-, TiC- und WC-Pulver
Determinants of factors influencing the stochastic development of income distributions
Optimal global instruction scheduling for the Itanium processor architecture
250 Jahre staatlicher Bergbau an der Saar, Teil 2.. Von den Mines Domaniales Françaises de la Sarre bis zur Deutschen Steinkohle AG
Abiturzeugnisse, Fachhochschulabschlüsse, Universitätsabschlüsse : Originalurkunden, Musterübersetzungen ; [englisch-deutsch, deutsch-englisch, französisch-deutsch, deutsch-französisch]
250 Jahre staatlicher Bergbau an der Saar, Teil 1.. Von den Anfängen bis zum Versailler Vertrag
Im Tong-sŏn moksa puhŭng sŏlgyo chip, 5.. Sarang ŭi yulpŏp = The law of love
Cache behavior prediction for real time systems
Establishment of a system to assess and monitor surface water quality in some parts of the Colombo City in Sri Lanka
Analyse deutscher und thailändischer Fachtexte und ihre Relevanz für das Fachübersetzen Thailändisch-Deutsch : eine exemplarische Untersuchung auf der Basis der textlinguistischen Parameter Kohärenz, Thema-Rhema-Struktur und Isotopie
Notarielle Urkunden : Originaldokumente, Musterübersetzungen ; [Englisch-Deutsch, Deutsch-Englisch, Französisch-Deutsch, Deutsch-Französisch]
Notarielle Urkunden : Originaldokumente, Musterübersetzungen ; [Spanisch-Deutsch, Deutsch-Spanisch ; Portugiesisch-Deutsch, Deutsch-Portugiesisch]
Herstellung, Charakterisierung und Sintern ionenbestrahlter B4C-, SiC-, TiC- und WC-Pulver
Determinants of factors influencing the stochastic development of income distributions
Optimal global instruction scheduling for the Itanium processor architecture
250 Jahre staatlicher Bergbau an der Saar, Teil 2.. Von den Mines Domaniales Françaises de la Sarre bis zur Deutschen Steinkohle AG
Abiturzeugnisse, Fachhochschulabschlüsse, Universitätsabschlüsse : Originalurkunden, Musterübersetzungen ; [englisch-deutsch, deutsch-englisch, französisch-deutsch, deutsch-französisch]
250 Jahre staatlicher Bergbau an der Saar, Teil 1.. Von den Anfängen bis zum Versailler Vertrag
Im Tong-sŏn moksa puhŭng sŏlgyo chip, 5.. Sarang ŭi yulpŏp = The law of love
Cache behavior prediction for real time systems
Establishment of a system to assess and monitor surface water quality in some parts of the Colombo City in Sri Lanka
Analyse deutscher und thailändischer Fachtexte und ihre Relevanz für das Fachübersetzen Thailändisch-Deutsch : eine exemplarische Untersuchung auf der Basis der textlinguistischen Parameter Kohärenz, Thema-Rhema-Struktur und Isotopie
Notarielle Urkunden : Originaldokumente, Musterübersetzungen ; [Englisch-Deutsch, Deutsch-Englisch, Französisch-Deutsch, Deutsch-Französisch]
Notarielle Urkunden : Originaldokumente, Musterübersetzungen ; [Spanisch-Deutsch, Deutsch-Spanisch ; Portugiesisch-Deutsch, Deutsch-Portugiesisch]
Herstellung, Charakterisierung und Sintern ionenbestrahlter B4C-, SiC-, TiC- und WC-Pulver