Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

Unbekannt

ISBN 10: 364204221X ISBN 13: 9783642042218

Edit� par Springer Berlin Heidelberg, 2009

Langue: anglais

Etat : Occasion - Tr�s bon Couverture souple

Mettre de c�t�

Vendu par Buchpark, Trebbin, Allemagne

Vendeur AbeBooks depuis 30 septembre 2021

�valuation du vendeur 5 sur 5 �toiles

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Ancien(s) ou d'occasion - Couverture souple

Etat : Occasion - Tr�s bon

Bonne affaire

Prix: EUR 35,42 Autre devise

EUR 105 exp�dition depuis Allemagne vers Etats-Unis Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

Zustand: Sehr gut | Sprache: Englisch | Produktart: B�cher.

N� de r�f. du vendeur 5674506/12

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

�diteur

Springer Berlin Heidelberg

Date de parution

2009

Langue

anglais

ISBN � 10 chiffres

364204221X

ISBN � 13 chiffres

9783642042218

Reliure

Couverture souple

�tat de l'article

Sehr gut

Catalogues du vendeur

B�cher

A propos de ce titre

Synopsis

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Buchpark GmbH
Kr�gerweg 1, Trebbin, 14959, Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Droit de r�tractation

Conditions d'exp�dition

Frais d?exp�dition de Allemagne�vers�Etats-Unis

Frais d?exp�dition de Allemagne�vers�Etats-Unis
Quantit� command�e	60 � 60 jours ouvr�s	60 � 60 jours ouvr�s
Premier article	EUR 105.00	EUR 130.00

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.

Informations vendeur d�taill�es