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

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

Δωρεάν αποστολή με 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

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

Βοήθεια

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

▸ Άδειο :-(

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658528
Price: 58.4 EUR
Availability: InStock
Author: Marko Van Eekelen
ISBN: 9783642228629

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01658528

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Αύγουστος 2011

This book constitutes the refereed proceedings of the Second International Conference on Interactive... Πλήρης περιγραφή

Κωδικός Libristo: 01658528

141 b

58.40 €

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

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

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

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

Pferdekrankheiten Wilfried Bellinghausen

Χαρτόδετο

17.88 €

Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci

Χαρτόδετο

15.86 €

Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin

Σκληρόδετο

28.59 €

Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich

Χαρτόδετο

16.16 €

Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann

Χαρτόδετο

8.98 €

Chromatic herbarium Massimo Gardone

Χαρτόδετο

67.39 €

Albert Einstein Johannes Wickert

Χαρτόδετο

9.08 €

Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Βιβλίο

Βιβλίο

25.05 €

Walt Disney Captivating History

Σκληρόδετο

23.03 €

Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa

Χαρτόδετο

9.49 €

BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack

Χαρτόδετο

12.72 €

Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán

Χαρτόδετο

44.45 €

"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter

Χαρτόδετο

16.16 €

Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil

Χαρτόδετο

13.33 €

Ridiculum Vitae Orta

Χαρτόδετο

13.33 €

Terror Ferdinand von Schirach

Χαρτόδετο

10.90 €

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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

EWA KASP για

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

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

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

Πλήρες όνομα Interactive Theorem Proving

Συγγραφέας Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

Γλώσσα

Αγγλική

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

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

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

EAN 9783642228629

ISBN 3642228623

Κωδικός Libristo 01658528

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 605

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

Κατηγορία

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

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

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

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

Είναι εύκολο

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