Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
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
? points 263 b
108.63 €
Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Fachlageristen Antje Reynders / Knjiga Mehka
common.buy 14.35 €
Agricultura Sostenible Carlos A. Salas Macías / Knjiga Mehka
common.buy 64.43 €
Maigret und der Treidler der Providence Rainer Moritz / Knjiga Mehka
common.buy 11.12 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Knjiga Preglednica
common.buy 25.08 €
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Knjiga Mehka
common.buy 43.59 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Knjiga Mehka
common.buy 64.43 €
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Knjiga Mehka
common.buy 34.38 €
La brisa del Egeo Ana Muncharaz Rossi / Knjiga Mehka
common.buy 15.67 €
Eisblumen Christoph Fackelmann / Knjiga Mehka
common.buy 27.00 €
Die Pestalozzische Pädagogik Heinrich Scherer / Knjiga Trda
common.buy 26.90 €
Marx, Engels, Beatles Vltava / Zvok Zvočni CD
common.buy 8.59 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Avtor Klaus Mainzer Et Al
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 2018
Število strani 300
EAN 9789813270930
ISBN 9813270934
Koda Libristo 19760818
Založba World Scientific Publishing Co Pte Ltd
Teža 576
Mere 235 x 159 x 24

Kategorije

Computing & Information Technology > Computer science > Mathematical theory of computation
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Introduction to Default Logic Philippe Besnard / Knjiga Mehka
common.buy 97.40 €
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Knjiga Mehka
common.buy 58.96 €
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Knjiga Trda
common.buy 200.38 €
Second Chances: Book One of the Fabulous Four series Christina Corlett / Knjiga Mehka
common.buy 10.61 €
Novo
Oswald Mosley and a Short History of Fascism Andrew Sangster / Knjiga Trda
common.buy 24.67 €
JJ's Way to Start the Day M Ed Cindy Odum Harris / Knjiga Mehka
common.buy 9.20 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Knjiga Mehka
common.buy 7.48 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Knjiga Mehka
common.buy 6.56 €
Julius Caesar Patricia Southern / Knjiga Mehka
common.buy 13.04 €
Blood Royal Grant Allen / Knjiga Mehka
common.buy 15.16 €
Get Known Be Seen DEBORAH FAY / Knjiga Mehka
common.buy 19.51 €
PHENOMENES Marina Gadonneix / Knjiga Mehka
common.buy 42.07 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Knjiga Mehka
common.buy 22.55 €
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Knjiga Mehka
common.buy 9.09 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Knjiga Trda
common.buy 165.38 €
Pandemic Information Solution Joshua Gans / E-knjiga Adobe ePub DRM
common.buy 4.85 €
Ecclesiastes Preston A Taylor / Knjiga Mehka
common.buy 20.73 €
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Knjiga Mehka
common.buy 23.05 €
Kmalu
Conditional Tense Antjie Krog / Knjiga Trda
common.buy 29.53 €
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Knjiga Mehka
common.buy 63.82 €
World According to Anna Jostein Gaarder / Knjiga Mehka
common.buy 12.43 €
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Knjiga Trda
common.buy 266.44 €
Drugs and Politics Rock / Knjiga Mehka
common.buy 33.17 €
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Knjiga Mehka
common.buy 41.57 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?