Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

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

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
Libristo-code: 19760818
Uitgeverij World Scientific Publishing Co Pte Ltd, juli 2018
This book is for graduate students and researchers, introducing modern foundational research in math... Volledige beschrijving
? points 275 b
113.73 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Fachlageristen Antje Reynders / Boek Gebonden (paperback)
common.buy 16.90 €
Agricultura Sostenible Carlos A. Salas Macías / Boek Gebonden (paperback)
common.buy 68.56 €
Maigret und der Treidler der Providence Rainer Moritz / Boek Gebonden (paperback)
common.buy 11.84 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Boek Blad
common.buy 26.63 €
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Boek Gebonden (paperback)
common.buy 45.87 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Boek Gebonden (paperback)
common.buy 68.56 €
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Boek Gebonden (paperback)
common.buy 36.25 €
La brisa del Egeo Ana Muncharaz Rossi / Boek Gebonden (paperback)
common.buy 17.31 €
Eisblumen Christoph Fackelmann / Boek Gebonden (paperback)
common.buy 28.65 €
Die Pestalozzische Pädagogik Heinrich Scherer / Boek Gebonden (harde band)
common.buy 31.59 €
Marx, Engels, Beatles Vltava / Audio Audio cd
common.buy 9.71 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Auteur Klaus Mainzer Et Al
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2018
Aantal pagina's 300
EAN 9789813270930
ISBN 9813270934
Libristo-code 19760818
Uitgeverij World Scientific Publishing Co Pte Ltd
Gewicht 576
Afmetingen 235 x 159 x 24

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Introduction to Default Logic Philippe Besnard / Boek Gebonden (paperback)
common.buy 103.10 €
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Boek Gebonden (paperback)
common.buy 61.98 €
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Boek Gebonden (harde band)
common.buy 209.75 €
Second Chances: Book One of the Fabulous Four series Christina Corlett / Boek Gebonden (paperback)
common.buy 11.23 €
Nieuw
Oswald Mosley and a Short History of Fascism Andrew Sangster / Boek Gebonden (harde band)
common.buy 28.25 €
JJ's Way to Start the Day M Ed Cindy Odum Harris / Boek Gebonden (paperback)
common.buy 9.71 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Boek Gebonden (paperback)
common.buy 8.40 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Boek Gebonden (paperback)
common.buy 7.99 €
Julius Caesar Patricia Southern / Boek Gebonden (paperback)
common.buy 14.88 €
Blood Royal Grant Allen / Boek Gebonden (paperback)
common.buy 16.20 €
Get Known Be Seen DEBORAH FAY / Boek Gebonden (paperback)
common.buy 20.55 €
PHENOMENES Marina Gadonneix / Boek Gebonden (paperback)
common.buy 46.07 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Boek Gebonden (paperback)
common.buy 23.69 €
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Boek Gebonden (paperback)
common.buy 10.42 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Boek Gebonden (harde band)
common.buy 175.11 €
Pandemic Information Solution Joshua Gans / E-book Adobe ePub DRM
common.buy 5.36 €
Ecclesiastes Preston A Taylor / Boek Gebonden (paperback)
common.buy 21.77 €
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Boek Gebonden (paperback)
common.buy 24.60 €
Wordt verwacht
Conditional Tense Antjie Krog / Boek Gebonden (harde band)
common.buy 32.81 €
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Boek Gebonden (paperback)
common.buy 67.04 €
World According to Anna Jostein Gaarder / Boek Gebonden (paperback)
common.buy 13.56 €
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Boek Gebonden (harde band)
common.buy 298.17 €
Drugs and Politics Rock / Boek Gebonden (paperback)
common.buy 34.83 €
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Boek Gebonden (paperback)
common.buy 44.05 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?