Контакты/Проезд Доставка и Оплата Помощь/Возврат

Корзина ()

Мои желания ()

Промокоды

Ваши заказы

Computation, Proof, Machine, Dowek

Dowek Computation, Proof, Machine 9780521118019

Варианты приобретения

Цена: 13147.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-08-04
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Dowek
Название: Computation, Proof, Machine
ISBN: 9780521118019
Издательство: Cambridge Academ
Классификация:

Философия математики

Философия науки

Математическая теория вычислений

ISBN-10: 0521118018
Обложка/Формат: Hardback
Страницы: 158
Вес: 0.30 кг.
Дата издания: 05.05.2015
Серия: Mathematics
Язык: English
Иллюстрации: 6 line drawings, unspecified
Размер: 225 x 236 x 13
Читательская аудитория: Professional and scholarly
Ключевые слова: Mathematics,Philosophy of mathematics,Philosophy of science,Computing & information technology,Computer science, COMPUTERS / Computer Science
Основная тема: Computer science
Подзаголовок: Mathematics Enters a New Age
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning - but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.

The Nature of Computation

Автор: Mertens Stephan, Moore Cristopher
Название: The Nature of Computation
ISBN: 0199233217 ISBN-13(EAN): 9780199233212
Издательство: Oxford Academ
Рейтинг:
Цена: 12989.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a given amount of time or memory, and what cannot be computed at all? How will quantum physics change the landscape of computation? This book gives a playful and accessible introduction to the deep ideas of theoretical computer science.

WALCOM: Algorithms and Computation

Автор: Sandip Das; Ryuhei Uehara
Название: WALCOM: Algorithms and Computation
ISBN: 3642002013 ISBN-13(EAN): 9783642002014
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Third International Workshop on Algorithms and Computation, WALCOM 2009, held in Kolkata, India, in February 2009. This book presents the papers that feature original research in the areas of design and analysis of algorithms, computational geometry, graph drawing and graph algorithms.

Evolutionary Computation in Combinatorial Optimization

Автор: Peter I. Cowling; Peter Merz
Название: Evolutionary Computation in Combinatorial Optimization
ISBN: 3642121381 ISBN-13(EAN): 9783642121388
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 10th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2010, held in Instanbul, Turkey, in April 2010. This book discusses developments and applications in metaheuristics.

Fundamentals of Computation Theory

Автор: Miroslaw Kutylowski; Maciej Gebala; Witold Charato
Название: Fundamentals of Computation Theory
ISBN: 364203408X ISBN-13(EAN): 9783642034084
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 17th International Symposium FCT 2009 Wroclaw Poland September 24 2009 Proceedings. .

ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru

Есть вопрос?
Политика конфиденциальности

Помощь
Дистрибьюторы издательства "Логосфера"

О компании
Представительство в Казахстане

Medpublishing.ru

В Контакте

В Контакте Мед Мобильная версия