- Sprache
-
Deutsch; Englisch
- Umfang
-
228 S.
- ISBN
-
978-3-540-55568-1
- Identifier
-
930085000
- Reihe
-
Informatik aktuell
- Thema
-
Verteiltes System ; Formale Spezifikationstechnik ; Aufsatzsammlung
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:51 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
Ähnliche Objekte (12)
Formale Beschreibungstechniken für verteilte Systeme
Formale Methoden für verteilte Systeme
Formale Fehlermodellierung für verteilte reaktive Systeme
Formale Grundlagen der Fehlertoleranz in verteilten Systemen
Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme
Informationsfusion für verteilte Systeme
Rechtemanagement in verteilten Systemen
Verteilte Zustandsschätzung nichtlinearer Systeme
Kommunikation in verteilten Systemen
Verteilte Zustandsschätzung nichtlinearer Systeme
Verteilte Systeme und Rechnernetze
Softwaretechnik für verteilte Systeme
Formale Beschreibungstechniken für verteilte Systeme
Formale Methoden für verteilte Systeme
Formale Fehlermodellierung für verteilte reaktive Systeme
Formale Grundlagen der Fehlertoleranz in verteilten Systemen
Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme
Informationsfusion für verteilte Systeme
Rechtemanagement in verteilten Systemen
Verteilte Zustandsschätzung nichtlinearer Systeme
Kommunikation in verteilten Systemen
Verteilte Zustandsschätzung nichtlinearer Systeme
Verteilte Systeme und Rechnernetze
Softwaretechnik für verteilte Systeme
Formale Beschreibungstechniken für verteilte Systeme
Formale Methoden für verteilte Systeme
Formale Fehlermodellierung für verteilte reaktive Systeme
Formale Grundlagen der Fehlertoleranz in verteilten Systemen
Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme
Informationsfusion für verteilte Systeme
Rechtemanagement in verteilten Systemen
Verteilte Zustandsschätzung nichtlinearer Systeme
Kommunikation in verteilten Systemen
Verteilte Zustandsschätzung nichtlinearer Systeme
Verteilte Systeme und Rechnernetze