Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al

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

Klaus Mainzer Et Al

Língua

Inglês

Livro Livro de capa dura

Livro Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al

Código Libristo: 19760818

Editoras World Scientific Publishing Co Pte Ltd, julho 2018

This book is for graduate students and researchers, introducing modern foundational research in math... Descrição completa

Código Libristo: 19760818

?

points

238 b

98.42 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

Fachlageristen Antje Reynders

/

Capa mole

13.53 €

Agricultura Sostenible Carlos A. Salas Macías

/

Capa mole

60.42 €

Maigret und der Treidler der Providence Rainer Moritz

/

Capa mole

10.40 €

Kriminell gut Geschichte entdecken 5-7 Harald Parigger

/

Folha

23.64 €

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

/

Capa mole

39.10 €

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

/

Capa mole

60.42 €

OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin

/

Capa mole

30.91 €

La brisa del Egeo Ana Muncharaz Rossi

/

Capa mole

14.14 €

Eisblumen Christoph Fackelmann

/

Capa mole

25.25 €

Die Pestalozzische Pädagogik Heinrich Scherer

/

Livro de capa dura

25.25 €

Marx, Engels, Beatles Vltava

/

CD de áudio

8.78 €

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.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

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

Autor Klaus Mainzer Et Al

Língua

Inglês

Encadernação Livro - Livro de capa dura

Data de emissão 2018

Número de páginas 300

EAN 9789813270930

ISBN 9813270934

Código Libristo 19760818

Editoras World Scientific Publishing Co Pte Ltd

Peso 576

Dimensões 235 x 159 x 24

Categorias

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Introduction to Default Logic Philippe Besnard

/

Capa mole

91.75 €

Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner

/

Capa mole

53.04 €

Quality Issues in ICT-based Higher Education Rakesh Bhanot

/

Livro de capa dura

181.99 €

Second Chances: Book One of the Fabulous Four series Christina Corlett

/

Capa mole

9.49 €

Oswald Mosley and a Short History of Fascism Andrew Sangster

/

Livro de capa dura

22.93 €

JJ's Way to Start the Day M Ed Cindy Odum Harris

/

Capa mole

8.18 €

Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books

/

Capa mole

7.06 €

Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan

/

Capa mole

6.15 €

Julius Caesar Patricia Southern

/

Capa mole

12.02 €

Blood Royal Grant Allen

/

Capa mole

14.24 €

Get Known Be Seen DEBORAH FAY

/

Capa mole

17.47 €

PHENOMENES Marina Gadonneix

/

Capa mole

37.99 €

Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay

/

Capa mole

21.51 €

Allen Carr: The Easy Way to Quit Cannabis Allen Carr

/

Capa mole

8.48 €

Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin

/

Livro de capa dura

155.81 €

Pandemic Information Solution Joshua Gans

/

Adobe ePub DRM

4.54 €

Ecclesiastes Preston A Taylor

/

Capa mole

18.58 €

Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold

/

Capa mole

20.00 €

Conditional Tense Antjie Krog

/

Livro de capa dura

27.98 €

Non-Discrimination in International Trade in Services Nicolas F. Diebold

/

Capa mole

57.59 €

World According to Anna Jostein Gaarder

/

Capa mole

11.81 €

Norton Facsimile of the First Folio of Shakespeare William Shakespeare

/

Livro de capa dura

250.50 €

Drugs and Politics Rock

/

Capa mole

30.10 €

How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle

/

Capa mole

39.10 €