«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 9-15 días

Política de devolución de 30 días

Clientes que también han comprado

Fachlageristen Antje Reynders / Libro Tapa blanda
common.buy 16.99 €
Agricultura Sostenible Carlos A. Salas Macías / Libro Tapa blanda
common.buy 75.69 €
Maigret und der Treidler der Providence Rainer Moritz / Libro Tapa blanda
common.buy 12.99 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Libro Hoja
common.buy 29.19 €
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Libro Tapa blanda
common.buy 47.49 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Libro Tapa blanda
common.buy 75.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.59 €
Eisblumen Christoph Fackelmann / Libro Tapa blanda
common.buy 31.69 €
Die Pestalozzische Pädagogik Heinrich Scherer / Libro Tapa dura
common.buy 31.79 €
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 €
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 €
Second Chances: Book One of the Fabulous Four series Christina Corlett / Libro Tapa blanda
common.buy 11.59 €
Nuevo
Oswald Mosley and a Short History of Fascism Andrew Sangster / Libro Tapa dura
common.buy 28.59 €
JJ's Way to Start the Day M Ed Cindy Odum Harris / Libro Tapa blanda
common.buy 10.09 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Libro Tapa blanda
common.buy 8.49 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Libro Tapa blanda
common.buy 7.89 €
Julius Caesar Patricia Southern / Libro Tapa blanda
common.buy 15.09 €
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.29 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Libro Tapa blanda
common.buy 25.49 €
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Libro Tapa blanda
common.buy 10.49 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Libro Tapa dura
common.buy 191.59 €
Pandemic Information Solution Joshua Gans / Libro electrónico Adobe ePub DRM
common.buy 5.59 €
Ecclesiastes Preston A Taylor / Libro Tapa blanda
common.buy 22.59 €
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Libro Tapa blanda
common.buy 25.79 €
Próximamente
Conditional Tense Antjie Krog / Libro Tapa dura
common.buy 34.39 €
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Libro Tapa blanda
common.buy 69.29 €
World According to Anna Jostein Gaarder / Libro Tapa blanda
common.buy 14.29 €
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Libro Tapa dura
common.buy 300.59 €
Drugs and Politics Rock / Libro Tapa blanda
common.buy 35.89 €
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Libro Tapa blanda
common.buy 48.29 €

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?