albert elvira (23 Ergebnisse)

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9783319101804.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

331 S+Verlagsanz. O.ill.Broschur 8° (geringe Gebrauchsspuren) Sprache: de.

Paperback. Zustand: Brand New. 513 pages. 6.16x1.04x9.26 inches. In Stock.

Zustand: New. Das Bestandsverzeichnis Kunstsammlung der Berliner Volksbank gibt erstmals umfassend Einblick in eine der interessantesten Unternehmenssammlungen Deutschlands. Die umfangreiche Publikation unterstreicht dabei die kunsthistorische und kulturpolitische Releva.

Paperback. Zustand: Brand New. 2014 edition. 404 pages. 9.25x6.10x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 29th International Conference on Fundamental Approaches to Software Engineering, FASE 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11 16, 2026.The 21 full papers and 6 short tool competition papers included in this volume, together with one invited keynote paper, were carefully reviewed and selected from 65 submissions. The papers cover the following topical sections: Software Engineering and AI; Advanced Software Development; Autonomous Systems and Applications; and Competition on Software Testing (Test-Comp 2026).

Paperback. Zustand: Brand New. 292 pages. 9.25x6.10x0.66 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016.The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

Taschenbuch. Zustand: Neu. Logic-Based Program Synthesis and Transformation | 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers | Elvira Albert | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642381966 | 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. Formal Techniques for Distributed Objects, Components, and Systems | 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings | Elvira Albert (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2016 | Springer | EAN 9783319395692 | 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. Integrated Formal Methods | 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings | Elvira Albert (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2014 | Springer | EAN 9783319101804 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

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

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Softcover. Zustand: Gut. 123 Seiten Fünf Romane, die mit ihrem spritzigen Humor zum Schmunzeln reizen und vergnügliche Entspannung garantieren. Enthält Geschichten von fünf bekannten Autoren. Zustand: Einband mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. HC1-834-1/8-00434064 Sprache: Deutsch Gewicht in Gramm: 495.

1982 Foment Arqueologic Excursionista Sallenti, Sallent Presentació de Josep Mª Sitjas i Molins. Fot. en b/n. 195 p. 22x16 cm. Enq. rústica editorial. Para ver o recibir fotografías de los libros puede ir a nuestra web o solicitarlas., ).

1982 Foment Arqueologic Excursionista Sallenti, Sallent Presentació de Josep Mª Sitjas i Molins. Fot. en b/n. 195 p. 22x16 cm. Enq. rústica editorial. Ex-libris d'anterior propietari Para ver o recibir fotografías de los libros puede ir a nuestra web o solicitarlas., ).

Zustand: 0. Erstausgabe. - Nr. 75 von 85 (ges. 100) Exemplaren. - Mit tlw. farb. Orig.-Grafiken von Elvira Bach (Siebdruck), Ina Barfuß (Radierung), Peter Bömmels (Linolschnitt), Werner Büttner (Radierung), Walter Dahn (Siebdruck), Georg Jiri Dokupil (Radierung), Gerard Kever (Radierung), Martin Kippenberger (Offestdruck und Papiercollage; Unikat), Albert Oehlen (Holzschnitt), Markus Oehlen (Holzschnitt), Andreas Schulze (Siebdruck), Volker Tannert (Lithographie) u. Thomas Wachweger (Radierung). - Kassette tlw. schwach stockfleckig, sonst schönes Exemplar. ge Gewicht in Gramm: 5000 Gr.-Fol. (67 x 52 cm). 1 Bl. (Titel u. Inhaltsverzeichnis) u. 13 num., sign. u. tlw. dat. Orig.-Grafiken, lose in OLwd.-Kassette.