Blättern nach Person
Ebene hoch |
Deutsch
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
Englisch
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, Auflage: Dordrecht: Kluwer Acad. Publ., 1998
Buchkapitel, Bibliographie