Gesamtpreis (1 Artikel Artikel):
Versandziel:
pichardie (23 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (23)
- 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 (12)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (7)
- Gut oder Befriedigend (4)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (21)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (7)
Sprache (3)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18â"20, 2020, Proceedings: 12389 (Lecture Notes in Computer Science, 12389)
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 10,27
EUR 4,77 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Very Good. Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18â"20, 2020, Proceedings: 12389 (Lecture Notes in Computer Science, 12389) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
-
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18?20, 2020, Proceedings: 12389 (Lecture Notes in Computer Science, 12389)
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 10,27
EUR 8,07 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
Like a black and white kaleidoscope toss
Sprache: Französisch
Verlag: Publications de l'Université de Rouen et du Havre, 2001
ISBN 10: 2877753190 ISBN 13: 9782877753197
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Salissures sur la tranche. Quelques passages surlignés ou soulignés. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Stains on the edge. Some highlighted or underlined passages. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
La société anglaise en guerre, septembre 1939-août 1945: Actes du colloque organisé à l'Université de Rouen les 13 et 14 décembre 1996
Sprache: Französisch
Verlag: Publications de l'Université de Rouen et du Havre, 1997
ISBN 10: 2877752216 ISBN 13: 9782877752213
Softcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Considérations Sur l'Intoxication Saturnine Et En Particulier La Paralysie Chez Les Ouvrières: En Fleurs Artificielles (Sciences) (French Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 16,70
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,51
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Katherine Mansfield - Selected Stories (French Edition)
Anbieter: Gallix, Gif sur Yvette, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Neuf.
-
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,81
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Interactive Theorem Proving
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 364239633X ISBN 13: 9783642396335
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 364239633X ISBN 13: 9783642396335
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 refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.
-
EUR 23,27
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Taschenbuch. Zustand: Neu. Interactive Theorem Proving | 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings | Sandrine Blazy (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642396335 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 1820, 2020, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030654737 ISBN 13: 9783030654733
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 113,62
EUR 14,46 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 381 pages. 9.25x6.10x0.81 inches. In Stock.
-
Static Analysis : 27th International Sym
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18¿20, 2020, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2021
ISBN 10: 3030654737 ISBN 13: 9783030654733
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 refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions.The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking. Due to the Corona pandemic this event was held virtually.
-
Taschenbuch. Zustand: Neu. Static Analysis | 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings | David Pichardie (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2021 | Springer | EAN 9783030654733 | 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: 512 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.
-
Les années Wilson (1964-1970) - Publications de l'université de Rouen n°257.
Couverture souple. Zustand: bon. R320163220: 1999. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 252 pages - ouvrage en français et en anglais. . . . Classification Dewey : 320-Science politique.
-
KATHERIE MANSFIELD - SELECTED STORIES / CAPES-AGRAGATION D'ANGLAIS / COLLECTION CNED DIDIER CONCOURS.
Sprache: Französisch
Verlag: CNED - DIDIER-ERUDITION, 1997
ISBN 10: 2864603195 ISBN 13: 9782864603191
Couverture souple. Zustand: bon. R320042876: 1997. In-4. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 127 pages. . . . Classification Dewey : 372.65-Livre scolaire : langues.
-
Zustand: Gut. Zustand: Gut | Sprache: Französisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Contre le nazisme ou contre l'Allemagne?: Le débat sur l'anti-germanisme en Grande-Bretagne depuis la Deuxième Guerre mondiale
Sprache: Französisch
Verlag: Publications de l'Université de Rouen et du Havre, 1998
ISBN 10: 2877752410 ISBN 13: 9782877752411
Softcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
L'epreuve D'anglais à Sciences-po : Séries De Tests Actifs Avec Corrigés
Verlag: Sth, 1984
ISBN 10: 2903463093 ISBN 13: 9782903463090
Zustand: Bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
-
L'epreuve D'anglais à Sciences-po : Séries De Tests Actifs Avec Corrigés
Verlag: Sth, 1984
ISBN 10: 2903463093 ISBN 13: 9782903463090
Zustand: Assez bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
