TY - BOOK A1 - Lauth, Jakob A1 - Dingerdissen, Uwe A1 - Steuerle, Ulrich T1 - Cup catalyst and process for producing aziridines : [Internationale Pantentanmeldung WO9633018] ; Veröffentlichungsdatum: 1996-10-24 / Anmelder: BASF AG ; Dingerdissen, Uwe ; Lauth, Guenther ; Steuerle, Ulrich. Erfinder: Dingerdissen, Uwe ; Lauth, Guenther ; Steuerle, Ulrich Y1 - 1996 PB - [Weltorganisation für geistiges Eigentum] CY - [Genf] ER - TY - BOOK A1 - Kaminsky, Radoslav A1 - Kallweit, Stephan A1 - Weber, Hans-Joachim A1 - Simons, Antoine A1 - Verdonck, Pascal T1 - Stereo high speed PIV measurements behind two different artificial heart valves Y1 - 2006 N1 - International Symposium on Applications of Laser Techniques to Fluid Mechanics <13, 2006, Lisboa> ER - TY - BOOK A1 - Weber, Hans-Joachim A1 - Kaminsky, Radoslav A1 - Kallweit, Stephan A1 - Simons, Antoine T1 - PIV measurements with high temporal resolution behind artificial heart valves Y1 - 2005 N1 - International Symposium on Particle Image Velocimetry <6, 2005, Pasadena, Calif.> ER - TY - BOOK A1 - Janz, Norbert A1 - Goedhuys, Micheline A1 - Mohnen, Pierre T1 - Knowledge-based productivity in "low-tech" industries : evidence from firms in developing countries / Goedhuys, Micheline ; Janz, Norbert ; Mohnen, Pierre Y1 - 2008 N1 - Working paper series // United Nations University, UNU-MERIT ; 2008,007 PB - UNU-MERIT CY - Maastricht ER - TY - BOOK A1 - Janz, Norbert A1 - Goedhuys, Micheline A1 - Mohnen, Pierre T1 - What drives productivity in Tanzanian manufacturing firms: technology or institutions? / Goedhuys, Micheline ; Janz, Norbert ; Mohnen, Pierre Y1 - 2006 N1 - Working paper series // United Nations University, UNU-MERIT ; 2006,037 PB - UnU-MERIT CY - Maastricht 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 - 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 -