Hartmanns (34 results)

No Binding. Condition: Good. Belfast Castle Postcard Vintage 1907,in fair condition for this 100+ years old postcard. Sent locally from Belfast in 1907, to, Greenock. postcard has a fold mid left edge to towards top and some scuffing. Please examine scan carefully before purchase.

Condition: As New. Unread book in perfect condition.

Condition: New.

Paperback. Condition: New. Mit dem Hund "Fidus" lernen die SchÃ"lerinnen und SchÃ"ler das Köln der frÃ"hen Kaiserzeit kennen.Die Comics im Fidus ermöglichen einen sanften und motivierenden Einstieg in die lateinische Sprache: Inhalt und Grammatik erschlieÃYen sich mÃ"helos anhand der Zeichnungen.Die Kinder lernen so erste Formen und Wörter, sodass der Einstieg ins Latein-Lehrbuch stark entlastet wird. Kurze und einfache Ãbungen festigen das Gelernte.Die Fidus-HintergrÃ"nde Ã"ber das antike Köln sind genau recherchiert. In den Comics tauchen immer wieder Gegenstände auf, die tatsächlich aus der Antike erhalten und im Museum zu besichtigen sind. So wird das antike Köln greifbar wie nie, und mit Fidus sind wir mittendrin!Der Comic Fidus eignet sich besonders gut fÃ"r das erste Lernjahr bei Latein als erster oder zweiter Fremdsprache.Der Titel ist auch als Schullizenz erhältlich.…

Paperback. Condition: new. Paperback. TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France. The goal is to acknowledge the achievements of the various research competitions and comparative evaluations broadly related to the field of formal methods, to explain to the audience which tools from the field of formal methods they evaluate, and to understand their commonalities and differences. The developers of the participating tools typically participate in the competitions and evaluations, choosing the right parameters for the tools, or the best workflow for the approach.A total of ten competitions joined TOOLympics in 2023 and were presented at the event: CHC-COMP, MCC, QComp, ARCH-COMP, RERS, SL-COMP, SV-COMP, Test-Comp, VerifyThis, and the VT-Long-Term Challenge. Six of these are represented in this proceedings volume as papers: ARCH-COMP, CHC-COMP, MCC, QComp, VerifyThis, and the VerifyThis Long-Term Challenge. Each of these papers was peer-reviewed in single-blind mode.The papers will be of value to researchers and practitioners who employ formal methods approaches such as model checking, program analysis, probabilistic analysis, runtime verification, SAT solving, and SMT solving. TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condition: New. pp. 80.

Condition: New. pp. 80.

Paperback. Condition: Brand New. 2nd edition. 80 pages. German language. 11.73x8.35x0.24 inches. In Stock.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Paperback. Condition: Brand New. 250 pages. 9.25x6.10x9.25 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France. The goal is to acknowledge the achievements of the various research competitions and comparative evaluations broadly related to the field of formal methods, to explain to the audience which tools from the field of formal methods they evaluate, and to understand their commonalities and differences. The developers of the participating tools typically participate in the competitions and evaluations, choosing the right parameters for the tools, or the best workflow for the approach.A total of ten competitions joined TOOLympics in 2023 and were presented at the event: CHC-COMP, MCC, QComp, ARCH-COMP, RERS, SL-COMP, SV-COMP, Test-Comp, VerifyThis, and the VT-Long-Term Challenge. Six of these are represented in this proceedings volume as papers: ARCH-COMP, CHC-COMP, MCC, QComp, VerifyThis, and the VerifyThis Long-Term Challenge. Each of these papers was peer-reviewed in single-blind mode.The papers will be of value to researchers and practitioners who employ formal methods approaches such as model checking, program analysis, probabilistic analysis, runtime verification, SAT solving, and SMT solving.…

Taschenbuch. Condition: Neu. TOOLympics Challenge 2023 | Updates, Results, Successes of the Formal-Methods Competitions | Dirk Beyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2024 | Springer | EAN 9783031676949 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April n Paris, France. The goal is to acknowledge the achievements of the various research competitions and comparative evaluations broadly related to the field of formal methods, to explain to the audience which tools from the field of formal methods they evaluate, and to understand their commonalities and differences. The developers of the participating tools typically participate in the competitions and evaluations, choosing the right parameters for the tools, or the best workflow for the approach.A total of ten competitions joined TOOLympics in 2023 and were presented at the event: CHC-COMP, MCC, QComp, ARCH-COMP, RERS, SL-COMP, SV-COMP, Test-Comp, VerifyThis, and the VT-Long-Term Challenge. Six of these are represented in this proceedings volume as papers: ARCH-COMP, CHC-COMP, MCC, QComp, VerifyThis, and the VerifyThis Long-Term Challenge. Each of these papers was peer-reviewed in single-blind mode.The papers will be of value to researchers and practitioners who employ formal methods approaches such as model checking, program analysis, probabilistic analysis, runtime verification, SAT solving, and SMT solving. …

Condition: New.

M. zahlr. Tab. u. Abb. III, 153 S. Sprache: Deutsch 0 gr.

Taschenbuch. Condition: Neu. Ninja Dual Zone Heißluftfritteuse Kochbuch für Anfänger | 120+ schnelle & einfache Rezepte für Hauptgericht und Beilage gleichzeitig - mit Zone-1- & Zone-2-Garzeiten, Sync-Tipps und Nährwertangaben | Nele Hartmanns | Taschenbuch | 144 S. | Deutsch | 2026 | Bookmundo | EAN 9789403902296 | Verantwortliche Person für die EU: Bookmundo, Bookmundo, Delftsestraat 33, 3013AE Rotterdam, NL, Delftsestraat 33, 3013 AE ROTTERDAM, NIEDERLANDE, info[at]bookmundo[dot]com | Anbieter: preigu.…

paperback. Condition: Sehr gut. 80 Seiten; 9783525710036.2 Gewicht in Gramm: 500.

paperback. Condition: Gut. 80 Seiten; 9783525710036.3 Gewicht in Gramm: 500.

Broschiert. Gr.-Oktav. (1972). Sport + Stars. 11 Hefte. Broschuren. Mit zahlr. schw.-w. Abb. Einbände teils etwas fleckig, gute Exemplare. Nr. 1: Berti Vogts. Nr. 2: Uwe Seeler. Nr. 3: Wolfgang Overath. Nr. 4: Sepp Maier. Nr. 5: Karl-Heinz Schnellinger. Nr. 6: Gerd Müller. Nr. 7: Willi Schulz. Nr. 8: Fritz Walter. Nr. 9: Helmut Schön. Nr. 10: Günter Netzer. Nr. 11: Sepp Herberger. …

Paperback. Condition: New. Mit dem Hund "Fidus" lernen die SchÃ"lerinnen und SchÃ"ler das Köln der frÃ"hen Kaiserzeit kennen.Die Comics im Fidus ermöglichen einen sanften und motivierenden Einstieg in die lateinische Sprache: Inhalt und Grammatik erschlieÃYen sich mÃ"helos anhand der Zeichnungen.Die Kinder lernen so erste Formen und Wörter, sodass der Einstieg ins Latein-Lehrbuch stark entlastet wird. Kurze und einfache Ãbungen festigen das Gelernte.Die Fidus-HintergrÃ"nde Ã"ber das antike Köln sind genau recherchiert. In den Comics tauchen immer wieder Gegenstände auf, die tatsächlich aus der Antike erhalten und im Museum zu besichtigen sind. So wird das antike Köln greifbar wie nie, und mit Fidus sind wir mittendrin!Der Comic Fidus eignet sich besonders gut fÃ"r das erste Lernjahr bei Latein als erster oder zweiter Fremdsprache.Der Titel ist auch als Schullizenz erhältlich.…

Hartkarton Tadellos. "Dieses Buch bringt den "Armen Heinrich" Hartmanns von Aue in der hochdeutschen Übertragung von Wilhelm Grimm. Die handbemalten Original-Lithographien sind von Richard Seewald." farbig illustrierter Hartkarton-Einband, solide und gut erhalten, 41 paginierte Seiten uund 4 ganzseitige Lithographien, insgesamt sehr gut erhalten. --- Richard Seewald (1889-1976), deutscher Maler und Schriftsteller. --- 14,5 x 21 Cm. 0,18 Kg. Gewicht in Gramm: 180.…

Vorwort von Dr. Arthur Drews. Mit einer biographischen Einleitung und dem Bilde von Eduard von Hartmanns - OHLdr. m. Goldprägung auf 4 Schmuckbünden, Rotschnitt, XXII/851 S., gr. 8vo. - Kein Versand in die EU und die USA/ We do not ship to the EU or the U.S. Obere Rückenkante geringfügig schadhaft, Einband etwas berieben, Eintrag auf Vorsatz und Titel, wenige Seiten etwas stockfleckig, sonst sehr gut erhalten. Sprache: DE. …

Condition: new. Questo è un articolo print on demand.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nie wieder erst das Hähnchen fertig, dann die Beilage kalt.Mit einer Dual-Zone-Heißluftfritteuse soll Kochen schneller werden - doch oft bleibt die Frage: Welche Zone startet zuerst Welche Temperatur passt Und wie werden Hauptgericht und Beilage wirklich gleichzeitig fertig Dieses Kochbuch macht genau das einfach. Du findest 121 alltagstaugliche Rezepte für schnelle Abendessen, kleine Haushalte und unkomplizierte Mahlzeiten aus zwei Zonen. Jede Rezeptidee zeigt klar, was in Zone 1 und was in Zone 2 gegart wird - mit übersichtlichen Garzeiten, Temperaturen, Sync-Tipps und Nährwertangaben.Ob Hähnchen, Fisch, Garnelen, Tofu, Halloumi, Falafel, Hackbällchen, Gemüse, Süßkartoffeln oder kleine Beilagen: Die Rezepte sind so aufgebaut, dass du weniger planen, weniger abwaschen und entspannter kochen kannst.Ideal für alle, die ihre Ninja Dual Zone oder Doppelkammer-Heißluftfritteuse nicht nur für Snacks nutzen möchten, sondern für komplette Mahlzeiten nach Feierabend.Für mehr Ordnung im Korb, weniger Rätselraten und zwei Zonen, die endlich zusammenarbeiten. 144 pp. Deutsch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France. The goal is to acknowledge the achievements of the various research competitions and comparative evaluations broadly related to the field of formal methods, to explain to the audience which tools from the field of formal methods they evaluate, and to understand their commonalities and differences. The developers of the participating tools typically participate in the competitions and evaluations, choosing the right parameters for the tools, or the best workflow for the approach.A total of ten competitions joined TOOLympics in 2023 and were presented at the event: CHC-COMP, MCC, QComp, ARCH-COMP, RERS, SL-COMP, SV-COMP, Test-Comp, VerifyThis, and the VT-Long-Term Challenge. Six of these are represented in this proceedings volume as papers: ARCH-COMP, CHC-COMP, MCC, QComp, VerifyThis, and the VerifyThis Long-Term Challenge. Each of these papers was peer-reviewed in single-blind mode.The papers will be of value to researchers and practitioners who employ formal methods approaches such as model checking, program analysis, probabilistic analysis, runtime verification, SAT solving, and SMT solving. 184 pp. Englisch.…

Condition: New. Print on Demand.

Condition: New. PRINT ON DEMAND.

Kartoniert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.