Gonthier georges (23 résultats)

Etat : New.

Paperback or Softback. Etat : New. Certified Programs and Proofs: Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013, Proceedings. Book.

Etat : New.

Paperback. Etat : New.

Etat : New.

Etat : New. In English.

Etat : New. pp. 324.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.…

Taschenbuch. Etat : Neu. Certified Programs and Proofs | Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings | Georges Gonthier (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2013 | Springer | EAN 9783319035444 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Etat : Good. VIII-524.;18 cm. French.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : Like New. Like New. book.

Etat : As New. Unread book in perfect condition.

Etat : Bon. Livre sd, chez Jacques Brémond, in-12 en feuilles A3 dépliantes, étui et chemise cartonnés. Recueil. Les auteurs et dessinateurs sont : Poppy Arnold, Philippe Bérard, Roger Blachon, Jacques Brémond, Pascal Ciret, CVC 951, Dominique Douay, Stéphane Dumont, Robert Girard, Marie-Noëlle Gonthier, Armelle Kergall, René Lambert, Georges Ramaioli, Rougé, Volny. | Etat : Bon état général, étui défraichi et tâché (Ref.: ref84204). Armelle Kergall, CVC 951, Georges Ramaioli, Marie-Noëlle Gonthier, Pascal Ciret, Philippe Bérard, Poppy Arnold, René Lambert, Robert Girard, Roger Blachon, Rougé, Stéphane Dumont, Volny (illustrateur). Livre.…

Les Aventuriers de l'Art Perdu / L'Echo du Canon n° 1 et 2 de Mars et décembre 1999. In-8 agrafé de 56 pages chacun au format 21 x 29,5 cm. Couvertures illustrées. Fanzine consacré à l'univers de Sherlock Holmes. Critiques, études, documents. Contient : Editoriaux - Sherlock Holmes et l'apicultrice de Laurie R. King - Solar Pons par August Derleth - Enquête sur Sherlock Holmes de Bernard Oudin - Anno Dracula de Kim Newman - Dossier Sherlock Holmes dans Génération Séries - La Résurrection de Sherlock Holmes de Georges Casella - La Patrouille du temps de Poul Anderson - Basil et Victoria / 1 - Sâti de Yann et Édith - Énigme dans le temps perdu de Ralph Corbedanne - Les Masques de la mort de Roy Ward Baker - D'un cheveu de Jean Cordelier (Jean Giraudoux) et Ch. Aivrard - Mycroft Inquisitor de Scotch Arleston, Dominique Latil et Jack Manini - Sherlock Holmes par Martin Van Maële - Un drame au club des brillants seconds de W. Heidenfeld - Irene Adler par Carole Nelson Douglas - Le Chien de Serloc Kolmes de Joseph Jacquin et A. Fabre - Sherlock Holmes's war of the worlds de Manly Wade et Wade Wellman - La Gazette de Baker Street - Les Archives du 221b - En anglais dans le texte.- Index - Le Dossier Holmes - Dracula par Fred Saberhagen - Bibliographie des traductions d'Arthur Conan Doyle par Jean-Luc Buard - La Cloche de la veillée de Noël par Anne Perry - La Malédiction de Ravenlock de James Steranko - Le Rival de Sherlock Holmès de Hector Fleischmann - Les Exploits de Sherlock Holmes de Adrian Conan Doyle et John Dickson Carr - Les influences de Doyle et de Holmes dans l'oeuvre de John Dickson Carr - Sherlock Holmes et l'apicultrice et Mrs. Hudson's Case de Laurie R. King - Sherlock Holmes et les fantômes par Yves Varende et François Ducos - La Face claire des ténèbres de Thomas Day - La Cohorte des archers du Sussex d'August Derleth - L'Affaire de la fin de la civilisation de Joe Mc Grath - " Le Registre d'Écrou " n° 1 & 2 ( Les Évadés de Dartmoor ) - Aventures de Sherlock Holmes par Martin Van Maële - La Fin de Sherlock Holmès d'A. Boukhov - Exit Sherlock Holmes de Robert Lee Hall - Rubrique " Les Archives du 221 B " - " La Gazette de Baker Street " - " En anglais dans le texte " - Index. Revue dirigée et conçue par Marc Madouraud et Philippe Gonthier. Edition originale en superbe état. Petit tirage. Rare.…

Leatherbound. Etat : NEW. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. A perfect gift for your loved ones. Reprinted from 1915 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set and contains approximately 21 pages. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Language: French. …

Etat : Good. Envoi rapide Bon état couvertures défraîchies bords un peu frottés intérieurs propres quelques rousseurs aux abords de l'intérieur des plats. in8. 1920. Relié. 2 volume(s). Good.

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

Leather Bound. Etat : New. Language: French. Language: French. Presenting an Exquisite Leather-Bound Edition, expertly crafted with Original Natural Leather that gracefully adorns the spine and corners. The allure continues with Golden Leaf Printing that adds a touch of elegance, while Hand Embossing on the rounded spine lends an artistic flair. This masterpiece has been meticulously reprinted in 2024, utilizing the invaluable guidance of the original edition published many years ago in 1920. The contents of this book are presented in classic black and white. Its durability is ensured through a meticulous sewing binding technique, enhancing its longevity. Imprinted on top-tier quality paper. A team of professionals has expertly processed each page, delicately preserving its content without alteration. Due to the vintage nature of these books, every page has been manually restored for legibility. However, in certain instances, occasional blurriness, missing segments, or faint black spots might persist. We sincerely hope for your understanding of the challenges we faced with these books. Recognizing their significance for readers seeking insight into our historical treasure, we've diligently restored and reissued them. Our intention is to offer this valuable resource once again. We eagerly await your feedback, hoping that you'll find it appealing and will generously share your thoughts and recommendations. Lang: - French, Pages: - 540, Print on Demand. If it is a multi-volume set, then it is only a single volume. We are specialised in Customisation of books, if you wish to opt different color leather binding, you may contact us. This service is chargeable. Product Disclaimer: Kindly be informed that, owing to the inherent nature of leather as a natural material, minor discolorations or textural variations may be perceptible. Explore the FOLIO EDITION (12x19 Inches): Available Upon Request. 540 540.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security. 324 pp. Englisch.…

Etat : New. PRINT ON DEMAND pp. 324.

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date results Proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated wit.…

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 324 pp. Englisch.…