Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

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

Език Английски езикАнглийски език
Книга С твърди корици
Книга Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al
Код Либристо: 19760818
Издателство World Scientific Publishing Co Pte Ltd, юли 2018
This book is for graduate students and researchers, introducing modern foundational research in math... Цялото описание
? points 275 b
113.65 €
222.28  лв
Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

Fachlageristen Antje Reynders / Книга С меки корици
common.buy 16.86 € 32.97 лв
Agricultura Sostenible Carlos A. Salas Macías / Книга С меки корици
common.buy 72.52 € 141.84 лв
Maigret und der Treidler der Providence Rainer Moritz / Книга С меки корици
common.buy 12.46 € 24.37 лв
Kriminell gut Geschichte entdecken 5-7 Harald Parigger / Книга Лист
common.buy 28.09 € 54.93 лв
Histoire De La Guerre De Flandre V1 (1675) Famiano Strada / Книга С меки корици
common.buy 45.78 € 89.53 лв
ПЛАСТМАССЫ ДЛЯ СЕЛЬСКОГ& Мартинез Лопез Салва Мартинез Лопез / Книга С меки корици
common.buy 72.52 € 141.84 лв
OEuvres Philosophiques De Maine De Biran, Volume 4 Victor Cousin / Книга С меки корици
common.buy 36.21 € 70.81 лв
La brisa del Egeo Ana Muncharaz Rossi / Книга С меки корици
common.buy 18.05 € 35.30 лв
Eisblumen Christoph Fackelmann / Книга С меки корици
common.buy 30.36 € 59.38 лв
Die Pestalozzische Pädagogik Heinrich Scherer / Книга С твърди корици
common.buy 31.60 € 61.81 лв
Marx, Engels, Beatles Vltava / Аудио Аудио компактдиск
common.buy 10.19 € 19.92 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Автор Klaus Mainzer Et Al
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2018
Брой страници 300
Баркод 9789813270930
ISBN 9813270934
Код Либристо 19760818
Издателство World Scientific Publishing Co Pte Ltd
Тегло 576
Размери 235 x 159 x 24

Категории

Computing & Information Technology > Computer science > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Introduction to Default Logic Philippe Besnard / Книга С меки корици
common.buy 108.58 € 212.36 лв
Giraldi Cambrensis opera J. S. BrewerJames F. DimockGeorge F. Warner / Книга С меки корици
common.buy 61.97 € 121.20 лв
Quality Issues in ICT-based Higher Education Rakesh Bhanot / Книга С твърди корици
common.buy 209.51 € 409.77 лв
Second Chances: Book One of the Fabulous Four series Christina Corlett / Книга С меки корици
common.buy 11.22 € 21.95 лв
Нови
Oswald Mosley and a Short History of Fascism Andrew Sangster / Книга С твърди корици
common.buy 28.24 € 55.23 лв
JJ's Way to Start the Day M Ed Cindy Odum Harris / Книга С меки корици
common.buy 9.67 € 18.91 лв
Grade 9-1 GCSE Maths Edexcel 10-Minute Tests - Higher (includes Answers) CGP Books / Книга С меки корици
common.buy 8.38 € 16.38 лв
Begone the Raggedy Witches (the Wild Magic Trilogy, Book One) Celine Kiernan / Книга С меки корици
common.buy 7.96 € 15.57 лв
Julius Caesar Patricia Southern / Книга С меки корици
common.buy 14.84 € 29.03 лв
Blood Royal Grant Allen / Книга С меки корици
common.buy 17.12 € 33.48 лв
Get Known Be Seen DEBORAH FAY / Книга С меки корици
common.buy 20.48 € 40.06 лв
PHENOMENES Marina Gadonneix / Книга С меки корици
common.buy 48.05 € 93.99 лв
Smashing The Hindenburg Line: The Adventures Of Two American Boys In The Last Drive (1919) Ross Kay / Книга С меки корици
common.buy 24.72 € 48.35 лв
Allen Carr: The Easy Way to Quit Cannabis Allen Carr / Книга С меки корици
common.buy 10.39 € 20.33 лв
Geospatial Aspects of Managing the Development of Complex Systems Eugene Istomin / Книга С твърди корици
common.buy 184.37 € 360.59 лв
Pandemic Information Solution Joshua Gans / E-книга Adobe ePub DRM
common.buy 5.58 € 10.92 лв
Ecclesiastes Preston A Taylor / Книга С меки корици
common.buy 21.72 € 42.48 лв
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine C. Petzold / Книга С меки корици
common.buy 24.57 € 48.05 лв
Подготвяме
Conditional Tense Antjie Krog / Книга С твърди корици
common.buy 34.24 € 66.97 лв
Non-Discrimination in International Trade in Services Nicolas F. Diebold / Книга С меки корици
common.buy 66.99 € 131.02 лв
World According to Anna Jostein Gaarder / Книга С меки корици
common.buy 14.17 € 27.71 лв
Norton Facsimile of the First Folio of Shakespeare William Shakespeare / Книга С твърди корици
common.buy 297.87 € 582.58 лв
Drugs and Politics Rock / Книга С меки корици
common.buy 34.76 € 67.98 лв
How We Got Our Bible: Six-Week Study Small Group Kit Ralph Earle / Книга С меки корици
common.buy 46.40 € 90.75 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo