«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

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

Idioma InglésInglés
Libro Tapa dura
Libro Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
Código Libristo: 19760818
Editores World Scientific Publishing Co Pte Ltd, julio 2018
This book is for graduate students and researchers, introducing modern foundational research in math... Descripción completa
? points 287 b
117.29 €
Almacenamiento externo Envío en 14-21 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Popular
Oko ihly Ken Follett / Libro Tapa dura
common.buy 22.09 €
Die Pestalozzische Pädagogik Heinrich Scherer / Libro Tapa dura
common.buy 31.79 €
Próximamente
Eisblumen Christoph Fackelmann / Libro Tapa blanda
common.buy 28.29 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Libro Hoja
common.buy 29.19 €
Agricultura Sostenible Carlos A. Salas Macías / Libro Tapa blanda
common.buy 75.69 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Libro Tapa blanda
common.buy 75.69 €
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Libro Tapa blanda
common.buy 47.49 €
Maigret und der Treidler der Providence Rainer Moritz / Libro Tapa blanda
common.buy 11.69 €
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Libro Tapa blanda
common.buy 37.49 €
La brisa del Egeo Ana Muncharaz Rossi / Libro Tapa blanda
common.buy 16.49 €
Fachlageristen Antje Reynders / Libro Tapa blanda
common.buy 16.89 €
Marx, Engels, Beatles Vltava / Audio CD de audio
common.buy 10.29 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Autor Klaus Mainzer Et Al
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2018
Número de páginas 300
EAN 9789813270930
ISBN 9813270934
Código Libristo 19760818
Editores World Scientific Publishing Co Pte Ltd
Peso 576
Dimensiones 235 x 159 x 24

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Introduction to Default Logic Philippe Besnard / Libro Tapa blanda
common.buy 112.79 €
Automated Technology for Verification and Analysis Etienne Andre / Libro electrónico Adobe ePub DRM
common.buy 92.49 €
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Libro Tapa blanda
common.buy 65.29 €
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Libro Tapa dura
common.buy 219.69 €
English-Icelandic Bilingual Children's Picture Dictionary Book of Colors Richard Carlson Jr / Libro Tapa blanda
common.buy 11.59 €
Real estate management and rental conditions in Congo Ulrich Salem GUEBO / Libro Tapa blanda
common.buy 43.29 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Libro Tapa blanda
common.buy 8.49 €
Prison Architecture and Punishment in Colonial Senegal Konate / Libro Tapa dura
common.buy 159.19 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Libro Tapa blanda
common.buy 7.79 €
Popular
Mathematics for Machine Learning Marc Peter Deisenroth / Libro Tapa blanda
common.buy 57.39 €
Julius Caesar Patricia Southern / Libro Tapa blanda
common.buy 14.99 €
Blood Royal Grant Allen / Libro Tapa blanda
common.buy 17.79 €
Get Known Be Seen DEBORAH FAY / Libro Tapa blanda
common.buy 21.29 €
PHENOMENES Marina Gadonneix / Libro Tapa blanda
common.buy 46.09 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Libro Tapa blanda
common.buy 29.89 €
Popular
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Libro Tapa blanda
common.buy 11.59 €
Good Soldier Svejk Jaroslav Hasek / Audiolibro MP3
common.buy 4.69 €
Popular
The Green Witch's Coloring Book: From Enchanting Forest Scenes to Intricate Herb Gardens, Conjure the Colorful World of Natural Magic Sara Richard / Libro Tapa blanda
common.buy 10.89 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Libro Tapa dura
common.buy 172.89 €
Pandemic Information Solution Joshua Gans / Libro electrónico Adobe ePub DRM
common.buy 5.69 €
Doctor Who: The Companions Collection Peter Grimwade / Audiolibro MP3
common.buy 14.39 €
Marvel: Black Panther: The Intergalactic Empire of Wakanda Suyi Davies Okungbowa / Audiolibro MP3
common.buy 13.19 €
Oswald Mosley and a Short History of Fascism Andrew Sangster / Libro Tapa dura
common.buy 28.59 €
Popular
Is Eating People Wrong? Allan C. Hutchinson / Libro Tapa blanda
common.buy 36.39 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?