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

Logic-Based Program Synthesis and Transformation

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Logic-Based Program Synthesis and Transformation Germán Vidal
Κωδικός Libristo: 01661777
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Οκτώβριος 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Πλήρης περιγραφή
? points 115 b
47.59 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Βιβλίο Χαρτόδετο
common.buy 53.16 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Έντυπα Νότες
common.buy 7.99 €
Artikel Marketing Blitz Andre Sternberg / ebook Adobe ePub DRM
common.buy 1.10 €
Le Grand livre de la nature Anonyme / ebook Adobe ePub DRM
common.buy 11.43 €
O dôstojnosti človeka Božena Seilerová / Βιβλίο Χαρτόδετο
common.buy 9.00 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Βιβλίο Χαρτόδετο
common.buy 7.69 €
Healing Hotels of the World / Βιβλίο Σκληρόδετο
common.buy 59.85 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Βιβλίο binding.
common.buy 32.20 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Βιβλίο Χαρτόδετο
common.buy 26.42 €
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Βιβλίο Σκληρόδετο
common.buy 21.56 €
Les silences de Margaret Paul Couturiau / Βιβλίο Χαρτόδετο
common.buy 25.92 €
Madchen in der Sprayerkultur? Lena Rheindorf / Βιβλίο Χαρτόδετο
common.buy 16.20 €
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Βιβλίο Χαρτόδετο
common.buy 57.92 €
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Βιβλίο Χαρτόδετο
common.buy 14.37 €
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Βιβλίο Χαρτόδετο
common.buy 36.86 €
Shania- Philosophie Thomas Heim / Βιβλίο Χαρτόδετο
common.buy 13.56 €
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal Sánchez Ramos / Βιβλίο Χαρτόδετο
common.buy 20.55 €
Προετοιμαζουμε
LA FIESTA DE DISFRACES Quílez Ibáñez / Βιβλίο Χαρτόδετο
common.buy 24.80 €
Kdo mi pomůže Jaroslav Gering / Βιβλίο Σκληρόδετο
common.buy 8.60 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Βιβλίο Χαρτόδετο
common.buy 22.27 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Βιβλίο Χαρτόδετο
common.buy 77.37 €

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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

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

Πλήρες όνομα Logic-Based Program Synthesis and Transformation
Συγγραφέας Germán Vidal
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2012
Αριθμός σελίδων 254
EAN 9783642322105
ISBN 3642322107
Κωδικός Libristo 01661777
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 409
Διαστάσεις 155 x 235 x 15

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Mojave Syntax MUNRO / Βιβλίο Χαρτόδετο
common.buy 61.27 €
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Βιβλίο Χαρτόδετο
common.buy 154.55 €
Handbook of Plant Cell Biotechnology AGATHA WILSON / Βιβλίο Σκληρόδετο
common.buy 140.98 €
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Βιβλίο Σκληρόδετο
common.buy 279.02 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Βιβλίο Χαρτόδετο
common.buy 8.19 €
Corr James K Polk Vol 9 James K Polk / Βιβλίο Σκληρόδετο
common.buy 61.27 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Βιβλίο Σκληρόδετο
common.buy 168.42 €
Splat the Cat Rob Scotton / Βιβλίο Σκληρόδετο
common.buy 16.70 €
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Βιβλίο Χαρτόδετο
common.buy 19.84 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Βιβλίο Χαρτόδετο
common.buy 9.00 €
Big Data for Managers Atal Malviya / Βιβλίο Χαρτόδετο
common.buy 78.69 €
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Βιβλίο Χαρτόδετο
common.buy 10.83 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Βιβλίο Χαρτόδετο
common.buy 12.85 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Βιβλίο Χαρτόδετο
common.buy 60.46 €
Industrial Energy Management and Sustainability Miriam Benedetti / Βιβλίο Σκληρόδετο
common.buy 40.91 €
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Βιβλίο Σκληρόδετο
common.buy 745.84 €
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / ebook Adobe ePub DRM
common.buy 19.94 €
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Βιβλίο Χαρτόδετο
common.buy 360.15 €
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Βιβλίο Χαρτόδετο
common.buy 90.84 €
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Βιβλίο Σκληρόδετο
common.buy 128.52 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Βιβλίο Σκληρόδετο
common.buy 113.63 €
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Βιβλίο Σκληρόδετο
common.buy 109.98 €
Collaborative Design Management Stephen Emmitt / Βιβλίο Χαρτόδετο
common.buy 80.81 €
Politics and Parentela in Paraiba Linda Lewin / Βιβλίο Σκληρόδετο
common.buy 202.35 €

Είσοδος

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

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

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

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

Δημιουργία λογαριασμού Libristo