- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
III, 80 Bl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. Bl. 74 - 80
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
PU 1, Techn. Hochsch.
- (wann)
-
1981
- Urheber
- 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:46 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.
Beteiligte
- Lutze, Rainer
- PU 1, Techn. Hochsch.
Entstanden
- 1981
Ähnliche Objekte (12)
User Interaction in Deductive Interactive Program Verification
Interactive program and proof development with NurPRL
Statement in regard to Space Frame Construction
ORTEP-G : an interactive FORTRAN program for crystal structure illustrations
Logical theory of program construction : 07.03. - 11.03.94
Experience incomplete
![[5.] [incomplete]](https://iiif.deutsche-digitale-bibliothek.de/image/2/915e3e37-6ba3-4ac5-920f-175144393a39/full/!306,450/0/default.jpg)
[5.] [incomplete]
Simulation of water based thermal solar systems : EURSOL ; an interactive program
Interactive Construction of Semantic Widgets for Visualizing Semantic Web Data
Interactive project planning in construction based on virtual reality technology
Mathematics of program construction : 5th international conference ; proceedings
Mathematics of program construction : 4th international conference ; proceedings
User Interaction in Deductive Interactive Program Verification
Interactive program and proof development with NurPRL
Statement in regard to Space Frame Construction
ORTEP-G : an interactive FORTRAN program for crystal structure illustrations
Logical theory of program construction : 07.03. - 11.03.94
Experience incomplete
[5.] [incomplete]
Simulation of water based thermal solar systems : EURSOL ; an interactive program
Interactive Construction of Semantic Widgets for Visualizing Semantic Web Data
Interactive project planning in construction based on virtual reality technology
Mathematics of program construction : 5th international conference ; proceedings
Mathematics of program construction : 4th international conference ; proceedings
User Interaction in Deductive Interactive Program Verification
Interactive program and proof development with NurPRL
Statement in regard to Space Frame Construction
ORTEP-G : an interactive FORTRAN program for crystal structure illustrations
Logical theory of program construction : 07.03. - 11.03.94
Experience incomplete
[5.] [incomplete]
Simulation of water based thermal solar systems : EURSOL ; an interactive program
Interactive Construction of Semantic Widgets for Visualizing Semantic Web Data
Interactive project planning in construction based on virtual reality technology
Mathematics of program construction : 5th international conference ; proceedings