[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Frontiers of Combining Systems

Langue AnglaisAnglais
Livre Livre de poche
Livre Frontiers of Combining Systems Boris Konev
Code Libristo: 01569153
Éditeurs Springer, Berlin, novembre 2006
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Co... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

2,286 Traditional Stencil Designs H Roessing / Livre de poche
common.buy 16.37 €
FCE Listening a Speaking Skills 2 Revised - Student's Book Virginia Evans / Livre
common.buy 28.68 €
ungeloeste Konflikt in Afrikas Mitte Sylvia Stützer / Livre de poche
common.buy 51.33 €
Designing an Efficient Management System Tanachart Raoprasert / Livre relié
common.buy 134.22 €
Internationalisierung mittelstandischer Unternehmen Pascal Moog / Livre de poche
common.buy 20.28 €
Handbuch der Ramm-, Vibrations- und Einpresstechnik Heinrich Otto Buja / Livre relié
common.buy 92.06 €
Hypnosis and Stress - A Guide for Clinicians Peter J Hawkins / Livre de poche
common.buy 77.81 €
Ausstellungsarbeit im Kunstunterricht Stefan Spengler / Livre de poche
common.buy 29.92 €
BIENTÔT
Das Fragile-X-Syndrom Petra Lang / Livre de poche
common.buy 15.95 €
Wiehernde Amtsschimmel Hans Brennert / Livre de poche
common.buy 24.51 €
Hoeflichkeitsformen im Italienischen und Portugiesischen Thomas Strobel / Livre de poche
common.buy 51.33 €
Eichkostenverordnung Ohne Autor / Livre de poche
common.buy 8.55 €
Crucifixion in Antiquity Gunnar Samuelsson / Livre de poche
common.buy 170.62 €
Fragile Things Neil Gaiman / Livre de poche
common.buy 11.34 €

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and 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.

À propos du livre

Nom complet Frontiers of Combining Systems
Auteur Boris Konev, Frank Wolter
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2007
Nombre de pages 286
EAN 9783540746201
ISBN 354074620X
Code Libristo 01569153
Éditeurs Springer, Berlin
Poids 456
Dimensions 155 x 235 x 15

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo