TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a UU-Algorithm for primitive recursive tree functions
JF  - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)
Y1  - 1995
SN  - 3-540-60249-6
N1  - (Lecture notes in computer science ; 965)
SP  - 233
EP  - 242
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Gerhardt, Hans Joachim
T1  - Design methods of smoke and heat exhaust systems in construction works
JF  - V Mie̜dzynarodowa Konferencja Bezpieczeństwo Pożarowe Budowli, Warszawa-Miedzeszyn, 14 - 16 listopada 2005 r. = : Vth International Conference Fire Safety of Buildings / ITB ... [Ed. Mirosław Kosiorek]
Y1  - 2005
SN  - 83-7413-810-6
N1  - Mie&#796;dzynarodowa Konferencja Bezpiecze&#324;stwo Po&#380;arowe Budowli <5, 2005, Warszawa> ; International Conference Fire Safety of Buildings <5, 2005, Warszawa-Miedzeszyn>
SP  - 127
EP  - 140
PB  - ITB
CY  - Warszawa
ER  - 
TY  - JOUR
A1  - Gerhardt, Hans Joachim
A1  - Konrath, B.
A1  - Lieb, R.-D.
T1  - Das Drallrohr
JF  - HLH : Lüftung, Klima, Heizung, Sanitär, Gebäudetechnik. 56 (2005), H. 11
Y1  - 2005
SN  - 1436-5103
N1  - 2. ISSN: 0017-9906 ; 3. ISSN: 1434-422X ; Zeitschrift unter 13 Z 739 in der Bibliothek
SP  - 91
EP  - 95
ER  - 
TY  - JOUR
A1  - Gerhardt, Hans Joachim
A1  - Krüger, O.
T1  - Building shape influence on local wind loads
JF  - Proceedings of the 2nd European & African Conference on Wind Engineering : 2 EACWE, Palazzo Ducale, Genova, Italy, June 22-26, 1997 / ed. by Giovanni Solari. - Vol. 2
Y1  - 1997
SN  - 88-86281-19-6
N1  - European and African Conference on Wind Engineering <2, 1997, Genova> ; ISBN für beide Bände
PB  - Servizi Grafici Editoriali
CY  - Padova
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification driven leftmost outermost narrowing
Y1  - 1992
N1  - (Ulmer Informatik-Berichte ; 92,7)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions
Y1  - 1996
N1  - (Technische Berichte ; 96,21)
PB  - TU, Fak. Informatik
CY  - Dresden
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Gladtz, Katia
A1  - Vogler, Heiko
T1  - Compiler based implementation of syntax directed functional programming
Y1  - 1991
N1  - (Aachener Informatik-Berichte ; 91,10)
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A call-by-need implementation of syntax directed functional programming
Y1  - 1990
N1  - (Aachener Informatik-Berichte ; 90,22)
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  - 
TY  - JOUR
A1  - Bohn, Dieter
A1  - Funke, Harald
T1  - Experimental investigations into the nonuniform flow in a 4-stage turbine with special focus on the flow equalization in the first turbine stage
JF  - ASME TURBO EXPO, Proceedings of the ASME Turbo Expo, 2003
Y1  - 2003
SN  - 0-7918-3689-4
N1  - ASME TURBO EXPO 2003, Proceedings, Vol. 6: Turbomachinery, Pt. A, Atlanta, US, Jun 16-19, 2003
SP  - 281
EP  - 289
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Y1  - 1994
N1  - (Ulmer Informatik-Berichte ; 94,4)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  -