Publicado por Berlin: Rembrandt-Verlag, 1958., 1958
Librería: Antiquariat Carl Wegner, Berlin, B, Alemania
Miembro de asociación: GIAQ
Original o primera edición
EUR 23,00
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. 8°. Illustrierter Original-Pappband. 63 Seiten davon 29 Textseiten und 34 Seiten mit Bildern / Filmszenen. Sehr gutes Exemplar. Elsa Wagner (1881-1975) war Film- und Theaterschauspielerin in Sankt Petersburg, Wanderbühne Berliner Novitätenbühne in West- und Ostpreußen, Heidelberg, Plauen, Hannover, Deutsches Theater Berlin. -- Aus der Sammlung des Libretto-Spezialisten, Theater- und Handschriftenfachmannes Dr. Rainer Theobald, der die weltweit wohl größte Sammlung Libretti des 17. und 18. Jahrhunderts besitzt und mit dessen Namensstempel im vorderen Innendeckel. -- Bitte Portokosten außerhalb EU erfragen! / Please ask for postage costs outside EU! / S ' il vous plait demander des frais de port en dehors de l ' UE! // Bitte beachten Sie auch unsere Fotos! / Please also note our photos! / Veuillez noter nos photos -- Ob Sonnenschein oder warmer Regen: mit einem interessanten Buch kommen Sie immer gut durch den Tag. -- Wir kaufen Ihre werthaltigen Bücher! Lit.
Publicado por Reinbek, Carlsen, 1982, 1982
Librería: ANTIQUARIAT WINFRIED GEISENHEYNER, Münster-Hiltrup, NRW, Alemania
Original o primera edición
EUR 40,00
Cantidad disponible: 1 disponibles
Añadir al carritoMit teils farbigen Illustrationen von der Autorin, 26,5 x 20 cm, Farbig illustrierter Originalpappband, 30 SS Erste deutsche Ausgabe. Die schwedische Originalausgabe erschien 1933 unter dem Titel "Sagan om den nyfikna abborren". - Vgl. LKJ I,143 und KJL, Beskow, S.14. Nicht bei Klotz, Bilderbücher. - Tadellos.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 62,19
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,47
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 74,90
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 60,46
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,58
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.
Librería: preigu, Osnabrück, Alemania
EUR 50,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Theorem Proving in Higher Order Logics | 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings | Elsa L. Gunter (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1997 | Springer | EAN 9783540633792 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Publicado por Sachsenverlag, Dresden, 1951, 1951
Librería: Programmhefte24 Schauspiel und Musiktheater der letzten 150 Jahre, Görlitz, Alemania
EUR 14,90
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: siehe Beschreibung. original Heft, nicht geheftet, nicht paginiert, ca. 12 Seiten, Skizzen vo Elsa Sturm- Lindner. Zustand: befriedigend, Ablagelochung Operette in drei Akten. Musikalische Leitung: Gerhard Lenssen. Inszenierung: Günther Sauer. Ausstattung: Gerd Richter. Choreographie: Bernhard Wosien. Regieassistenz: Erhardt Fischer. Mitwirkende: Karl-Heinz Thomann, Elisabth Reichelt, Werner Faulhaber, Emilie WalterHelmut Schindler, Arno Schellenberg, Ruth Glowna, u. a. ------- Program booklet Johann Strauss DIE FLEDERMAUS Dresden State Opera 1951 - Original booklet, unbound, unpaginated, approx. 12 pages, sketches by Elsa Sturm-Lindner. Condition: fair, filing holes. - Operetta in three acts. Musical direction: Gerhard Lenssen. Stage direction: Günther Sauer. Set design: Gerd Richter. Choreography: Bernhard Wosien. Assistant director: Erhardt Fischer. Cast: Karl-Heinz Thomann, Elisabeth Reichelt, Werner Faulhaber, Emilie Walter, Helmut Schindler, Arno Schellenberg, Ruth Glowna, and others. deu.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 39,67
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Gegenstand der Arbeit ist die Fischereipolitik der EU in Westafrika. Diese wurde in den letzten Jahren vor allem von Seiten einiger NGOs und AKP-Staaten, der Generaldirektion für Entwicklung und des Europäischen Parlaments (EP) kritisiert. Der EU wurde dabei zum Vorwurf gemacht, die Ernährungssicherheit der westafrikanischen Bevölkerung durch ihre rigorosen Fischereiaktivitäten zu gefährden. Die Arbeit untersucht - angelehnt an die qualitative Inhaltsanalyse nach Mayring - welche Bestimmungsfaktoren zum Zusammenbruch des Fischereisektors in Westafrika beitragen, wie diese mit den sich entwickelnden Migrationsströmen zusammenhängen und welche Problemlösungskonzepte es gibt. Die Theorien bzw. Lösungsansätze speisen sich aus den Erkenntnissen Immanuel Wallersteins und Elinor Ostroms.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633790 ISBN 13: 9783540633792
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 74,89
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS. 356 pp. Englisch.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1997
ISBN 10: 3540633790 ISBN 13: 9783540633792
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32.
Idioma: Inglés
Publicado por Springer, Springer Aug 1997, 1997
ISBN 10: 3540633790 ISBN 13: 9783540633792
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 356 pp. Englisch.