SULJE VALIKKO

avaa valikko

Klaus Schwichtenberg | Akateeminen Kirjakauppa

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



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
Der kaufmännische Schriftverkehr. Schülerband
Klaus-Winfried Schwichtenberg; Margit Lambrich-Duvernoy
Winklers Verlag (2016)
Pehmeäkantinen kirja
63,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Der kaufmännische Schriftverkehr. Lösungen (auch für Schüler)
Klaus-Winfried Schwichtenberg; Margit Lambrich-Duvernoy
Winklers Verlag (2016)
Pehmeäkantinen kirja
41,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Der kaufmännische Schriftverkehr. Schülerband
Klaus-Winfried Schwichtenberg; Margit Lambrich
Winklers Verlag (2020)
Pehmeäkantinen kirja
39,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
So lerne ich tastschreiben. Ausgabe A: Für allgemein bildende Schulen
Hans Lambrich; Margit Lambrich; Klaus-Wilfried Schwichtenberg
Winklers Verlag (2011)
Pehmeäkantinen kirja
45,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Winklers Ratgeber für die Textverarbeitung. Nach DIN 5008. Schülerbuch
Hans Lambrich; Klaus-Wilfried Schwichtenberg; Margit Lambrich
Winklers Verlag (2018)
Lehtivihko, moniste
34,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Die Kooperationsverpflichtung Der Mitgliedstaaten Der Europaeischen Union Bei Abschluss Und Anwendung Gemischter Vertraege
Christoph Vedder; Klaus Schwichtenberg
Peter Lang AG (2014)
Kovakantinen kirja
117,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Der kaufmännische Schriftverkehr. Lösungen (auch für Schüler)
Margit Lambrich-Duvernoy; Klaus-Winfried Schwichtenberg
Winklers Verlag (2020)
Pehmeäkantinen kirja
41,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
Winklers Ratgeber für die Textverarbeitung. Neueste Norm DIN 5008: Schulbuch
Margit Lambrich-Duvernoy; Klaus Schwichtenberg
Winklers Verlag (2020)
Lehtivihko, moniste
15,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
153,80 €
World Scientific Publishing Co Pte Ltd
Sivumäärä: 424 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2021, 11.08.2021 (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 proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. 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
Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verificationzoom
Näytä kaikki tuotetiedot
ISBN:
9789811236471
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste