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

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

Δωρεάν αποστολή με 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 International Publishing AG
SKU: 02836544
Price: 51.75 EUR
Availability: InStock
Author: Moreno Falaschi
ISBN: 9783319274355

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Moreno Falaschi

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 02836544

ΕΕκδοτικός οίκος Springer International Publishing AG, Δεκέμβριος 2015

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International... Πλήρης περιγραφή

Κωδικός Libristo: 02836544

125 b

51.75 €

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

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

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

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

N.E.O. Tome 2 : Les Deux Chateaux Michel Bussi

Χαρτόδετο

10.42 €

Sauvage

Χαρτόδετο

30.17 €

Ivan Vyskočil a jeho neliteratura Pavel Janoušek

Βιβλίο

7.18 €

Soziologia Horton

Χαρτόδετο

27.94 €

Por el Templo y por las Casas: Tomo 2 Juan A. Morales

Χαρτόδετο

20.35 €

Le Désordre Mondial Du Capitalisme: La Politique Ouvri?re Au Millénaire Jack Barnes

Χαρτόδετο

28.75 €

Despacito y buenaletra : método para prevenir y corregir las dificultades en la escritura II José Ramiro Viso Alonso

Χαρτόδετο

17.01 €

Philomela Lena Behmenburg

Σκληρόδετο

208.63 €

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International Symposium on Logic-Based Program§Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions.§ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

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

EWA KASP για

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

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

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

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

Συγγραφέας Moreno Falaschi

Γλώσσα

Αγγλική

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

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

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

EAN 9783319274355

ISBN 331927435X

Κωδικός Libristo 02836544

ΕΕκδοτικός οίκος Springer International Publishing AG

Βάρος 6088

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

Κατηγορία

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 > Programming techniques

Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)

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

Computing & Information Technology > Operating systems

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

Είναι εύκολο

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

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

Little Critter: Just a Special Day Mercer Mayer

Χαρτόδετο

5.05 €

Diseases of the Stomach with Special Reference to Treatment Charles Dettie Aaron

Σκληρόδετο

43.14 €

Exercises in macroeconomic theory III with solutions Echevarría Olave

Χαρτόδετο

19.13 €

Decision Theory and the Future of AI Yang Liu

Σκληρόδετο

103.10 €

Vessel Matthew Bryant

Χαρτόδετο

10.83 €

Notebooks de Heem, van Huijsum, Renoir (Set of 3, Large) Arca Publishers

Χαρτόδετο

9.00 €

Place in the Sun Tim Tingle

Χαρτόδετο

23.39 €

Royal and Historical Letters During the Reign of Henry the Fourth, King of England and of France, and Lord of Ireland Volume 1 F. C. (Francis Charles) 1833 Hingeston

Σκληρόδετο

42.12 €

Kindle Paperwhite User Guide Sharon Hurley

Χαρτόδετο

27.94 €

Higher Education United States Government Accountability

Χαρτόδετο

16.09 €

African Personality and Spirituality Anthony Ephirim-Donkor

Σκληρόδετο

126.09 €

Reform without Liberalization Kevin J. O`Brien

Σκληρόδετο

134.49 €

Practical Flow Cytometry 4e Howard M. Shapiro

Σκληρόδετο

228.79 €

Συχνές αναζητήσεις

Categories

Authors

Publishers

Συχνές αναζητήσεις

Προϊόντα

Categories

Authors

Publishers

Παράδοση

Οδηγός αγορών

Logic-Based Program Synthesis and Transformation