Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Logic-Based Program Synthesis and Transformation

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Logic-Based Program Synthesis and Transformation Andy King
Code Libristo: 01570057
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mars 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Livre Livre de poche
common.buy 17.95 €
Ad gentes. Racconti dalle missioni Filippo Maggi / Livre Livre de poche
common.buy 21.69 €
Die Abenteuerlichen Fälle des Terry Lomes Bodo Königsmann / Livre Livre de poche
common.buy 9.90 €
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Livre Livre de poche
common.buy 37.29 €
Marienkirche Gelnhausen (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Calendrier/agenda Calendrier
common.buy 86.99 €
Klar zum Feuern John Martin Ungar / Livre Livre de poche
common.buy 10.00 €
Fearless Katia Liebig / Livre Livre de poche
common.buy 16.00 €
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Livre Livre de poche
common.buy 33.69 €
Tubbz kachnička mini Krotitelé duchů - Ray Stanz Jeu/jouet Jouet
common.buy 12.79 €
Biale noce Fiodor Dostojewski / Livre numérique Adobe ePub DRM
common.buy 4.19 €
Hekid ja aiaseinad. kodu & aia praktiline aiavihik 41 / Livre Livre de poche
common.buy 4.79 €
Cy Twombly et la critique américaine Richard Leeman / Livre Livre relié
common.buy 36.79 €
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Livre Livre de poche
common.buy 21.90 €
Melekler Kiz mi, Erkek mi Özkan Öze / Livre Livre de poche
common.buy 9.59 €
Die asiatische Cholera Joseph Riedel / Livre Livre de poche
common.buy 12.89 €
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Livre Livre de poche
common.buy 18.09 €
Sulla Origine Delle Specie Carlo Darwin / Livre Livre de poche
common.buy 18.99 €
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Livre Livre de poche
common.buy 12.39 €
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social / Livre Livre de poche
common.buy 112.79 €
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Livre Livre de poche
common.buy 22.29 €
Curso sobre agricultura biodinámica STEINER / Livre Livre de poche
common.buy 24.09 €

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Logic-Based Program Synthesis and Transformation
Auteur Andy King
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2008
Nombre de pages 222
EAN 9783540787686
ISBN 3540787682
Code Libristo 01570057
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 365
Dimensions 154 x 14 x 239

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 > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Systèmes d’exploitation
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

Ceci pourrait également vous intéresser

Controlled Nanoscale Motion Heiner Linke / Livre Livre relié
common.buy 107.29 €
Into the Pure ... TIM NICHOLLS / Livre Livre de poche
common.buy 11.19 €
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Livre Livre de poche
common.buy 13.19 €
Extraordinary Cases. Henry L Clinton / Livre Livre de poche
common.buy 27.89 €
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Livre Livre de poche
common.buy 15.39 €
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Livre Livre de poche
common.buy 8.39 €
The Notary Art of Solomon: Ars Notoria King Solomon / Livre Livre de poche
common.buy 7.49 €
Chimpanzee Lisa Jackson / Livre Livre relié
common.buy 36.89 €
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Livre Livre de poche
common.buy 12.99 €
Cheyenne Quinn M. Arnold / Livre Livre relié
common.buy 41.79 €
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Livre Livre de poche
common.buy 19.09 €
Retail Marketing Strategy Constant Berkhout / Livre Livre relié
common.buy 124.59 €
Beyond Chopped Liver Kenden Alfond / Livre Livre relié
common.buy 37.39 €
Top
Rise of the Dragon Elio M. Garcia Jr. / Livre Livre relié
common.buy 41.29 €
Wong Kar-wai Silver Wai-ming Lee / Livre numérique Adobe ePub DRM
common.buy 30.39 €
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Livre Livre de poche
common.buy 15.49 €
Values Andreas Urs Sommer / Livre Livre relié
common.buy 49.99 €
Global Communication Pavel Slutskiy / Livre numérique Adobe ePub DRM
common.buy 98.49 €
International Perspectives on Intercultural Learning in English Language Teaching Troy McConachy / Livre Livre relié
common.buy 143.69 €
Nouveauté
Fake Leadership in Higher Education Agnieszka Bienkowska / Livre Livre relié
common.buy 165.79 €
'Tis Grace Allan Thompson / Livre Livre de poche
common.buy 14.99 €
Incinerator Niall Leonard / Livre Livre de poche
common.buy 14.69 €
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Livre Livre de poche
common.buy 14.59 €
Essays in Memory of Imre Lakatos Robert S. Cohen / Livre Livre relié
common.buy 181.49 €

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
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?