peter thiemann (32 Ergebnisse)

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Hardcover. Zustand: Fine. 1st edition. 226pp, octavo, tight binding, clean and glossy boards with sharp corners, As New.

Paperback. Zustand: Brand New. 2012 edition. 343 pages. 9.25x6.10x0.78 inches. In Stock.

Softcover. 4°. Farbig illustrierte Originalhefte mit je 12-16 Seiten in dreispaltigem Druck und zahlreichen, zum Teil farbigen Abbildungen und Zeichnungen. Erstes Heft ist gelocht, Heft 2,1948: 2 Blatt sins am oberen Rand beschnitten, daher etwas Textverlust. Ganz vereinzelt schwach randfleckig. Gut erhalten. Verkauf einzelner Heft ist möglich für je 15 Euro zuzüglich Porto // Die Zeitschrift erschien 14-tägig vom 3.9.1948 - 2.9.1949 mit insgesamt 26 Heften. 1948 gründete G. Neumann parallel zur Zeitschrift das Kabarett "Die Insulaner", dessen Darbietungen vom RIAS Berlin ausgestrahlt wurden. -- 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! K01017-439164.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partialevaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear and rigorous manner and practically introduce several existing partial evaluators with numerous examples. The second part of the book is devoted to more sophisticated theoretical aspects, advances systems and applications, and highlights open problems and challenges. The book is ideally suited for advanced courses and for self study.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookconstitutes the proceedings of the 25th European Symposium on Programming, ESOP2016, which took place in Eindhoven, The Netherlands, in April 2016, held asPart of the European Joint Conferences on Theory and Practice of Software,ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selectedfrom 98 submissions. Being devoted to fundamental issues in the specification,design, analysis, and implementation of programming languages and systems, ESOPfeatures contributions on all aspects of programming language research;theoretical and/or practical advances.

Taschenbuch. Zustand: Neu. Partial Evaluation: Practice and Theory | DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 | John Hatcliff (u. a.) | Taschenbuch | x | Englisch | 1999 | Springer | EAN 9783540667100 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Partial Evaluation | International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers | Olivier Danvy (u. a.) | Taschenbuch | xii | Englisch | 1996 | Springer | EAN 9783540615804 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Programming Languages and Systems | 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings | Peter Thiemann | Taschenbuch | xiii | Englisch | 2016 | Springer | EAN 9783662494974 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation.This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area.

Paperback. Zustand: Brand New. 820 pages. 9.25x6.10x1.85 inches. In Stock.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 532 | Sprache: Englisch | Produktart: Bücher | Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation. This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area.

Zustand: New. In.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 331 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: New.

Hardcover. Zustand: Brand New. 336 pages. 9.00x6.00x1.25 inches. In Stock.

27,3 x 21,5 cm. 160 Seiten mit vielen, teils farbigen Abbildungen. Original-Pappband.

Hardcover. Zustand: Gut. 347 Seiten Ein umfassender Führer zu historischen Stätten und Denkmälern in den Bezirken Dresden und Cottbus, der kulturelle und geschichtliche Einblicke bietet. Zustand: Einband mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. HC1-340-8/8-00536608 Sprache: Deutsch Gewicht in Gramm: 605.

Zustand: New.

160 S. mit vielen farbigen Abb. und Tafeln. 27,5 x 21,5 cm, Orig.-Pappband / Hardcover (leicht bestoßen) * Der Maler Hans Thiemann (1910-1977), der 1933 in Dessau sein Bauhaus-Diplom erhalten hatte, und der während der Zeit des Nationalsozialismus zunehmend isoliert war, beteiligte sich 1946 an der in der Galerie Gerd Rosen gezeigten 'Fantasten-Ausstellung'. Der vorliegende Katalog zeigt Werke von Hans Thiemann, Karl Hartung, Hannah Höch, Otto Hofmann, Juro Kubicek, Jeanne Mammen, Heinz Trökes, Hans Uhlmann, Mac Zimmermann (64 abgebildete Katalognummern). Mit (Kurz-)Biographien der Künstler.

Broschur. Zustand: Gut. 1995. Großformat. 160 Seiten, reich illustr.

Zustand: Gut. Zustand: Gut | Seiten: 80 | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die der Autor an der Eberhard-Karls-UniversWit Tiibingen unter dem Titel 'Einfiihrung in die funktionale Programmierung' gehalten hat. Die Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die Informatik als Haupt-oder Nebenfach belegen. Voraussetzungen zum Verstandnis des Buches sind die Kenntnis von Grundbe griffen der Informatik und Programmierung. Die Vorlesung, wie auch das Bueh, besteht aus zwei Tellen. Der erste Tell um faBt die Kapitell bis 8 und ist praktisch orientiert. Er gibt eine kurze Einfiihrung in die rein-funktionale Programmiersprache Gofer mit grundlegenden Program mierteehniken und Methoden der Verifikation und Transformation von Program men gefolgt von einem kurzen Ausbliek auf fortgesehrittene Techniken und wei terfiihrende Konzepte. Insbesondere wird auf Typklassen, Konstruktorklassen und Monaden, sowie rein-funktionale Ein-und Ausgabe eingegangen. Typklassen und Konstruktorklassen erlauben die kontrollierte Uberladung von benutzerde finierten Funktionen. Monaden ermoglichen unter anderem die Integration von in rein-funktionale Programmierspraehen. Variablen im herkommlichen Sinn 1m zweiten Teil (Kap. 9 bis 15) werden verschiedene Modelle fur Semantik und Ausfiihrung funktionaler Programmiersprachen vorgestellt. Der Tell umfaBt eine Einfiihrung in die Bereichstheorie, universelle Algebra, operationelle und de notationelle Semantik, und den Lambda-Kalkiil. Ferner werden Typen und ihre Semantik, die automatisehe Rekonstruktion von Typen, sowie Grundbegriffeder abstrakten Interpretation und Striktheitsanalyse behandelt. Damit verzahnt wer den Implementierungstechniken fur funktionale Programmiersprachen auf einer abstrakten Ebene diskutiert.