Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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

Limba englezăengleză
Carte Copertă tare
Carte Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
Codul Libristo: 19760818
Editura World Scientific Publishing Co Pte Ltd, iulie 2018
This book is for graduate students and researchers, introducing modern foundational research in math... Descrierea completă
? points 287 b
623.33 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Fachlageristen Antje Reynders / Carte Carte broșată
common.buy 84.23 lei
Agricultura Sostenible Carlos A. Salas Macías / Carte Carte broșată
common.buy 381.04 lei
Maigret und der Treidler der Providence Rainer Moritz / Carte Carte broșată
common.buy 65.57 lei
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Carte Foaie
common.buy 147.41 lei
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Carte Carte broșată
common.buy 252.29 lei
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Carte Carte broșată
common.buy 381.04 lei
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Carte Carte broșată
common.buy 199.32 lei
La brisa del Egeo Ana Muncharaz Rossi / Carte Carte broșată
common.buy 90.69 lei
Eisblumen Christoph Fackelmann / Carte Carte broșată
common.buy 159.40 lei
Die Pestalozzische Pädagogik Heinrich Scherer / Carte Copertă tare
common.buy 157.62 lei
Marx, Engels, Beatles Vltava / Audio Audio CD
common.buy 50.76 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Autor Klaus Mainzer Et Al
Limba engleză
Legare Carte - Copertă tare
Data publicării 2018
Număr pagini 300
EAN 9789813270930
ISBN 9813270934
Codul Libristo 19760818
Editura World Scientific Publishing Co Pte Ltd
Greutatea 576
Dimensiuni 235 x 159 x 24

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Introduction to Default Logic Philippe Besnard / Carte Carte broșată
common.buy 570.37 lei
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Carte Carte broșată
common.buy 310.05 lei
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Carte Copertă tare
common.buy 1 052.55 lei
Second Chances: Book One of the Fabulous Four series Christina Corlett / Carte Carte broșată
common.buy 61.92 lei
Nou
Oswald Mosley and a Short History of Fascism Andrew Sangster / Carte Copertă tare
common.buy 148.24 lei
JJ's Way to Start the Day M Ed Cindy Odum Harris / Carte Carte broșată
common.buy 53.37 lei
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Carte Carte broșată
common.buy 44.09 lei
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Carte Carte broșată
common.buy 39.50 lei
Julius Caesar Patricia Southern / Carte Carte broșată
common.buy 77.97 lei
Blood Royal Grant Allen / Carte Carte broșată
common.buy 89.86 lei
Get Known Be Seen DEBORAH FAY / Carte Carte broșată
common.buy 113.11 lei
PHENOMENES Marina Gadonneix / Carte Carte broșată
common.buy 241.86 lei
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Carte Carte broșată
common.buy 129.79 lei
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Carte Carte broșată
common.buy 54.72 lei
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Carte Copertă tare
common.buy 968.31 lei
Pandemic Information Solution Joshua Gans / E-book Adobe ePub DRM
common.buy 28.04 lei
Ecclesiastes Preston A Taylor / Carte Carte broșată
common.buy 119.88 lei
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Carte Carte broșată
common.buy 137.19 lei
Curând
Conditional Tense Antjie Krog / Carte Copertă tare
common.buy 171.91 lei
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Carte Carte broșată
common.buy 368.01 lei
World According to Anna Jostein Gaarder / Carte Carte broșată
common.buy 71.40 lei
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Carte Copertă tare
common.buy 1 564.24 lei
Drugs and Politics Rock / Carte Carte broșată
common.buy 190.57 lei
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Carte Carte broșată
common.buy 243.84 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?