Peter thiemann (30 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: New. Idioma/Language: Español. *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla.

Zustand: Nuevo. Sistema de escalas básicas para violoncelo editado por Boileau.

Tapa blanda. Zustand: New. Libro nuevo.

Hardcover. Zustand: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

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

Zustand: New. In English.

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

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.…

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. 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.…

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: Sehr gut. Zustand: Sehr gut | Seiten: 331 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: New. In English.

Zustand: New.

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

Soft cover. Zustand: Fine. 1st Edition. 4° - 279pp - Color & B/w reproductions. Published as Exhibition Catalog.f Frst edition, text in German language. Original pictorial boards. In Fine condition.

Hardcover. Zustand: Sehr 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-841-1/8-00536608 Sprache: Deutsch Gewicht in Gramm: 605. …

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.…

Zustand: New. Prof. Rolf Rattunde ist Rechtsanwalt, Insolvenzverwalter und Notar in Berlin (Fachanwalt fuer Steuerrecht, Fachanwalt fuer Insolvenzrecht) Prof. Dr. Stefan Smid, Uni Kiel, ist Autor einschlaegiger Standardwerke Rechtsanwalt Prof. Dr. Mark Zeuner, FAInsR, Ha.