Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
Libristo kod: 19760818
Nakladnici World Scientific Publishing Co Pte Ltd, srpanj 2018
This book is for graduate students and researchers, introducing modern foundational research in math... Cijeli opis
? points 275 b
113.47 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Fachlageristen Antje Reynders / Knjiga Meki uvez
common.buy 15.15 €
Agricultura Sostenible Carlos A. Salas Macías / Knjiga Meki uvez
common.buy 68.40 €
Maigret und der Treidler der Providence Rainer Moritz / Knjiga Meki uvez
common.buy 11.81 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Knjiga List
common.buy 26.57 €
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Knjiga Meki uvez
common.buy 45.77 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Knjiga Meki uvez
common.buy 68.40 €
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Knjiga Meki uvez
common.buy 36.17 €
La brisa del Egeo Ana Muncharaz Rossi / Knjiga Meki uvez
common.buy 16.46 €
Eisblumen Christoph Fackelmann / Knjiga Meki uvez
common.buy 28.59 €
Die Pestalozzische Pädagogik Heinrich Scherer / Knjiga Tvrdi uvez
common.buy 28.39 €
Marx, Engels, Beatles Vltava / Audio Audio CD
common.buy 9.08 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Autor Klaus Mainzer Et Al
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2018
Broj stranica 300
EAN 9789813270930
ISBN 9813270934
Libristo kod 19760818
Nakladnici World Scientific Publishing Co Pte Ltd
Težina 576
Dimenzije 235 x 159 x 24

Kategorija

Computing & Information Technology > Computer science > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Introduction to Default Logic Philippe Besnard / Knjiga Meki uvez
common.buy 102.86 €
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Knjiga Meki uvez
common.buy 58.90 €
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Knjiga Tvrdi uvez
common.buy 200.18 €
Second Chances: Book One of the Fabulous Four series Christina Corlett / Knjiga Meki uvez
common.buy 11.21 €
Novo
Oswald Mosley and a Short History of Fascism Andrew Sangster / Knjiga Tvrdi uvez
common.buy 26.47 €
JJ's Way to Start the Day M Ed Cindy Odum Harris / Knjiga Meki uvez
common.buy 9.69 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Knjiga Meki uvez
common.buy 7.97 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Knjiga Meki uvez
common.buy 6.96 €
Julius Caesar Patricia Southern / Knjiga Meki uvez
common.buy 13.94 €
Blood Royal Grant Allen / Knjiga Meki uvez
common.buy 16.16 €
Get Known Be Seen DEBORAH FAY / Knjiga Meki uvez
common.buy 20.50 €
PHENOMENES Marina Gadonneix / Knjiga Meki uvez
common.buy 44.05 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Knjiga Meki uvez
common.buy 23.64 €
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Knjiga Meki uvez
common.buy 9.69 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Knjiga Tvrdi uvez
common.buy 174.71 €
Pandemic Information Solution Joshua Gans / E-knjiga Adobe ePub DRM
common.buy 5.04 €
Ecclesiastes Preston A Taylor / Knjiga Meki uvez
common.buy 21.72 €
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Knjiga Meki uvez
common.buy 24.55 €
Pripremamo
Conditional Tense Antjie Krog / Knjiga Tvrdi uvez
common.buy 31.11 €
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Knjiga Meki uvez
common.buy 66.89 €
World According to Anna Jostein Gaarder / Knjiga Meki uvez
common.buy 13.03 €
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Knjiga Tvrdi uvez
common.buy 281.83 €
Drugs and Politics Rock / Knjiga Meki uvez
common.buy 34.75 €
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Knjiga Meki uvez
common.buy 43.95 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun