Order Total (1 Item Items):
Shipping Destination:
Claude Kirchner (61 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (61)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (45)
- As New, Fine or Near Fine (9)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (30)
- Not Print on Demand (49)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Automated Deduction - CADE-15 Vol. 142 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 1998
ISBN 10: 3540646752 ISBN 13: 9783540646754
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
MODERNE Malerei: aus der sammlung Thyssen-Bornemisza: Germanisches Nationalmuseum Nurnberg: 27.1. - 24.3.1985 / Stadtische Kunsthalle Dusseldorf: 20.4. - 16.6.1985
Published by Sammlung Thyssen-Bornemisza / Electa Editrice, 1985
Soft cover. Condition: Near Fine. Andre Derain; Erich Heckel; Karl Schmidt Rottluff; Max Pechstein; Ernst Ludwig Kirchner; Lyonel Feininger; Emil Nolde; etc. (illustrator). Montreal Books rating system: 1. Fine 2. Near Fine 3. Very Good 4. Good 5. Fair. Size: 4to, 192pp. Book.
-
MODERNE Malerei: aus der sammlung Thyssen-Bornemisza: Germanisches Nationalmuseum Nurnberg: 27.1. - 24.3.1985 / Stadtische Kunsthalle Dusseldorf: 20.4. - 16.6.1985
Published by Sammlung Thyssen-Bornemisza / Electa Editrice, 1985
Soft cover. Condition: Near Fine. Andre Derain; Erich Heckel; Karl Schmidt Rottluff; Max Pechstein; Ernst Ludwig Kirchner; Lyonel Feininger; Emil Nolde; etc. (illustrator). Montreal Books rating system: 1. Fine 2. Near Fine 3. Very Good 4. Good 5. Fair. Size: 4to, 192pp. Book.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. pp. 294.
-
Condition: New. pp. 294 Illus.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer . / Lecture Notes in Artificial Intelligence 1421)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 1 (SALE item)* 443 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Condition: As New. Unread book in perfect condition.
-
Softcover. 604 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. L07969 9780124095908 Sprache: Englisch Gewicht in Gramm: 1090.
-
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science, 1421)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science, 5458)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
-
Cassirer and the Breakthrough of Impressionism
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
First Edition
Paperback. Condition: New. 1.
-
Automated Deduction, Cade-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. pp. 208.
-
Automated Deduction, Cade-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Place des Victoires. Histoire, architecture, societe
Language: French
Published by Editions de la Maison des sciences de l'homme, Paris 2003, 2004
ISBN 10: 2735110036 ISBN 13: 9782735110032
Seller: Antiquariat Carl Wegner, Berlin, B, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
First Edition
Hardcover. 4°, Reliure d'origine en lin, sous sa jaquette d'origine. 377 pages, richement illustrées en noir et blanc et en couleurs. Propre, en bon état. -- Original-Leinenband im originalen Umschlag. 377 Seiten, reich einfarbig und farbig bebildert. Sauberer, guter Zustand. -- Bitte Portokosten außerhalb EU erfragen! / Please ask for postage costs outside EU! / S ' il vous plait demander des frais de port en dehors de l ' UE! // Bitte beachten Sie auch unsere Fotos! / Please also note our photos! / Veuillez noter nos photos -- Nehmen Sie sich ein gutes Buch mit auf die Sommerwiese. Bei uns werden Sie fündig! -- Wir kaufen Ihre werthaltigen Bücher! Frk.
-
Formal to Practical Security: Papers Issued from the 2005-2008 French-japanese Collaboration
Language: English
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 3642020011 ISBN 13: 9783642020018
Paperback. Condition: Brand New. 2009 edition. 199 pages. 9.20x5.70x0.40 inches. In Stock.
-
Rewriting Computation And Proof: Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th Birthday
Language: English
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Paperback. Condition: Brand New. 1st edition. 273 pages. 9.00x6.00x0.75 inches. In Stock.
-
Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration
Language: English
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642020011 ISBN 13: 9783642020018
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The security issues set by the global digitization of our society have had, and will continue to have, a crucial impact at all levels of our social organization, including, just to mention a few, privacy, economics, environmental policies, national sovereignty, medical environments. The importance of the collaborations in the various elds of computer s- ence to solve these problems linked with other sciences and techniques is clearly recognized. Moreover, the collaborative work to bridge the formal theory and practical applications becomes increasingly important and useful. In this context, and since France and Japan have strong academic and ind- trial backgrounds in the theory and practice of the scienti c challenges set by this digitized world, in 2005 we started a formal French-Japanese collaboration and workshop series on computer security. The three rst editions of these French-Japanese Computer Security wo- shops in Tokyo, September 5-7, 2005 and December 4-5, 2006 and in Nancy, March 13-14, 2008 were very fruitful and were accompanied by several imp- tant research exchanges between France and Japan. Because of this success, we launched a call for papers dedicated to computer security from it's foundation to practice, with the goal of gathering together nal versions of the rich set of papers and ideas presented at the workshops, yet opening the call to everyone interested in contributing in this context. This v- ume presents the selection of papers arising from this call and this international collaboration.
-
Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Language: English
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its technology, advancing the research areas of unification, rewriting and completion modulo, conditional rewriting, termination proofs, modular properties, and automated proofs by induction in rewrite theories. Following his strong interest for algebraic specification languages and their efficient implementation, Jean-Pierre Jouannaud has contributed to the design, semantics and implementation of OBJ2 and has recently augmented the Maude rewriting logic system with an essential feature: membership equational logic. He was a member of the CNU (National University Council) and a member of the CNRS national committee. He is now heading with great success the computer science laboratory at the Ecole Polytechnique thus showing his exceptional qualities as a research team manager and supervisor of students.This Festschrift volume, published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Cachan near Paris, France, on June 21-22, 2007. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.
-
Taschenbuch. Condition: Neu. Rewriting, Computation and Proof | Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday | Hubert Comon-Lundh (u. a.) | Taschenbuch | xvi | Englisch | 2007 | Springer | EAN 9783540731467 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Formal to Practical Security | Papers Issued from the 2005-2008 French-Japanese Collaboration | Véronique Cortier (u. a.) | Taschenbuch | vii | Englisch | 2009 | Springer | EAN 9783642020018 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
