- 5 Ergebnisse
Kleinster Preis: € 75,66, größter Preis: € 147,49, Mittelwert: € 113,19
1
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Editor
Bestellen
bei BarnesandNoble.com
€ 108,00
Bestellengesponserter Link

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Editor - neues Buch

ISBN: 9789813270930

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 … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy - Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg
Bestellen
bei amazon.co.uk
£ 66,19
(ca. € 75,66)
Versand: € 5,491
Bestellengesponserter Link

Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg:

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy - gebunden oder broschiert

2018, ISBN: 9789813270930

World Scientific Publishing Company, Hardcover, 300 Seiten, Publiziert: 2018-07-30T00:00:01Z, Produktgruppe: Book, 0.57 kg, Architecture & Microprocessors, Computer Science, Computing & I… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.49)
3
Proof and Computation - Helmut, Schwichtenberg
Bestellen
bei booklooker.de
€ 117,45
Versand: € 0,001
Bestellengesponserter Link
Helmut, Schwichtenberg:
Proof and Computation - gebunden oder broschiert

2018

ISBN: 9789813270930

[ED: Gebunden], [PU: WSPC], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThis book is for graduate students and research… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
4
Bestellen
bei Biblio.co.uk
$ 124,65
(ca. € 117,34)
Versand: € 11,721
Bestellengesponserter Link
Mainzer, Klaus (Editor)/ Schuster, Peter (Editor)/ Schwichtenberg, Helmut (Editor):
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy - gebunden oder broschiert

2018, ISBN: 9789813270930

World Scientific Pub Co Inc, 2018. Hardcover. New. 300 pages. 9.00x6.25x0.75 inches., World Scientific Pub Co Inc, 2018, 6

Versandkosten: EUR 11.72 Revaluation Books
5
Proof and Computation Digitization in Mathematics, Computer Science, and Philosophy - Mainzer, Klaus (Herausgeber); Schuster, Peter (Herausgeber); Schwichtenberg, Helmut (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 147,49
Versand: € 0,001
Bestellengesponserter Link
Mainzer, Klaus (Herausgeber); Schuster, Peter (Herausgeber); Schwichtenberg, Helmut (Herausgeber):
Proof and Computation Digitization in Mathematics, Computer Science, and Philosophy - gebunden oder broschiert

2018, ISBN: 9813270934

Gebundene Ausgabe, mit Schutzumschlag 11, [PU:WSPC]

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Editor

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.

Detailangaben zum Buch - Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Editor


EAN (ISBN-13): 9789813270930
ISBN (ISBN-10): 9813270934
Gebundene Ausgabe
Erscheinungsjahr: 2018
Herausgeber: World Scientific Publishing Company, Incorporated Core >2 >T

Buch in der Datenbank seit 2018-06-12T11:46:19+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-12-02T15:34:43+01:00 (Berlin)
ISBN/EAN: 9789813270930

ISBN - alternative Schreibweisen:
981-327-093-4, 978-981-327-093-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: mainzer klaus, peter schuster, schwichtenberg, helmut schuster
Titel des Buches: mathematics for computer science cti, mainzer, philosophy science


< zum Archiv...