Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

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

Sprache EnglischEnglisch
Buch Hardcover
Buch Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
Libristo-Code: 19760818
Verlag World Scientific Publishing Co Pte Ltd, Juli 2018
This book is for graduate students and researchers, introducing modern foundational research in math... Vollständige Beschreibung
? points 287 b
117.29 € inkl. MwSt.
Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Fachlageristen Antje Reynders / Buch Broschur
common.buy 16.59 €
Agricultura Sostenible Carlos A. Salas Macías / Buch Broschur
common.buy 71.69 €
Maigret und der Treidler der Providence Rainer Moritz / Buch Broschur
common.buy 13.00 €
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Buch Blatt
common.buy 27.99 €
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Buch Broschur
common.buy 47.49 €
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Buch Broschur
common.buy 71.69 €
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Buch Broschur
common.buy 37.49 €
La brisa del Egeo Ana Muncharaz Rossi / Buch Broschur
common.buy 17.89 €
Eisblumen Christoph Fackelmann / Buch Broschur
common.buy 32.00 €
Die Pestalozzische Pädagogik Heinrich Scherer / Buch Hardcover
common.buy 31.19 €
Marx, Engels, Beatles Vltava / Audio Audio CD
common.buy 10.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Autor Klaus Mainzer Et Al
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2018
Anzahl der Seiten 300
EAN 9789813270930
ISBN 9813270934
Libristo-Code 19760818
Verlag World Scientific Publishing Co Pte Ltd
Gewicht 576
Abmessungen 235 x 159 x 24

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Introduction to Default Logic Philippe Besnard / Buch Broschur
common.buy 107.29 €
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Buch Broschur
common.buy 64.19 €
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Buch Hardcover
common.buy 216.09 €
Second Chances: Book One of the Fabulous Four series Christina Corlett / Buch Broschur
common.buy 11.59 €
Neu
Oswald Mosley and a Short History of Fascism Andrew Sangster / Buch Hardcover
common.buy 27.89 €
JJ's Way to Start the Day M Ed Cindy Odum Harris / Buch Broschur
common.buy 10.09 €
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Buch Broschur
common.buy 8.29 €
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Buch Broschur
common.buy 7.39 €
Julius Caesar Patricia Southern / Buch Broschur
common.buy 14.69 €
Blood Royal Grant Allen / Buch Broschur
common.buy 16.89 €
Get Known Be Seen DEBORAH FAY / Buch Broschur
common.buy 21.29 €
PHENOMENES Marina Gadonneix / Buch Broschur
common.buy 47.49 €
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Buch Broschur
common.buy 24.39 €
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Buch Broschur
common.buy 10.29 €
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Buch Hardcover
common.buy 182.19 €
Pandemic Information Solution Joshua Gans / E-Book Adobe ePub DRM
common.buy 5.49 €
Ecclesiastes Preston A Taylor / Buch Broschur
common.buy 22.59 €
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Buch Broschur
common.buy 25.79 €
Demnächst
Conditional Tense Antjie Krog / Buch Hardcover
common.buy 33.79 €
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Buch Broschur
common.buy 69.29 €
World According to Anna Jostein Gaarder / Buch Broschur
common.buy 13.99 €
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Buch Hardcover
common.buy 294.39 €
Drugs and Politics Rock / Buch Broschur
common.buy 35.89 €
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Buch Broschur
common.buy 45.89 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?