Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
Libristo kód: 19760818
Nakladatelství World Scientific Publishing Co Pte Ltd, červenec 2018
This book is for graduate students and researchers, introducing modern foundational research in math... Celý popis
? points 263 b
2 628 Kč
Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Fachlageristen Antje Reynders / Kniha Brožovaná
common.buy 388 Kč
Agricultura Sostenible Carlos A. Salas Macías / Kniha Brožovaná
common.buy 1 560 Kč
Maigret und der Treidler der Providence Rainer Moritz / Kniha Brožovaná
common.buy 269 Kč
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Kniha List
common.buy 607 Kč
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Kniha Brožovaná
common.buy 1 054 Kč
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Kniha Brožovaná
common.buy 1 560 Kč
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Kniha Brožovaná
common.buy 833 Kč
La brisa del Egeo Ana Muncharaz Rossi / Kniha Brožovaná
common.buy 418 Kč
Eisblumen Christoph Fackelmann / Kniha Brožovaná
common.buy 653 Kč
Die Pestalozzische Pädagogik Heinrich Scherer / Kniha Pevná
common.buy 726 Kč
Marx, Engels, Beatles Vltava / Audio Audio CD
common.buy 226 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Autor Klaus Mainzer Et Al
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2018
Počet stran 300
EAN 9789813270930
ISBN 9813270934
Libristo kód 19760818
Nakladatelství World Scientific Publishing Co Pte Ltd
Váha 576
Rozměry 235 x 159 x 24

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Introduction to Default Logic Philippe Besnard / Kniha Brožovaná
common.buy 2 357 Kč
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Kniha Brožovaná
common.buy 1 357 Kč
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Kniha Pevná
common.buy 4 627 Kč
Second Chances: Book One of the Fabulous Four series Christina Corlett / Kniha Brožovaná
common.buy 258 Kč
Nové
Oswald Mosley and a Short History of Fascism Andrew Sangster / Kniha Pevná
common.buy 598 Kč
JJ's Way to Start the Day M Ed Cindy Odum Harris / Kniha Brožovaná
common.buy 222 Kč
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Kniha Brožovaná
common.buy 182 Kč
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Kniha Brožovaná
common.buy 170 Kč
Julius Caesar Patricia Southern / Kniha Brožovaná
common.buy 314 Kč
Blood Royal Grant Allen / Kniha Brožovaná
common.buy 368 Kč
Get Known Be Seen DEBORAH FAY / Kniha Brožovaná
common.buy 472 Kč
PHENOMENES Marina Gadonneix / Kniha Brožovaná
common.buy 1 114 Kč
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Kniha Brožovaná
common.buy 547 Kč
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Kniha Brožovaná
common.buy 205 Kč
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Kniha Pevná
common.buy 4 002 Kč
Pandemic Information Solution Joshua Gans / E-kniha Adobe ePub DRM
common.buy 129 Kč
Ecclesiastes Preston A Taylor / Kniha Brožovaná
common.buy 501 Kč
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Kniha Brožovaná
common.buy 521 Kč
Připravujeme
Conditional Tense Antjie Krog / Kniha Pevná
common.buy 792 Kč
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Kniha Brožovaná
common.buy 1 545 Kč
World According to Anna Jostein Gaarder / Kniha Brožovaná
common.buy 300 Kč
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Kniha Pevná
common.buy 6 446 Kč
Drugs and Politics Rock / Kniha Brožovaná
common.buy 804 Kč
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Kniha Brožovaná
common.buy 1 005 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet