- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783884570869
3884570862
- Dimensions
-
30 cm
- Extent
-
172 S.
- Language
-
Deutsch
- Notes
-
zahlr. graph. Darst.
- Bibliographic citation
-
GMD-Studien / Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 90
- Event
-
Veröffentlichung
- (where)
-
St. Augustin
- (who)
-
Ges. für Mathematik u. Datenverarbeitung
- (when)
-
1984
- Creator
-
Toussaint, Isolde
- 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:37 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.
Associated
- Toussaint, Isolde
- Ges. für Mathematik u. Datenverarbeitung
Time of origin
- 1984
Other Objects (12)
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Methodisches Programmieren : Entwicklung von Algorithmen durch schrittweise Verfeinerung
Diagramm und Algorithmus
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
32: Verfeinerung
Verfeinerung der Kräfte
Schlichtheit und Verfeinerung
Von Verfeinerung des Nußöls.
Variationelle Verfeinerung zur Schätzung von Szenenfluss
Die Verfeinerung : ein Bericht
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Methodisches Programmieren : Entwicklung von Algorithmen durch schrittweise Verfeinerung
Diagramm und Algorithmus
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
32: Verfeinerung
Verfeinerung der Kräfte
Schlichtheit und Verfeinerung
Von Verfeinerung des Nußöls.
Variationelle Verfeinerung zur Schätzung von Szenenfluss
Die Verfeinerung : ein Bericht
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Methodisches Programmieren : Entwicklung von Algorithmen durch schrittweise Verfeinerung
Diagramm und Algorithmus
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
32: Verfeinerung
Verfeinerung der Kräfte
Schlichtheit und Verfeinerung
Von Verfeinerung des Nußöls.
Variationelle Verfeinerung zur Schätzung von Szenenfluss