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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Name: Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Brand: World Scientific Publishing Co Pte Ltd
SKU: 19760818
Price: 118.67 EUR
Availability: InStock
Author: Klaus Mainzer Et Al
ISBN: 9789813270930

Klaus Mainzer Et Al

Γλώσσα

Αγγλική

Βιβλίο Σκληρόδετο

Κωδικός Libristo: 19760818

ΕΕκδοτικός οίκος World Scientific Publishing Co Pte Ltd, Ιούλιος 2018

This book is for graduate students and researchers, introducing modern foundational research in math... Πλήρης περιγραφή

Κωδικός Libristo: 19760818

287 b

118.67 €

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

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

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

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

Fachlageristen Antje Reynders

Χαρτόδετο

16.08 €

Agricultura Sostenible Carlos A. Salas Macías

Χαρτόδετο

68.49 €

Maigret und der Treidler der Providence Rainer Moritz

Χαρτόδετο

11.83 €

Kriminell gut Geschichte entdecken 5-7 Harald Parigger

Λίστα

26.60 €

Histoire De La Guerre De Flandre V1 (1675) Famiano Strada

Χαρτόδετο

48.05 €

ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& ÐœÐ°Ñ€Ñ‚Ð¸Ð½ÐµÐ· Ð›Ð¾Ð¿ÐµÐ· Ð¡Ð°Ð»Ð²Ð° ÐœÐ°Ñ€Ñ‚Ð¸Ð½ÐµÐ· Ð›Ð¾Ð¿ÐµÐ·

Χαρτόδετο

68.49 €

OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin

Χαρτόδετο

37.93 €

La brisa del Egeo Ana Muncharaz Rossi

Χαρτόδετο

17.29 €

Eisblumen Christoph Fackelmann

Χαρτόδετο

28.62 €

Die Pestalozzische Pädagogik Heinrich Scherer

Σκληρόδετο

30.04 €

Marx, Engels, Beatles Vltava

Audio CD

9.70 €

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.

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

EWA KASP για

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

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

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

Πλήρες όνομα Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Συγγραφέας Klaus Mainzer Et Al

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Σκληρόδετο

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

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

EAN 9789813270930

ISBN 9813270934

Κωδικός Libristo 19760818

ΕΕκδοτικός οίκος World Scientific Publishing Co Pte Ltd

Βάρος 576

Διαστάσεις 235 x 159 x 24

Κατηγορία

Computing & Information Technology > Computer science > Mathematical theory of computation

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

Είναι εύκολο

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