Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Constraints in Computational Logics

Name: Constraints in Computational Logics
Brand: Springer, Berlin
SKU: 05274419
Price: 51.25 EUR
Availability: InStock
Author: Jean-Pierre Jouannaud
ISBN: 9783540584032

First International Conference, CCL '94, Munich, Germany, September, 7-9, 1994. Proceedings

Jean-Pierre Jouannaud

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 05274419

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 1993

This volume constitutes the proceedings of the First International Conference on Constraints in Comp... Πλήρης περιγραφή

Κωδικός Libristo: 05274419

125 b

51.25 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Büchi's Monadic Second Order Successor Arithmetic Dirk Siefkes

Χαρτόδετο

47.93 €

The World of Worm. Numbers - Spanish Esther Van Den Berg

Σκληρόδετο

17.98 €

Nove vite come i gatti. I miei primi novant'anni laici e ribelli Margherita Hack

Χαρτόδετο

18.48 €

Manual de Monitoreo Neurofisiológico Intraoperatorio. Mph Habeych S.

Χαρτόδετο

12.65 €

Nous Sommes Cruels Camille de Peretti

Χαρτόδετο

11.65 €

Telekonsultation. Die Lösung für eine zukunftssichere medizinische Versorgung im deutschen Gesundheitswesen?

Χαρτόδετο

16.07 €

Inscriptions antiques des Pyrénées M. Albert Leb?gue

Σκληρόδετο

42.81 €

Umění zákona přitažlivosti Marie Diamond

Χαρτόδετο

10.14 €

Literatura rabinica Tal Ilan

Adobe ePub DRM

29.44 €

Hańba Maria Paszyńska

Χαρτόδετο

9.84 €

Les grandes pandémies de l'Histoire - De la peste au Covid Jean Vitaux

Χαρτόδετο

10.14 €

Modelo de Minimización de Costos Estacionarios por Materia Prima Pamela Solares Gantier

Χαρτόδετο

38.99 €

LOS EVANGELIOS EN LOS ESTUDIOS DE TEOLOGIA GUIJARRO OPORTO

Χαρτόδετο

26.32 €

The Eminence in Shadow. Staffel.2.1, 1 Blu-ray Kazuya Nakanishi

Blu-ray

29.94 €

Tubbz kachnička mini Sonic - Knuckles Παιχνίδι/Επιτραπέζιο παιχνίδι

Παιχνίδι

13.46 €

Zapisano metkom Zoran Zmiric

Adobe ePub DRM

1.10 €

Profifussballvereine als Marke Till Eckel

Χαρτόδετο

65.52 €

Cuxland - Teufelsmoor bicycle map

Χάρτης

9.54 €

Direitos Civis: Segurança Publica: Crônicas de um Delegado de Polícia Alberto Calvano

Χαρτόδετο

15.47 €

Handbuch der allgemeinen Botanik Nicolaus Jacob Carl Müller

Χαρτόδετο

31.05 €

Patissiere de la Campagne Et de la Ville Quentin

Χαρτόδετο

33.46 €

Renouvellement social, renouvellement langagier dans l'Algérie d'aujourd'hui Benmayouf

Χαρτόδετο

17.28 €

Casques Antiques feugere michel Βιβλίο

Χαρτόδετο

35.97 €

Charakter Und Umwelt Hermann Hoffmann

Χαρτόδετο

52.76 €

This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book contains revised versions of the 21 accepted research papers selected from a total of 52 submissions. The volume assembles high quality original papers covering major theoretical and practical issues of combining and extending programming paradigms, preferably by using constraints. The topics covered include symbolic constraints, set constraints, numerical constraints, multi-paradigm programming, combined calculi, constraints in rewriting, deduction, symbolic computations, and working systems.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Constraints in Computational Logics

Συγγραφέας Jean-Pierre Jouannaud

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 1994

Αριθμός σελίδων 371

EAN 9783540584032

ISBN 354058403X

Κωδικός Libristo 05274419

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 415

Διαστάσεις 155 x 233 x 20

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

Computing & Information Technology > Computer programming / software engineering

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Heart Mechanics El-sayed H. Ibrahim

Σκληρόδετο

401.24 €

Gardener's Companion to Medicinal Plants Royal Botanic Gardens Kew

Σκληρόδετο

18.99 €

A Love Reborn Dana Lyons

Χαρτόδετο

13.76 €

Budget Justifications and Performance Information Fiscal Year 2014: Office of the Secretary Department-Wide Programs The U S Department of the Interior

Χαρτόδετο

23.91 €

The Castle of Otranto Horace Walpole

Χαρτόδετο

8.23 €

Introduction to Cell Biology Casper Barnes

Σκληρόδετο

139.90 €

Bible Word Search New Testament Large Print Volume 45: Titus and Philemon T W Pope

Χαρτόδετο

11.65 €

Anastasia Melissa Frost

Χαρτόδετο

11.65 €

Propagation of the Gospel in the East: Being a Collection of Letters From the Protestant Missionaries, and Other Worthy Persons in the East-Indies, &c BARTHOLO ZIEGENBALG

Σκληρόδετο

34.97 €