@book{Terstegge1997, author = {Terstegge, Andreas}, title = {Entwicklung eines hochaufl{\"o}senden Positronen-Emissions-Tomographen mit kleinem Meßvolumen : Datenakquisition und Rekonstruktion}, address = {Aachen}, pages = {VI, 138 S. : Ill.. graph. Darst.}, year = {1997}, language = {de} } @book{Naujokat2008, author = {Naujokat, Anke}, title = {Ad instar iherosolimitani sepulchri : Gestalt und Bedeutung des Florentiner Heiliggrabtempietto von L. B. Alberti / vorgelegt von Anke Naujokat}, year = {2008}, language = {de} } @book{Funke2001, author = {Funke, Harald}, title = {Analyse der Temperatur- und Str{\"o}mungsungleichf{\"o}rmigkeiten in mehrstufigen Turbinen / Harald Funke}, publisher = {Mainz}, address = {Aachen}, isbn = {3-89653-400-9}, pages = {VI, 135 S. : Ill., graph. Darst.}, year = {2001}, language = {de} } @book{Fassbender1995, author = {Faßbender, Heinz}, title = {E-Unifikation f{\"u}r primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.}, publisher = {Shaker}, address = {Aachen}, isbn = {3-8265-0917-X}, pages = {IX, 272 S. : graph. Darst.}, year = {1995}, language = {de} } @book{FassbenderVoglerWedel1994, author = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea}, title = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {62 S.}, year = {1994}, language = {en} } @book{FassbenderVogler1992, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification driven leftmost outermost narrowing}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {47 S. : graph. Darst.}, year = {1992}, language = {en} } @book{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions}, publisher = {TU, Fak. Informatik}, address = {Dresden}, pages = {27 S. : graph. Darst.}, year = {1996}, language = {en} } @book{JochimLademann2009, author = {Jochim, Haldor E. and Lademann, Frank}, title = {Planung von Bahnanlagen : Grundlagen - Planung - Berechnung ; mit 35 Tabellen und 21 Beispielen / Jochim, Haldor ; Lademann, Frank}, publisher = {Fachbuchverl. Leipzig im Carl-Hanser-Verl.}, address = {M{\"u}nchen}, isbn = {978-3-446-41345-0}, pages = {233 S. : Ill., graph. Darst.}, year = {2009}, language = {de} } @book{Fassbender1989, author = {Faßbender, Heinz}, title = {Implementierung der Call-by-Need Auswertungsstrategie f{\"u}r Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabeb{\"a}ndern}, address = {Aachen}, year = {1989}, language = {de} } @book{Hanrath1988, author = {Hanrath, Wilhelm}, title = {Irreduzible Darstellungen von Raumgruppen}, address = {Aachen}, pages = {250 S.}, year = {1988}, language = {de} }