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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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.75 €
Vanjske zalihe Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Knjiga Meki uvez
common.buy 45.88 €
Top
Oko ihly Ken Follett / Knjiga Tvrdi uvez
common.buy 18.93 €
Die Pestalozzische Pädagogik Heinrich Scherer / Knjiga Tvrdi uvez
common.buy 28.46 €
Eisblumen Christoph Fackelmann / Knjiga Meki uvez
common.buy 28.66 €
Agricultura Sostenible Carlos A. Salas Macías / Knjiga Meki uvez
common.buy 68.57 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Knjiga Meki uvez
common.buy 68.57 €
Pripremamo
Marx, Engels, Beatles Vltava / Audio Audio CD
common.buy 9.11 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Knjiga List
common.buy 26.63 €
Maigret und der Treidler der Providence Rainer Moritz / Knjiga Meki uvez
common.buy 11.84 €
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Knjiga Meki uvez
common.buy 36.26 €
La brisa del Egeo Ana Muncharaz Rossi / Knjiga Meki uvez
common.buy 15.59 €
Fachlageristen Antje Reynders / Knjiga Meki uvez
common.buy 15.19 €

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 103.12 €
Automated Technology for Verification and Analysis Etienne Andre / E-knjiga Adobe ePub DRM
common.buy 83.67 €
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Knjiga Meki uvez
common.buy 59.05 €
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Knjiga Tvrdi uvez
common.buy 200.67 €
Good Soldier Svejk Jaroslav Hasek / Audio knjiga MP3
common.buy 4.24 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Knjiga Meki uvez
common.buy 7.89 €
Prison Architecture and Punishment in Colonial Senegal Konate / Knjiga Tvrdi uvez
common.buy 143.94 €
Julius Caesar Patricia Southern / Knjiga Meki uvez
common.buy 13.97 €
Blood Royal Grant Allen / Knjiga Meki uvez
common.buy 16.20 €
Get Known Be Seen DEBORAH FAY / Knjiga Meki uvez
common.buy 20.55 €
PHENOMENES Marina Gadonneix / Knjiga Meki uvez
common.buy 43.96 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Knjiga Meki uvez
common.buy 28.86 €
Top
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Knjiga Meki uvez
common.buy 9.72 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Knjiga Meki uvez
common.buy 6.98 €
Top
The Green Witch's Coloring Book: From Enchanting Forest Scenes to Intricate Herb Gardens, Conjure the Colorful World of Natural Magic Sara Richard / Knjiga Meki uvez
common.buy 10.83 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Knjiga Tvrdi uvez
common.buy 175.14 €
Pandemic Information Solution Joshua Gans / E-knjiga Adobe ePub DRM
common.buy 5.16 €
Doctor Who: The Companions Collection Peter Grimwade / Audio knjiga MP3
common.buy 12.86 €
Marvel: Black Panther: The Intergalactic Empire of Wakanda Suyi Davies Okungbowa / Audio knjiga MP3
common.buy 11.94 €
Oswald Mosley and a Short History of Fascism Andrew Sangster / Knjiga Tvrdi uvez
common.buy 26.43 €
Real estate management and rental conditions in Congo Ulrich Salem GUEBO / Knjiga Meki uvez
common.buy 39.30 €
World According to Anna Jostein Gaarder / Knjiga Meki uvez
common.buy 13.06 €
Ecclesiastes Preston A Taylor / Knjiga Meki uvez
common.buy 24.40 €
Drugs and Politics Rock / Knjiga Meki uvez
common.buy 34.84 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?