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  - BOOK
A1  - Ferrein, Alexander
A1  - Pauli, J.
A1  - Siebel, N. T.
A1  - Steinbauer, Gerald
T1  - Hybrid control for autonomous systems : [... 1st Workshop on Hybrid Control of Autonomous Systems - Integrating Learning, Deliberation and Reactive Control with the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), held in Pasadena, CA, in July 2009] / ed. by Alexander Ferrein ...
Y1  - 2009
ER  - 
TY  - BOOK
A1  - Hüning, Felix
T1  - The fundamentals of electrical engineering for mechatronics
Y1  - 2014
SN  - 978-3-11-034991-7 (Druckausg.)
SN  - 978-3-11-030840-2 (E-Book)
PB  - de Gruyter
CY  - Berlin
ER  - 
TY  - BOOK
A1  - Klinkel, Sven
A1  - Butenweg, Christoph
A1  - Lin, Gao
A1  - Holtschoppen, Britta
T1  - Seismic design of industrial facilities : Proceedings of the International Conference on Seismic Design of Industrial Facilities (SeDIF) /  Sven Klinkel, Christoph Butenweg, Gao Lin, Britta Holtschoppen Editors
Y1  - 2014
SN  - 978-3-658-02809-1 (Print) ; 978-365-80281-0-7 (E-Book)
U6  - https://doi.org/10.1007/978-3-658-02810-7
PB  - Springer Vieweg
CY  - Wiesbaden
ER  - 
TY  - BOOK
A1  - Benkö, Marietta
A1  - Plescher, Engelbert
T1  - Space law: reconsidering the definition/delimitation question and the passage of spacecraft through foreign airspace. (Essential air and space law ; 12)
Y1  - 2013
SN  - 9789462360761 ; 9462360766  ; 9789460948176
PB  - Eleven International Publishing
CY  - The Hague
ER  - 
TY  - BOOK
A1  - Gebhardt, Andreas
A1  - Hötter, Jan-Steffen
T1  - Additive manufacturing : 3D printing for prototyping and manufacturing
Y1  - 2016
SN  - 978-1-56990-582-1 ; 978-1-56990-583-8
PB  - Hanser Publishers
CY  - Munich
ER  - 
TY  - BOOK
A1  - Hüning, Felix
T1  - Embedded Design For IoT With Renesas Synergy
Y1  - 2018
N1  - gedruckt in der Bereichsbibliothek Eupener Str. vorhanden; 
Document No. R01PF0164ED0100
PB  - Renesas Electronics
CY  - Düsseldorf
ER  -