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
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

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 275 b
113.61 €
Stockage externe Expédition sous 14-21 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Oko ihly Ken Follett / Livre Livre relié
common.buy 20.33 €
Klett Mein Rätselblock ab 7 Jahren / Livre Livre de poche
common.buy 7.27 €
Die Pestalozzische Pädagogik Heinrich Scherer / Livre Livre relié
common.buy 29.74 €
Eisblumen Christoph Fackelmann / Livre Livre de poche
common.buy 28.62 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Livre Feuille
common.buy 26.60 €
Agricultura Sostenible Carlos A. Salas Macías / Livre Livre de poche
common.buy 248.38 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Livre Livre de poche
common.buy 68.49 €
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Livre Livre de poche
common.buy 45.82 €
Maigret und der Treidler der Providence Rainer Moritz / Livre Livre de poche
common.buy 11.83 €
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Livre Livre de poche
common.buy 36.21 €
La brisa del Egeo Ana Muncharaz Rossi / Livre Livre de poche
common.buy 17.19 €
Fachlageristen Antje Reynders / Livre Livre de poche
common.buy 15.77 €
Marx, Engels, Beatles Vltava / Audio CD Audio
common.buy 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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos 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 102.99 €
Automated Technology for Verification and Analysis Etienne Andre / Livre numérique Adobe ePub DRM
common.buy 87.41 €
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Livre Livre de poche
common.buy 61.91 €
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Livre Livre relié
common.buy 209.53 €
Real estate management and rental conditions in Congo Ulrich Salem GUEBO / Livre Livre de poche
common.buy 39.25 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Livre Livre de poche
common.buy 7.88 €
Prison Architecture and Punishment in Colonial Senegal Konate / Livre Livre relié
common.buy 151.05 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Livre Livre de poche
common.buy 7.48 €
Top
Mathematics for Machine Learning Marc Peter Deisenroth / Livre Livre de poche
common.buy 58.98 €
Deutsche Gesellschaft für Transfusionsmedizin und Immunhämatologie (DGTI) Siegfried Görg / Livre Livre de poche
common.buy 61.00 €
Julius Caesar Patricia Southern / Livre Livre de poche
common.buy 13.95 €
Blood Royal Grant Allen / Livre Livre de poche
common.buy 16.18 €
Calisthenics Workout Bible Bruce Harlow / Livre Livre de poche
common.buy 15.77 €
Get Known Be Seen DEBORAH FAY / Livre Livre de poche
common.buy 20.53 €
PHENOMENES Marina Gadonneix / Livre Livre de poche
common.buy 45.62 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Livre Livre de poche
common.buy 28.83 €
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Livre Livre de poche
common.buy 9.70 €
Good Soldier Svejk Jaroslav Hasek / Livre audio MP3
common.buy 4.44 €
Top
The Green Witch's Coloring Book: From Enchanting Forest Scenes to Intricate Herb Gardens, Conjure the Colorful World of Natural Magic Sara Richard / Livre Livre de poche
common.buy 10.11 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Livre Livre relié
common.buy 174.93 €
The New China Playbook Jin / Livre Livre de poche
common.buy 12.23 €
Pandemic Information Solution Joshua Gans / Livre numérique Adobe ePub DRM
common.buy 5.35 €
Doctor Who: The Companions Collection Peter Grimwade / Livre audio MP3
common.buy 13.55 €
Oswald Mosley and a Short History of Fascism Andrew Sangster / Livre Livre relié
common.buy 34.09 €

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 ?