TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.

Kast, Werner ; Klan, H. ; Otten, (2000):
Dynamic plant simulator for HVAC systems.
In: Clima 2000 <1997, Brüssel>: Kongressbericht, [Conference or Workshop Item]

Bibel, Wolfgang ; Brüning, ; Otten, ; Rath, ; Schaub, Karlheinz (1998):
Compressions and extensions.
In: Automated deduction: a basis for applications. Hrsg.: W. Bibel (u.a.) S. 238-245, Dordrecht: Kluwer Acad. Publ., 1998, Dordrecht, Kluwer Acad. Publ, [Book Section]

Kast, Werner ; Klan, H. ; Otten, (1998):
Dynamischer Anlagensimulator für Heiz- und RLT-Anlagen.
In: Gesundheits-Ingenieur. 119 (1998), H. 5, S. 270/272, [Article]

Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998):
A multi-level approach to program synthesis.
In: International Workshop on Logic Program Synthesis and Transformation <7, 1998, Louvain>: Proceedings. Hrsg.: N. Fuchs. S. 1-27, 1463, Berlin (u.a.): Springer, 1998, Berlin (u.a.), Springer, [Conference or Workshop Item]

Fehl, Andreas ; Gerstner, ; Neidhardt, ; Otten, ; Tschudi, Theo ; Gerstner, ; Neidhardt, ; Otten, ; Tschudi, Theo (1996):
Laser-Tomographie zur Temperaturmessung in Flammen.
In: Thema Forschung. 2 (1996), S. 33-36, [Article]

This list was generated on Tue Aug 16 01:42:15 2022 CEST.