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

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

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

Mauricio Ayala-Rincón

César A. Mu?oz

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 16771860

ΕΕκδοτικός οίκος Springer International Publishing AG, Αύγουστος 2017

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

Κωδικός Libristo: 16771860

125 b

51.69 €

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

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

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

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

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi

Επιτραπέζιο παιχνίδι

78.81 €

Paris Zola

Χαρτόδετο

10.31 €

Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab

Χαρτόδετο

49.87 €

Természetes spiritualitás Pál Ferenc

Χαρτόδετο

11.02 €

La Normandie gourmande en 48 recettes (FR) PERETTI

Χαρτόδετο

10.11 €

Mirai Nikki - New Edition 01 Josef Shanel

Χαρτόδετο

11.93 €

Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek

Audio CD

11.63 €

Maths 1re Enseignement scientifique (2023) - Manuel élève Milan

Βιβλίο

29.84 €

Terapeutické rodičovstvo Sarah Naish

Χαρτόδετο

17.09 €

Digitale Bildverarbeitung Martin Werner

Χαρτόδετο

37.83 €

Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J

Χαρτόδετο

37.83 €

Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper

Χαρτόδετο

6.67 €

Oeuvres Completes Tome 3, 2 Sophie Cottin

Χαρτόδετο

23.26 €

Book of Blessings Heb Raymond Cintas

Σκληρόδετο

59.99 €

Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A

Χαρτόδετο

16.28 €

Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena

Χαρτόδετο

35.71 €

Nessahira Esin Kiroglu

Χαρτόδετο

15.17 €

Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino

Χαρτόδετο

48.96 €

Diagnose Algebraischen Denkens ALEXANDER MEYER

Χαρτόδετο

67.48 €

The Raging Wrath Of The Easter Bunny Demo Mr. Bungle

Audio CD

18.91 €

Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz

Χαρτόδετο

16.18 €

Tout un zoo en pâte à modeler Oren

binding.

19.32 €

Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho

Χαρτόδετο

35.71 €

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

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

EWA KASP για

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

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

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

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

Συγγραφέας Mauricio Ayala-Rincón, César A. Mu?oz

Γλώσσα

Αγγλική

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

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

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

EAN 9783319661063

ISBN 331966106X

Κωδικός Libristo 16771860

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

Βάρος 8248

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

Κατηγορία

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 > Systems analysis & design

Computing & Information Technology > Computer science > Artificial intelligence

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

Είναι εύκολο

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