- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
50 S.
- Language
-
Deutsch
- Notes
-
Ill.
Literaturverz. S. 47 - 50
- Bibliographic citation
-
Arbeitspapiere der GMD / Gesellschaft für Mathematik und Datenverarbeitung ; 889
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
2025-06-11T13:34:18+0200
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
- Nitsche, Ulrich
- GMD
Time of origin
- 1994
Other Objects (12)
Towards a temporal logic for true concurrency, Part 1.. Linear time propositional logic
A temporal non-linear planner TRIPTIC
Praxisbericht einer Systemeinführung aus Sicht von Managern, Betroffenen und Entwicklern, [...]. Der Fall A
SNAPAD system, Version 2.0.
Grundlagen der VLSI-Technik, 1
Seminar Programmierumgebungen, Bd. 2
Entwurf integrierter Schaltungen, 3.. Im Wissenschaftszentrum Bonn, 13. - 14. Oktober 1987
Entwurf integrierter Schaltungen, 4.. Im Wissenschaftszentrum Bonn, 21./22. Februar 1989
History of artificial intelligence, Pt. 2.. Achievements
Rechnerarchitekturen für die numerische Simulation auf der Basis superschneller Lösungsverfahren, 2
Mathematik für MTA, [...]. Urteilende Statistik
SNAPAD system, Version 1.1.
Towards a temporal logic for true concurrency, Part 1.. Linear time propositional logic
A temporal non-linear planner TRIPTIC
Praxisbericht einer Systemeinführung aus Sicht von Managern, Betroffenen und Entwicklern, [...]. Der Fall A
SNAPAD system, Version 2.0.
Grundlagen der VLSI-Technik, 1
Seminar Programmierumgebungen, Bd. 2
Entwurf integrierter Schaltungen, 3.. Im Wissenschaftszentrum Bonn, 13. - 14. Oktober 1987
Entwurf integrierter Schaltungen, 4.. Im Wissenschaftszentrum Bonn, 21./22. Februar 1989
History of artificial intelligence, Pt. 2.. Achievements
Rechnerarchitekturen für die numerische Simulation auf der Basis superschneller Lösungsverfahren, 2
Mathematik für MTA, [...]. Urteilende Statistik
SNAPAD system, Version 1.1.
Towards a temporal logic for true concurrency, Part 1.. Linear time propositional logic
A temporal non-linear planner TRIPTIC
Praxisbericht einer Systemeinführung aus Sicht von Managern, Betroffenen und Entwicklern, [...]. Der Fall A
SNAPAD system, Version 2.0.
Grundlagen der VLSI-Technik, 1
Seminar Programmierumgebungen, Bd. 2
Entwurf integrierter Schaltungen, 3.. Im Wissenschaftszentrum Bonn, 13. - 14. Oktober 1987
Entwurf integrierter Schaltungen, 4.. Im Wissenschaftszentrum Bonn, 21./22. Februar 1989
History of artificial intelligence, Pt. 2.. Achievements
Rechnerarchitekturen für die numerische Simulation auf der Basis superschneller Lösungsverfahren, 2
Mathematik für MTA, [...]. Urteilende Statistik