Gesamtpreis (1 Artikel Artikel):
Versandziel:
erika abraham (43 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (43)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (38)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (20)
Sprache (3)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
At the Pinnacle: One Woman's Running Journey
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 17,89
EUR 11,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 310 pages. 8.43x5.51x0.75 inches. In Stock.
-
At The Pinnacle: One Woman's Running Journey
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 18,62
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint . Computer Science and General Issues)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 23,82
EUR 12,30 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Abraham David Christian
Verlag: Galerie Haas, Zurich, Switzerland, 2019
Anbieter: Jeff Hirsch Books, ABAA, Wadsworth, IL, USA
Verbandsmitglied: ABAA ILAB MWABA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
First Edition. First edition. Softcover. 51 pages. Exhibition catalog for a show that ran April, 26 through June 15, 2019. Text in English and German by Erika Schlessinger-Koltzsch. Includes a few color and numerous black and white illustrations. A fine copy in wrappers. Uncommon.
-
Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good.
-
EUR 19,79
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th ... (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,48
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint ... Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,48
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,48
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,48
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,58
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,58
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
BETTERING AMER POETRY V03
Sprache: Englisch
Verlag: Amazon Digital Services LLC - KDP Print US, 2019
ISBN 10: 0692185879 ISBN 13: 9780692185872
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - We feel that to 'better' American poetry is to jam dominant systems of taste to the best of our abilities, and to resignify the very phrase 'American poetry' with the languages that it so desperately lacks. We intend to center voices of resistance, subjectivities that emerge from the radical margins, artists whose Americanness transcends nationalism and other borders, perspectives historically denied institutional backing--in short, poets and poetries that are urgent and necessary but do not get along nicely with Power. 'Bettering American Poetry is a poetic battle cry for resistance. Comprised of captivating voices that transcend borders and defy the limits of our time, this anthology rattles readers awake with scintillating truth andtough love.' >'Imagine this. A calling of our names, a murmuring of our ghosts, a shouting in our blood. Thank you, dear editors and poets, for burning through to bone, for acknowledging our cuts, for naming our skeletal struggles. Thank you for this edge of safety, for this bit of home.' >'Here lives poetry that resembles a sticky dance floor. Poetry that is at once terraformed music and primal shout and wet kiss and sweaty palm. The 'American' in Bettering American Poetry is a kind of ghoulish placeholder for whichever more rebellious, more enlivening world comes next. Pay close attention to the future maps and manifestos and mantras these poets have dreamed up. Join them in the club, in the brown/black/feminist/decolonial commons, in which everyone is where they are supposed to be.' >'A world in which more than one anthology annually presents the poems their editors loved best is better than a world in which readers have to wait many years for the odd tome-like anthology to appear and attempt to define contemporary poetry. These anthologies help readers to understand what's happening in poetry, and they especially help beginning poets to recognize the community they are joining. Bettering American Poetry Vol. 3 includes work by some of the most exciting poets writing today, and-and this is of the utmost importance-it makes poetry's visible community larger.' -Shane McCrae, author of The Gilded Auction Block and In the Language of My Captor.
-
Quantitative Evaluation of Systems: 19th International Conference, Qest 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2022
ISBN 10: 3031163354 ISBN 13: 9783031163357
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,38
EUR 14,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 416 pages. 9.25x6.10x0.86 inches. In Stock.
-
Quantitative Evaluation Of Systems : 19t
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Theoretical Aspects of Computing ICTAC 2023 (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: new.
-
Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 1517, 2024, Proceedings: 15191 (Lecture Notes in Computer Science, 15191)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 85,57
EUR 11,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 320 pages. 6.10x0.67x9.25 inches. In Stock.
-
Fundamentals of Software Engineering: 10th International Conference, Fsen 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2023
ISBN 10: 3031424409 ISBN 13: 9783031424403
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 89,86
EUR 11,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 167 pages. 9.25x6.10x0.36 inches. In Stock.
-
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 84,28
EUR 17,34 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 645 pages. 9.25x6.25x1.50 inches. In Stock.
-
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,96
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Marcus Garvey and Universal Negro Improvement Association Papers
Sprache: Englisch
Verlag: University of California Press, 1983
ISBN 10: 0520050916 ISBN 13: 9780520050914
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. The Universal Negro Improvement Association, with its "Africa for the Africans" program of racial nationalism, gained in strength in the aftermath of Garvey's successful meeting in Carnegie Hall in August 1919, and culminated in its First International Convention of the Negro Peoples of the World in 1920. This title deals with the mass movement. Editor(s): Hill, Robert A.; Ball, Tevvy; Blum, Erika; Bair, Barbara. Series: The Marcus Garvey and Universal Negro Improvement Association Papers. Num Pages: 768 pages, Ill. BIC Classification: 1KBB; JFSL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 260 x 178 x 50. Weight in Grams: 1380. . 1983. Hardback. . . . . Books ship from the US and Ireland.
-
Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2014
ISBN 10: 3662436124 ISBN 13: 9783662436127
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.
-
Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12¿16, 2022, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2022
ISBN 10: 3031163354 ISBN 13: 9783031163357
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.
-
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319307339 ISBN 13: 9783319307336
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of interest and a versatile modusoperandi with: logic and constraint programming; deductive proof systems,soundness, and completeness; semantics, compositionality, and full abstraction;process algebra and decidability; multithreading and actor-based concurrency;agent programming, ontologies, and modal logic; real-time systems, timedautomata, and schedulability; enterprise architectures, choreography, andcoordination; testing and runtime monitoring; and cloud computing and service-levelagreements. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures. In fact, Frank has anopportunistic approach to research. Rather than seeing obstacles, he findsopportunities.
-
Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2014
ISBN 10: 364254861X ISBN 13: 9783642548611
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains one invited contribution. The papers are organized in topical sections named: decision procedures and their application in analysis; complexity and termination analysis; modeling and model checking discrete systems; timed and hybrid systems; monitoring, fault detection and identification; competition on software verification; specifying and checking linear time properties; synthesis and learning; quantum and probabilistic systems; as well as tool demonstrations and case studies.
-
Theory and Practice of Formal Methods: Essays Dedicated to Frank De Boer on the Occasion of His 60th Birthday
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319307339 ISBN 13: 9783319307336
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,69
EUR 40,46 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 428 pages. 9.00x6.00x1.00 inches. In Stock.
-
Taschenbuch. Zustand: Neu. Theory and Practice of Formal Methods | Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday | Erika Ábrahám (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2016 | Springer | EAN 9783319307336 | 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. Tools and Algorithms for the Construction and Analysis of Systems | 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings | Erika Abraham (u. a.) | Taschenbuch | xviii | Englisch | 2014 | Springer | EAN 9783642548611 | 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. Quantitative Evaluation of Systems | 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings | Erika Ábrahám (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2022 | Springer | EAN 9783031163357 | 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 | 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings | Erika Ábrahám (u. a.) | Taschenbuch | xii | Englisch | 2014 | Springer | EAN 9783662436127 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
