A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

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

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
Libristo kód: 19760818
Kiadó World Scientific Publishing Co Pte Ltd, július 2018
This book is for graduate students and researchers, introducing modern foundational research in math... Teljes leírás
? points 294 b
42 992 Ft
Beszállítói készleten Küldés 9-15 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Könyv Puha kötésű
common.buy 17 435 Ft
Die Pestalozzische Pädagogik Heinrich Scherer / Könyv Kemény kötésű
common.buy 10 601 Ft
Eisblumen Christoph Fackelmann / Könyv Puha kötésű
common.buy 11 070 Ft
Marx, Engels, Beatles Vltava / Hanganyagok Audio CD
common.buy 3 417 Ft
La brisa del Egeo Ana Muncharaz Rossi / Könyv Puha kötésű
common.buy 6 106 Ft
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Könyv Puha kötésű
common.buy 26 474 Ft
Fachlageristen Antje Reynders / Könyv Puha kötésű
common.buy 5 650 Ft
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Könyv Puha kötésű
common.buy 13 783 Ft
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Könyv Lap
common.buy 10 223 Ft
Maigret und der Treidler der Providence Rainer Moritz / Könyv Puha kötésű
common.buy 4 890 Ft
Agricultura Sostenible Carlos A. Salas Macías / Könyv Puha kötésű
common.buy 25 028 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Szerző Klaus Mainzer Et Al
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2018
Oldalszám 300
EAN 9789813270930
ISBN 9813270934
Libristo kód 19760818
Kiadó World Scientific Publishing Co Pte Ltd
Súly 576
Méretek 235 x 159 x 24

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Introduction to Default Logic Philippe Besnard / Könyv Puha kötésű
common.buy 41 546 Ft
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Könyv Puha kötésű
common.buy 21 888 Ft
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Könyv Kemény kötésű
common.buy 74 007 Ft
JJ's Way to Start the Day M Ed Cindy Odum Harris / Könyv Puha kötésű
common.buy 3 693 Ft
Új
Oswald Mosley and a Short History of Fascism Andrew Sangster / Könyv Kemény kötésű
common.buy 9 974 Ft
English-Icelandic Bilingual Children's Picture Dictionary Book of Colors Richard Carlson Jr / Könyv Puha kötésű
common.buy 4 278 Ft
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Könyv Puha kötésű
common.buy 2 966 Ft
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Könyv Puha kötésű
common.buy 2 758 Ft
Julius Caesar Patricia Southern / Könyv Puha kötésű
common.buy 5 259 Ft
Blood Royal Grant Allen / Könyv Puha kötésű
common.buy 6 686 Ft
Get Known Be Seen DEBORAH FAY / Könyv Puha kötésű
common.buy 7 815 Ft
PHENOMENES Marina Gadonneix / Könyv Puha kötésű
common.buy 16 269 Ft
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Könyv Puha kötésű
common.buy 8 966 Ft
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Könyv Puha kötésű
common.buy 3 679 Ft
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Könyv Kemény kötésű
common.buy 68 868 Ft
Pandemic Information Solution Joshua Gans / E-könyv Adobe ePub DRM
common.buy 1 883 Ft
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Könyv Puha kötésű
common.buy 16 910 Ft
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Könyv Puha kötésű
common.buy 9 565 Ft
Hamarosan
Conditional Tense Antjie Krog / Könyv Kemény kötésű
common.buy 11 535 Ft
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Könyv Puha kötésű
common.buy 25 410 Ft
World According to Anna Jostein Gaarder / Könyv Puha kötésű
common.buy 4 379 Ft
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Könyv Kemény kötésű
common.buy 105 215 Ft
Drugs and Politics Rock / Könyv Puha kötésű
common.buy 13 143 Ft
Ecclesiastes Preston A Taylor / Könyv Puha kötésű
common.buy 8 280 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?