Importo totale (1 articolo articoli):
Destinazione ordine:
kirchner claude (61 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (61)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (44)
- Come nuovo, Ottimo o Quasi ottimo (9)
- Molto buono o Buono (6)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (2)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (31)
- Non Print on Demand (49)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Automated Deduction - CADE-15 Vol. 142 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings
Lingua: Inglese
Editore: Springer Berlin / Heidelberg, 1998
ISBN 10: 3540646752 ISBN 13: 9783540646754
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Editore: Sammlung Thyssen-Bornemisza / Electa Editrice, 1985
Da: Montreal Books, Westmount, QC, Canada
Valutazione del venditore 4 su 5 stelle
EUR 11,30
Spedizione EUR 4,26
Spedito da Canada a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Near Fine. Andre Derain; Erich Heckel; Karl Schmidt Rottluff; Max Pechstein; Ernst Ludwig Kirchner; Lyonel Feininger; Emil Nolde; etc. (illustratore). 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
Editore: Sammlung Thyssen-Bornemisza / Electa Editrice, 1985
Soft cover. Condizione: Near Fine. Andre Derain; Erich Heckel; Karl Schmidt Rottluff; Max Pechstein; Ernst Ludwig Kirchner; Lyonel Feininger; Emil Nolde; etc. (illustratore). Montreal Books rating system: 1. Fine 2. Near Fine 3. Very Good 4. Good 5. Fair. Size: 4to, 192pp. Book.
-
REWRITING, COMPUTATION AND PROOF
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Rewriting, Computation and Proof
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 294.
-
Rewriting, Computation and Proof
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 40,13
Spedizione EUR 7,45
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 294 Illus.
-
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Automated Deduction Cade-15 - 15th International Conference On Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
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)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 18 (weekend 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.
-
Automated Deduction, Cade-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,12
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
EUR 29,84
Spedizione EUR 40,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. 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.
-
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science, 5458)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Automated Deduction, Cade-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 73,14
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,35
Spedizione EUR 17,76
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,39
Spedizione EUR 17,76
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Automated Deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,60
Spedizione EUR 17,76
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Formal to Practical Security
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 208.
-
Automated Deduction, Cade-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,52
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Deduction, Cade-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,35
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Place des Victoires. Histoire, architecture, societe
Lingua: Francese
Editore: Editions de la Maison des sciences de l'homme, Paris 2003, 2004
ISBN 10: 2735110036 ISBN 13: 9782735110032
Da: Antiquariat Carl Wegner, Berlin, B, Germania
Membro dell'associazione: GIAQ
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 50,00
Spedizione EUR 9,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. 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 -- Lesen Sie etwas Schönes auf einer Bank in der Frühlingssonne! Wir haben die passende Lektüre. -- Wir kaufen Ihre werthaltigen Bücher! Frk.
-
Formal to Practical Security: Papers Issued from the 2005-2008 French-japanese Collaboration
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2009
ISBN 10: 3642020011 ISBN 13: 9783642020018
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,01
Spedizione EUR 11,47
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,10
Spedizione EUR 11,47
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642020011 ISBN 13: 9783642020018
EUR 53,49
Spedizione EUR 61,62
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
EUR 53,49
Spedizione EUR 62,23
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 53,49
Spedizione EUR 63,49
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Automated Deduction - CADE-15 | 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings | Claude Kirchner (u. a.) | Taschenbuch | xiv | Englisch | 1998 | Springer | EAN 9783540646754 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
