Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με 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 Επικοινωνία phoneΠώς να κάνετε αγορές;
Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

Logic-Based Program Synthesis and Transformation

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

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Logic-Based Program Synthesis and Transformation Andy King
Κωδικός Libristo: 01570057
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Μάρτιος 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Πλήρης περιγραφή
? points 125 b
51.73 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Βιβλίο Χαρτόδετο
common.buy 16.19 €
Ad gentes. Racconti dalle missioni Filippo Maggi / Βιβλίο Χαρτόδετο
common.buy 20.85 €
Die Abenteuerlichen Fälle des Terry Lomes Bodo Königsmann / Βιβλίο Χαρτόδετο
common.buy 9.00 €
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Βιβλίο Χαρτόδετο
common.buy 35.74 €
Marienkirche Gelnhausen (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Ημερολόγιο/ημερολόγιο ατζέντα Ημερολόγιο
common.buy 83.73 €
Klar zum Feuern John Martin Ungar / Βιβλίο Χαρτόδετο
common.buy 9.10 €
Fearless Katia Liebig / Βιβλίο Χαρτόδετο
common.buy 13.56 €
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Βιβλίο Χαρτόδετο
common.buy 34.12 €
Tubbz kachnička mini Krotitelé duchů - Ray Stanz Παιχνίδι/Επιτραπέζιο παιχνίδι Παιχνίδι
common.buy 12.95 €
Biale noce Fiodor Dostojewski / ebook Adobe ePub DRM
common.buy 4.04 €
Hekid ja aiaseinad. kodu & aia praktiline aiavihik 41 / Βιβλίο Χαρτόδετο
common.buy 4.55 €
Cy Twombly et la critique américaine Richard Leeman / Βιβλίο Σκληρόδετο
common.buy 35.53 €
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Βιβλίο Χαρτόδετο
common.buy 19.74 €
Melekler Kiz mi, Erkek mi Özkan Öze / Βιβλίο Χαρτόδετο
common.buy 9.20 €
Die asiatische Cholera Joseph Riedel / Βιβλίο Χαρτόδετο
common.buy 12.34 €
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Βιβλίο Χαρτόδετο
common.buy 18.32 €
Sulla Origine Delle Specie Carlo Darwin / Βιβλίο Χαρτόδετο
common.buy 19.23 €
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Βιβλίο Χαρτόδετο
common.buy 12.55 €
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 / Βιβλίο Χαρτόδετο
common.buy 99.53 €
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Βιβλίο Χαρτόδετο
common.buy 19.74 €
Curso sobre agricultura biodinámica STEINER / Βιβλίο Χαρτόδετο
common.buy 21.15 €

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.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Logic-Based Program Synthesis and Transformation
Συγγραφέας Andy King
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2008
Αριθμός σελίδων 222
EAN 9783540787686
ISBN 3540787682
Κωδικός Libristo 01570057
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 365
Διαστάσεις 154 x 14 x 239

Κατηγορία

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Controlled Nanoscale Motion Heiner Linke / Βιβλίο Σκληρόδετο
common.buy 103.07 €
Into the Pure ... TIM NICHOLLS / Βιβλίο Χαρτόδετο
common.buy 11.33 €
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Βιβλίο Χαρτόδετο
common.buy 12.65 €
Extraordinary Cases. Henry L Clinton / Βιβλίο Χαρτόδετο
common.buy 28.24 €
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Βιβλίο Χαρτόδετο
common.buy 15.58 €
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Βιβλίο Χαρτόδετο
common.buy 8.50 €
The Notary Art of Solomon: Ars Notoria King Solomon / Βιβλίο Χαρτόδετο
common.buy 7.58 €
Chimpanzee Lisa Jackson / Βιβλίο Σκληρόδετο
common.buy 35.53 €
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Βιβλίο Χαρτόδετο
common.buy 12.45 €
Cheyenne Quinn M. Arnold / Βιβλίο Σκληρόδετο
common.buy 41.10 €
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Βιβλίο Χαρτόδετο
common.buy 19.33 €
Retail Marketing Strategy Constant Berkhout / Βιβλίο Σκληρόδετο
common.buy 126.16 €
Beyond Chopped Liver Kenden Alfond / Βιβλίο Σκληρόδετο
common.buy 37.86 €
Τοπ
Rise of the Dragon Elio M. Garcia Jr. / Βιβλίο Σκληρόδετο
common.buy 39.38 €
Wong Kar-wai Silver Wai-ming Lee / ebook Adobe ePub DRM
common.buy 29.15 €
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Βιβλίο Χαρτόδετο
common.buy 14.77 €
Values Andreas Urs Sommer / Βιβλίο Σκληρόδετο
common.buy 48.09 €
Global Communication Pavel Slutskiy / ebook Adobe ePub DRM
common.buy 95.18 €
International Perspectives on Intercultural Learning in English Language Teaching Troy McConachy / Βιβλίο Σκληρόδετο
common.buy 138.21 €
Fake Leadership in Higher Education Agnieszka Bienkowska / Βιβλίο Σκληρόδετο
common.buy 159.48 €
'Tis Grace Allan Thompson / Βιβλίο Χαρτόδετο
common.buy 15.18 €
Incinerator Niall Leonard / Βιβλίο Χαρτόδετο
common.buy 13.96 €
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Βιβλίο Χαρτόδετο
common.buy 14.27 €
Essays in Memory of Imre Lakatos Robert S. Cohen / Βιβλίο Σκληρόδετο
common.buy 175.78 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;