Hochschulschrift
Properties, transformations and global events in concurrent systems : = (Eigenschaften, Transformationen und globale Ereignisse in nebenläufigen Systemen)
- Weitere Titel
-
(Eigenschaften, Transformationen und globale Ereignisse in nebenläufigen Systemen)
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783930714070
3930714078
- Maße
-
21 cm
- Umfang
-
114 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Saarbrücken, Univ., Diss., 1994
- Schlagwort
-
Nebenläufigkeit
Korrektheit
Transitionssystem
Fairness
Spezifikation
Temporale Logik
Verteiltes System
Ereignismodell
Spezifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken-Dudweiler
- (wer)
-
Pirrot
- (wann)
-
1994
- Urheber
-
Zhou, Shengzong
- 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:49 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
- Zhou, Shengzong
- Pirrot
Entstanden
- 1994
Ähnliche Objekte (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