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

8th International Workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998. Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Logic-Based Program Synthesis and Transformation Pierre Flener
Code Libristo: 05274933
Éditeurs Springer, Berlin, novembre 1998
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Worksh... 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é

Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda Pierre Dolbeault / Livre Livre de poche
common.buy 37.69 €
Skicák TVOŘIVOST B5, čistý, 80 listů / Articles de papeterie Articles de papeterie
common.buy 4.49 €
Guida per principianti alla produzione e alla gestione dei suini Kwamina Banson / Livre Livre de poche
common.buy 64.19 €
Příchod bohů Vlastislav Toman / Audio CD Audio
common.buy 14.99 €
Vikont koji me volio Julia Quinn / Livre Livre de poche
common.buy 12.39 €
Fullmetal Alchemist 18 Hiromu Arakawa / Livre Livre de poche
common.buy 7.99 €
Hormigón ligero OPS reforzado con fibra de polipropileno Ming Chian Yew / Livre Livre de poche
common.buy 33.59 €
Lass uns reden! Chiara Colucci / Jeu/jouet Jeu
common.buy 20.29 €
Top
B-Grammatik Anne Buscha / Livre Livre de poche
common.buy 22.49 €
ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA / Livre Livre
common.buy 21.49 €
5 Towers (Deep Print Games) / Jeu/jouet Jeu
common.buy 9.99 €
CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Livre binding.
common.buy 34.19 €
Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt / Livre Livre de poche
common.buy 8.09 €
The Fog - Nebel des Grauens, 1 DVD (Digital Remastered) John Carpenter / Video DVD
common.buy 13.59 €
Philadelphia, 1 Blu-ray Craig Mckay / Video Blu-ray
common.buy 15.39 €
Mine d'Or Sébastien Belluso / Livre Livre de poche
common.buy 8.19 €
Karty vědomé duše Kim Dreyer / Articles imprimés Cartes
common.buy 7.69 €
Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet / Livre Livre de poche
common.buy 73.59 €
Object-oriented Quality Management (OQRM). Een Praktische Methode Voor Kwaliteits- En Risicomanagement. Peter W.M. van Nederpelt / Livre Livre de poche
common.buy 19.79 €
Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels / Livre Livre de poche
common.buy 105.79 €
Top
Herbář léčivých rostlin (1) Jiří Janča / Livre Livre relié
common.buy 14.89 €
Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR) André Nollmann / Livre Livre de poche
common.buy 44.99 €
Spirou und Fantasio - Ein großer Kopf Makyo / Livre Livre de poche
common.buy 12.79 €

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

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 Pierre Flener
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1999
Nombre de pages 338
EAN 9783540657651
ISBN 3540657657
Code Libristo 05274933
Éditeurs Springer, Berlin
Poids 450
Dimensions 156 x 234 x 18

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 > Programmation orientée objet (POO)
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 > Analyse et conception de systèmes
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

Walnut Warriors (R) (in Outer Space) Lance L Palmgren / Livre Livre de poche
common.buy 34.39 €
Hockey Superstitions Andrew Podnieks / Livre Livre de poche
common.buy 17.39 €
Solution Talk: Hosting Therapeutic Conversations Ben Furman / Livre Livre de poche
common.buy 18.79 €
New Industries from New Places: The Emergence of the Software and Hardware Industries in China and India Neil Gregory / Livre Livre de poche
common.buy 36.89 €
Raising Charlie: The Lessons of a Perfect Dog John Lichty / Livre Livre de poche
common.buy 11.19 €
Body and the Screen Kate Ince / Livre Livre de poche
common.buy 56.29 €
Norfolk and Western Railway Nelson Harris / Livre Livre relié
common.buy 25.79 €
Just Like Me J. Tillman / Livre Livre relié
common.buy 16.49 €
Open and nimble Daniel Lederman / Livre Livre de poche
common.buy 40.79 €
New York Intellectuals Alan M. Wald / Livre Livre de poche
common.buy 44.39 €
One Thousand Years with Jesus Matthew Bryce Ervin / Livre Livre de poche
common.buy 20.49 €
Conservatives: Dead or Alive Marcel G Latouche / Livre Livre de poche
common.buy 22.79 €
Study Guide for Stephen Spender's What I Expected Cengage Learning Gale / Livre Livre de poche
common.buy 12.19 €
Shame Game Janice Sterling Gaunt / Livre Livre de poche
common.buy 17.39 €
Mission Somewhat Kinda Sort of But Not Really Completely 100%% Impossible Al Parish / Livre Livre de poche
common.buy 29.59 €
Software Engineering for Enterprise System Agility Sergey V. Zykov / Livre Livre relié
common.buy 187.19 €
Maigret's Anger Georges Simenon / Livre Livre de poche
common.buy 12.49 €
Information Systems: Research, Development, Applications, Education Stanislaw Wrycza / Livre Livre de poche
common.buy 53.79 €
Why Tyrannosaurus But Not If? US/Can edition RICHARD N WHITEHEAD / Livre Livre de poche
common.buy 17.69 €
Jump Start Git, 2e Shaumik Daityari / Livre Livre de poche
common.buy 24.29 €
Third Eye Awakening Jamie Parr / Livre Livre de poche
common.buy 12.69 €
Top
Super Minds Level 5 Workbook with Digital Pack British English Herbert Puchta / Livre Livre de poche
common.buy 11.59 €
Top
100 Greatest Commodore 64 Games Tom Crossland / Livre Livre de poche
common.buy 12.69 €
Every Brain is Beautiful Sara Furlong / Livre Livre de poche
common.buy 12.69 €

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 ?