Montant total (1 article articles) :
Destination de la commande :
comon hubert (58 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (58)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (44)
- Comme neuf, Très bon ou Bon (6)
- Assez bon ou satisfaisant (4)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (4)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (33)
- Sans impressions à la demande (38)
Langue (3)
Livraison gratuite
Pays
Evaluation du vendeur
-
Constraints in Computational Logics. Theory and Applications Lecture Notes in Computer Science, 2002
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,45
Expédition à EUR 12,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : Gut. 309 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 495.
-
Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001
ISBN 10 : 3540423451 ISBN 13 : 9783540423454
EUR 6,17
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
REWRITING, COMPUTATION AND PROOF
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 44,72
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Rewriting, Computation and Proof
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 43,42
Expédition à EUR 3,39
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 294.
-
Rewriting, Computation and Proof
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 40,47
Expédition à EUR 7,46
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 294 Illus.
-
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science)
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 26,61
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Auflage: 2001. 536 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 22,9 x 15,2 x 3,3 cm, Taschenbuch.
-
Term Rewriting
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 53,78
Expédition à EUR 3,39
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 236.
-
Term Rewriting
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 52,08
Expédition à EUR 7,46
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 236 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Constraints in Computational Logics : Theory and Applications : International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999, Revised Lectures
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,60
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Term Rewriting
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 53,39
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 236.
-
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,63
Expédition à EUR 13,75
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science, 1232)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,63
Expédition à EUR 13,75
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,63
Expédition à EUR 13,75
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science, 909)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,63
Expédition à EUR 13,75
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,37
Expédition à EUR 17,78
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,42
Expédition à EUR 17,78
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Constraints in Computational Logics. Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,53
Expédition à EUR 17,78
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,58
Expédition à EUR 17,78
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Constraints in Computational Logics : Theory and Applications : International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999, Revised Lectures
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 73,26
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Constraints in Computational Logics : Theory and Applications : International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999, Revised Lectures
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,47
Expédition à EUR 17,22
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Constraints in Computational Logics : Theory and Applications : International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999, Revised Lectures
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,11
Expédition à EUR 17,22
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Rewriting Computation And Proof: Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th Birthday
Langue: anglais
Edité par Springer-Verlag New York Inc, 2007
ISBN 10 : 3540731466 ISBN 13 : 9783540731467
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 77,99
Expédition à EUR 11,48
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 1st edition. 273 pages. 9.00x6.00x0.75 inches. In Stock.
-
SCIENCES ECONOMIQUES ET SOCIALES 2NDE. Livre du Professeur Edition 1993
Vendeur : crealivres, La fontennelle, France
Évaluation du vendeur 5 sur 5 étoiles
EUR 7
Expédition à EUR 55
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Envoi rapide Bon Etat. in12. 1991. Broché. 160 pages. Good.
-
Constraints in Computational Logics: Theory and Applications.
Vendeur : CSG Onlinebuch GMBH, Darmstadt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,76
Expédition à EUR 95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Gebraucht - Gut Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications. For Researchers, professionals, and students.
-
ACTIVITES NUMERIQUES, CALCULATRICE, STATISTIQUES, 2de (Exercices et Solutions) (Profil Sciences, 913-914)
Edité par Hatier, 1982
ISBN 10 : 2218058820 ISBN 13 : 9782218058820
Vendeur : Le-Livre, SABLONS, France
Membre d'association : ILAB
Évaluation du vendeur 5 sur 5 étoiles
EUR 16,95
Expédition à EUR 42
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierCouverture souple. Etat : bon. RO60129401: 1982. In-12. Broché. Etat d'usage, Couv. convenable, Manque en coiffe de tête, Intérieur acceptable. 159 pages. Nombreuses annotations au crayon dans l'ouvrage (ouvrage de travail). . . . Classification Dewey : 372.7-Livre scolaire : mathématiques.
-
Rewriting, Computation and Proof
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2007, 2007
ISBN 10 : 3540731466 ISBN 13 : 9783540731467
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.
-
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 88,69
Expédition à EUR 28,70
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Langue: anglais
Edité par Springer Berlin Heidelberg, 1995
ISBN 10 : 3540593403 ISBN 13 : 9783540593409
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 61,83
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993.This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of relevance for the broader theoretical computer science community.
-
Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Langue: anglais
Edité par Springer Berlin Heidelberg, 2007
ISBN 10 : 3540731466 ISBN 13 : 9783540731467
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 62,23
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
Langue: anglais
Edité par Springer Berlin Heidelberg, 1997
ISBN 10 : 3540629505 ISBN 13 : 9783540629504
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 62,73
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.
