TY - BOOK A1 - Mayer, Claudia T1 - Zwischen Traum und Trauma - die Nation : transatlantische Perspektiven zur Geschichte eines Problems / Claudia Mayer-Iswandy (Hrsg.) Y1 - 1994 SN - 3-86057-132-X N1 - Stauffenburg-Colloquium ; 32 PB - Stauffenburg-Verl. CY - Tübingen ER - TY - BOOK A1 - Mayer, Claudia A1 - Grass, Günter A1 - Neuhaus, Volker [Hrsg.] T1 - Der Butt / Günter Grass. Hrsg. von Claudia Mayer Y1 - 1987 SN - 3-472-86644-6 N1 - Werkausgabe in zehn Bänden / Günter Grass. Hrsg. von Volker Neuhaus ; Bd. 5 2. ISBN: 3-472-86645-4 PB - Luchterhand CY - Darmstadt ER - TY - BOOK A1 - Mühl, Thomas T1 - Einführung in die elektrische Messtechnik. Grundlagen, Messverfahren, Geräte ; mit 8 Tabellen und 53 Beispielen. 2., durchges. Aufl. Y1 - 2006 SN - 3-8351-0094-7 N1 - neuere Aufl. vorhanden PB - Teubner CY - Wiesbaden ER - TY - BOOK A1 - Benkner, Thorsten T1 - Grundlagen des Mobilfunks Y1 - 2007 SN - 978-3-935340-44-1 PB - Schlembach CY - Wilburgstetten ER - TY - BOOK A1 - Lepers, Heinrich T1 - SPS-Programmierung nach IEC 61131-3 : mit Beispielen für CoDeSys und STEP 7 / 2. Aufl. Y1 - 2007 SN - 978-3-7723-5805-0 N1 - [neuere Aufl. vorh.] CD-ROM-Beil. u.d.T.: SIMATIC CFC V7.0 und STEP 7 Professional Edition 2004 SR4 PB - Franzis CY - Poing ER - TY - BOOK A1 - Mühl, Thomas T1 - Einführung in die elektrische Messtechnik. Grundlagen, Messverfahren, Geräte ; mit 2 Tabellen und 54 Beispielen sowie 15 Aufgaben mit Lösungen. 3., neu bearb. Aufl. Y1 - 2008 SN - 978-3-8351-0189-0 PB - Vieweg + Teubner CY - Wiesbaden ER - TY - BOOK A1 - Faßbender, Heinz T1 - E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr. Y1 - 1995 SN - 3-8265-0917-X N1 - (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995 PB - Shaker CY - Aachen 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 -