Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

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

Język AngielskiAngielski
Książka Twarda
Książka Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
Kod Libristo: 19760818
Wydawnictwo World Scientific Publishing Co Pte Ltd, lipiec 2018
This book is for graduate students and researchers, introducing modern foundational research in math... Cały opis
? points 275 b
480.88 zł
Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Fachlageristen Antje Reynders / Książka Miękka
common.buy 67.84 zł
Agricultura Sostenible Carlos A. Salas Macías / Książka Miękka
common.buy 289.85 zł
Maigret und der Treidler der Providence Rainer Moritz / Książka Miękka
common.buy 50.00 zł
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Książka Karta
common.buy 112.45 zł
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Książka Miękka
common.buy 193.83 zł
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Książka Miękka
common.buy 289.85 zł
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Książka Miękka
common.buy 153.24 zł
La brisa del Egeo Ana Muncharaz Rossi / Książka Miękka
common.buy 73.16 zł
Eisblumen Christoph Fackelmann / Książka Miękka
common.buy 121.26 zł
Die Pestalozzische Pädagogik Heinrich Scherer / Książka Twarda
common.buy 126.98 zł
Marx, Engels, Beatles Vltava / Audio CD Audio
common.buy 40.88 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Autor Klaus Mainzer Et Al
Język Angielski
Oprawa Książka - Twarda
Data wydania 2018
Liczba stron 300
EAN 9789813270930
ISBN 9813270934
Kod Libristo 19760818
Wydawnictwo World Scientific Publishing Co Pte Ltd
Waga 576
Wymiary 235 x 159 x 24

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Introduction to Default Logic Philippe Besnard / Książka Miękka
common.buy 435.98 zł
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Książka Miękka
common.buy 237.43 zł
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Książka Twarda
common.buy 809.43 zł
Second Chances: Book One of the Fabulous Four series Christina Corlett / Książka Miękka
common.buy 47.40 zł
Nowość
Oswald Mosley and a Short History of Fascism Andrew Sangster / Książka Twarda
common.buy 112.14 zł
JJ's Way to Start the Day M Ed Cindy Odum Harris / Książka Miękka
common.buy 40.88 zł
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Książka Miękka
common.buy 33.77 zł
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Książka Miękka
common.buy 31.86 zł
Julius Caesar Patricia Southern / Książka Miękka
common.buy 58.92 zł
Blood Royal Grant Allen / Książka Miękka
common.buy 68.34 zł
Get Known Be Seen DEBORAH FAY / Książka Miękka
common.buy 86.79 zł
PHENOMENES Marina Gadonneix / Książka Miękka
common.buy 194.83 zł
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Książka Miękka
common.buy 100.02 zł
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Książka Miękka
common.buy 41.28 zł
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Książka Twarda
common.buy 740.17 zł
Pandemic Information Solution Joshua Gans / E-book Adobe ePub DRM
common.buy 22.54 zł
Ecclesiastes Preston A Taylor / Książka Miękka
common.buy 92.00 zł
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Książka Miękka
common.buy 104.13 zł
Zapowiedź
Conditional Tense Antjie Krog / Książka Twarda
common.buy 138.50 zł
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Książka Miękka
common.buy 283.43 zł
World According to Anna Jostein Gaarder / Książka Miękka
common.buy 57.52 zł
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Książka Twarda
common.buy 1 194.20 zł
Drugs and Politics Rock / Książka Miękka
common.buy 147.12 zł
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Książka Miękka
common.buy 186.11 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo