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

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

Δωρεάν αποστολή με 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 International Publishing AG
SKU: 02779852
Price: 51.69 EUR
Availability: InStock
Author: Gerwin Klein
ISBN: 9783319089690

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Gerwin Klein

Ruben Gamboa

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 02779852

ΕΕκδοτικός οίκος Springer International Publishing AG, Ιούνιος 2014

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Πλήρης περιγραφή

Κωδικός Libristo: 02779852

125 b

51.69 €

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

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

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

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

Stadi. Architettura e mito Fabio Salomoni

Χαρτόδετο

48.66 €

SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Βιβλίο

Χαρτόδετο

29.13 €

Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина

Χαρτόδετο

21.84 €

Mesnevija II Dželaluddin Rumi

Χαρτόδετο

11.12 €

Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof

Χαρτόδετο

29.43 €

De la sigillographie féminine médiévale dans l’Europe méditerranéenne

Χαρτόδετο

55.84 €

Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp

Κάρτες

10.51 €

Theorien der Vergleichenden Regierungslehre Gisela Riescher

Χαρτόδετο

26.50 €

Franz Liszt und seine Zeit Wolfgang Dömling

Σκληρόδετο

35.40 €

Aktiv für gesunde Knochen, m. DVD Marta Agoston

Χαρτόδετο

7.27 €

Kreativnye mysli Evgenij Shepel'

Χαρτόδετο

37.43 €

Na půl žerdi Heda Bartíková

Χαρτόδετο

3.53 €

EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist

Χαρτόδετο

30.55 €

Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen

Χαρτόδετο

31.86 €

Livre cotes de France -le- tome 2 Jean Merrien

Χαρτόδετο

5.05 €

Empezar de cero Jimi Hendrix

Χαρτόδετο

30.95 €

Dirección y gestión empresarial Fausto Pedro García Márquez

Χαρτόδετο

34.29 €

Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13)

Χαρτόδετο

43.90 €

La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon

Χαρτόδετο

32.06 €

citrouille roulante JUNIA WONDERS

Σκληρόδετο

23.26 €

Bir Tanem Felicien Marceau

Χαρτόδετο

12.23 €

Carnets de jeunesse Fallet

Χαρτόδετο

31.66 €

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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

EWA KASP για

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

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

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

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

Συγγραφέας Gerwin Klein, Ruben Gamboa

Γλώσσα

Αγγλική

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

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

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

EAN 9783319089690

ISBN 3319089692

Κωδικός Libristo 02779852

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

Βάρος 8657

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

Κατηγορία

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

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures

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

Computing & Information Technology > Computer networking & communications > Network security

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 > Computer security

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

Είναι εύκολο

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