Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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

Name: Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Brand: World Scientific Publishing Co Pte Ltd
SKU: 19760818
Price: 110.83 EUR
Availability: InStock
Author: Klaus Mainzer Et Al
ISBN: 9789813270930

Klaus Mainzer Et Al

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 19760818

Založba World Scientific Publishing Co Pte Ltd, julij 2018

This book is for graduate students and researchers, introducing modern foundational research in math... Celoten opis

Koda Libristo: 19760818

270 b

110.83 €

Na zalogi pri dobavitelju Odposlali bomo v 9-13 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin

Mehka

35.06 €

Marx, Engels, Beatles Vltava

Zvočni CD

8.83 €

Oko ihly Ken Follett

Trda

17.27 €

Klett Mein Rätselblock ab 7 Jahren

Mehka

6.92 €

Die Pestalozzische Pädagogik Heinrich Scherer

Trda

26.52 €

Eisblumen Christoph Fackelmann

Mehka

26.83 €

Katsugeki Touken Ranbu. Vol.3, 1 DVD Toshiyuki Shirai

DVD

16.88 €

Agricultura Sostenible Carlos A. Salas Macías

Mehka

232.23 €

Fachlageristen Antje Reynders

Mehka

14.06 €

ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& ÐœÐ°Ñ€Ñ‚Ð¸Ð½ÐµÐ· Ð›Ð¾Ð¿ÐµÐ· Ð¡Ð°Ð»Ð²Ð° ÐœÐ°Ñ€Ñ‚Ð¸Ð½ÐµÐ· Ð›Ð¾Ð¿ÐµÐ·

Mehka

64.03 €

Wgl?d w medytacj? i rzeczywisto?? Larisa Mironova

Mehka

40.79 €

Histoire De La Guerre De Flandre V1 (1675) Famiano Strada

Mehka

44.51 €

Kriminell gut Geschichte entdecken 5-7 Harald Parigger

Preglednica

24.91 €

Maigret und der Treidler der Providence Rainer Moritz

Mehka

11.04 €

La brisa del Egeo Ana Muncharaz Rossi

Mehka

15.47 €

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.