Albert elvira (33 Ergebnisse)

Paperback. Ref. B124307. 21x15. 220 pág. - Los artículos clave de Albert Einstein de 1905 y 1906. Colección: Epistéme, 3. Ciencia. 55-B Epistéme 220 pág. Ciencia|Física y Química.

Zustand: New.

Hardback. Zustand: New.

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.

Zustand: New.

Zustand: New.

Tapa blanda. Zustand: New. El libro pretende dar a conocer algunos resultados de investigaciones sobre la enseñanza de la historia y el desarrollo de competencias educativas. Para ello, se analizan los procesos de construcción de identidades a partir de la identificación con el territorio, el patrimonio y los imaginarios colectivos, así como la competencia histórica en narrativas de estudiantes y futuros docentes; el diseño y experimentación de instrumentos y recursos para educación cívico-política de los estudiantes; y el análisis de las prácticas de evaluación en la búsqueda de alternativas coherentes que contemplen el desarrollo de competencias históricas y sociales.…

Zustand: As New. Unread book in perfect condition.

Zustand: New.

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

Zustand: New.

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

Zustand: New.

Zustand: As New. Unread book in perfect condition.

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. 513 pages. 6.16x1.04x9.26 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. …

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

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

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

Hardback. Zustand: New.

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

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Softcover. Zustand: Sehr 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-1063-1/8-00434064 Sprache: Deutsch Gewicht in Gramm: 495. …