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

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

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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 05275117
Price: 51.69 EUR
Availability: InStock
Author: Annalisa Bossi
ISBN: 9783540676287

9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers

Annalisa Bossi

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 05275117

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

This volume contains the proceedings of the ninth international workshop on logic-based program synt... Πλήρης περιγραφή

Κωδικός Libristo: 05275117

125 b

51.69 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

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

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

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

Świt przeklętej królowej. Bogowie i Potwory. Tom 3 Amber V. Nicole

Χαρτόδετο

12.54 €

Die Satanischen Bekenntnisse des Anton Szandor LaVey Blanche Barton

Σκληρόδετο

26.90 €

Un jour, ça finira mal Valentin Gendrot

Χαρτόδετο

27.11 €

Vom Bewerber zum integrierten Leistungsnachwuchs - Mitarbeiter als Individuen innerhalb des sozialen Systems Krankenhaus Marie-Luise Schwarz

Χαρτόδετο

25.08 €

Sakamoto Days - Tome 18 Yuto Suzuki

Χαρτόδετο

10.92 €

Le Tourisme Culturel En France Le Tourisme Baln aire En Tunisie Faten Ben Bouheni

Χαρτόδετο

43.80 €

DISNEY PRINCESSES - Coloriages magiques - Mystères

Χαρτόδετο

10.61 €

Septem verba a Christo in cruce moriente prolata (Klavierauszug) Giovanni Battista Pergolesi

Χαρτόδετο

24.88 €

Die Macht der sieben Familien Ingrid Exo

Χαρτόδετο

11.83 €

Romanz De L'estoire Dou Graal de Boron Robert

Σκληρόδετο

17.90 €

1000 caras de la religión oriental CASAS CASTELLS

Χαρτόδετο

18.10 €

Eu Odeio Amar Voce Elaine Lima

Χαρτόδετο

12.74 €

Ansiedad Alberto Montt

Χαρτόδετο

12.54 €

DyrdyMarki Marek Niedźwiecki

Χαρτόδετο

12.33 €

Socotra JORDI ESTEVA

Χαρτόδετο

64.64 €

Gedichte Günter Nicke

Σκληρόδετο

32.97 €

Einfuhrung in die Bucherkunde zur deutschen Literaturwissenschaft Paul Raabe

Χαρτόδετο

32.27 €

Haukun Herkut Malin Ekblom

Χαρτόδετο

20.33 €

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR 99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR 99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR s topics: synthesis, specialization, transformation, analysis, and veri?cation. Ve- ?cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming.

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

EWA KASP για

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

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

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

Πλήρες όνομα Logic-Based Program Synthesis and Transformation

Συγγραφέας Annalisa Bossi

Γλώσσα

Αγγλική

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

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

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

EAN 9783540676287

ISBN 3540676287

Κωδικός Libristo 05275117

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

Βάρος 467

Διαστάσεις 155 x 235 x 17

Κατηγορία

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

Computing & Information Technology > Computer programming / software engineering > Software Engineering

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 > Operating systems

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

Είναι εύκολο

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