Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

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

Langue AnglaisAnglais
Livre Livre relié
Livre Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
Code Libristo: 19760818
Éditeurs World Scientific Publishing Co Pte Ltd, juillet 2018
This book is for graduate students and researchers, introducing modern foundational research in math... Description détaillée
? points 287 b
117.29 € TVA incluse
Stockage externe Expédition sous 14-21 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Livre Livre de poche
common.buy 47.49 €
Die Pestalozzische Pädagogik Heinrich Scherer / Livre Livre relié
common.buy 31.29 €
Eisblumen Christoph Fackelmann / Livre Livre de poche
common.buy 32.00 €
Marx, Engels, Beatles Vltava / Audio CD Audio
common.buy 10.09 €
La brisa del Egeo Ana Muncharaz Rossi / Livre Livre de poche
common.buy 17.79 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Livre Livre de poche
common.buy 71.69 €
Fachlageristen Antje Reynders / Livre Livre de poche
common.buy 16.69 €
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Livre Livre de poche
common.buy 37.49 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Livre Feuille
common.buy 27.99 €
Maigret und der Treidler der Providence Rainer Moritz / Livre Livre de poche
common.buy 13.00 €
Agricultura Sostenible Carlos A. Salas Macías / Livre Livre de poche
common.buy 71.69 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Auteur Klaus Mainzer Et Al
Langue Anglais
Reliure Livre - Livre relié
Date de parution 2018
Nombre de pages 300
EAN 9789813270930
ISBN 9813270934
Code Libristo 19760818
Éditeurs World Scientific Publishing Co Pte Ltd
Poids 576
Dimensions 235 x 159 x 24

Catégories

Informatique et technologies de l’information > Informatique > Informatique théorique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Introduction to Default Logic Philippe Besnard / Livre Livre de poche
common.buy 107.29 €
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Livre Livre de poche
common.buy 64.19 €
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Livre Livre relié
common.buy 216.09 €
JJ's Way to Start the Day M Ed Cindy Odum Harris / Livre Livre de poche
common.buy 10.09 €
Oswald Mosley and a Short History of Fascism Andrew Sangster / Livre Livre relié
common.buy 27.89 €
English-Icelandic Bilingual Children's Picture Dictionary Book of Colors Richard Carlson Jr / Livre Livre de poche
common.buy 11.59 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Livre Livre de poche
common.buy 8.29 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Livre Livre de poche
common.buy 7.89 €
Julius Caesar Patricia Southern / Livre Livre de poche
common.buy 14.69 €
Blood Royal Grant Allen / Livre Livre de poche
common.buy 16.89 €
Get Known Be Seen DEBORAH FAY / Livre Livre de poche
common.buy 21.29 €
PHENOMENES Marina Gadonneix / Livre Livre de poche
common.buy 47.59 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Livre Livre de poche
common.buy 29.89 €
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Livre Livre de poche
common.buy 10.29 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Livre Livre relié
common.buy 182.19 €
Pandemic Information Solution Joshua Gans / Livre numérique Adobe ePub DRM
common.buy 5.49 €
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Livre Livre de poche
common.buy 46.29 €
Top
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Livre Livre de poche
common.buy 25.79 €
Bientôt
Conditional Tense Antjie Krog / Livre Livre relié
common.buy 33.49 €
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Livre Livre de poche
common.buy 69.29 €
World According to Anna Jostein Gaarder / Livre Livre de poche
common.buy 12.49 €
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Livre Livre relié
common.buy 294.39 €
Drugs and Politics Rock / Livre Livre de poche
common.buy 35.89 €
Ecclesiastes Preston A Taylor / Livre Livre de poche
common.buy 22.59 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?