SULJE VALIKKO

avaa valikko

Peter Michael Schuster | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Klaus Mainzer; Peter Michael Schuster; Helmut Schwichtenberg
World Scientific Publishing Co Pte Ltd (2018)
Kovakantinen kirja
127,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Klaus Mainzer; Helmut Schwichtenberg; Peter Michael Schuster
World Scientific Publishing Co Pte Ltd (2021)
Kovakantinen kirja
153,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mathematics For Computation (M4c)
Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Michael Schuster
World Scientific Publishing Co Pte Ltd (2023)
Kovakantinen kirja
153,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Von Hockney bis Holbein
Peter-Klaus Schuster; Beate Elsen-Schwedler; Michael Eissenhauer; Hermann Parzinger; C. Sylvia Weber
Swiridoff Verlag (2015)
Pehmeäkantinen kirja
75,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Distributed, High-Performance and Grid Computing in Computational Biology - International Workshop, GCCB 2006, International Wor
Werner Dubitzky; Assaf Schuster; Peter Sloot; Michael Schroeder; Mathilde Romberg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Lamb-Wave Based Structural Health Monitoring in Polymer Composites
Rolf Lammering (ed.); Ulrich Gabbert (ed.); Michael Sinapius (ed.); Thomas Schuster (ed.); Peter Wierach (ed.)
Springer (2017)
Kovakantinen kirja
190,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Lamb-Wave Based Structural Health Monitoring in Polymer Composites
Rolf Lammering (ed.); Ulrich Gabbert (ed.); Michael Sinapius (ed.); Thomas Schuster (ed.); Peter Wierach (ed.)
Springer (2018)
Pehmeäkantinen kirja
190,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
127,50 €
World Scientific Publishing Co Pte Ltd
Sivumäärä: 300 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2018, 30.07.2018 (lisätietoa)
Kieli: Englanti
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa. | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophyzoom
Näytä kaikki tuotetiedot
ISBN:
9789813270930
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste