TY - BOOK A1 - Engeln-Müllges, Gisela A1 - Uhlig, Frank T1 - Numeric Algorithms with Fortran Y1 - 1996 SN - 3-540-60529-0 PB - Springer CY - Berlin [u.a.] ER - TY - BOOK A1 - Engeln-Müllges, Gisela A1 - Uhlig, Frank T1 - Numerical algorithms with C Y1 - 1996 SN - 3-540-60530-0 PB - Springer CY - Berlin [u.a.] ER - 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 - 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 -