TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 4.

Kast, Werner ; Klan, H. ; Otten, (2000)
Dynamic plant simulator for HVAC systems.
Konferenzveröffentlichung, Bibliographie

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, Auflage: Dordrecht: Kluwer Acad. Publ., 1998
Buchkapitel, Bibliographie

Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998)
A multi-level approach to program synthesis.
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

Diese Liste wurde am Tue Mar 19 03:11:09 2024 CET generiert.