Computation, Proof, Machine, Dowek

Автор: Miroslaw Kutylowski; Maciej Gebala; Witold Charato
Название: Fundamentals of Computation Theory
ISBN: 364203408X ISBN-13(EAN): 9783642034084
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 17th International Symposium FCT 2009 Wroclaw Poland September 24 2009 Proceedings. .

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

Название: Recent Advances in Adaptive Computation
ISBN: 0821836625 ISBN-13(EAN): 9780821836620
Издательство: Oxford Academ
Рейтинг:
Цена: 116160.00 T
Наличие на складе: Невозможна поставка.
Описание: There has been rapid development in the area of adaptive computation over the past decade. The International Conference on Recent Advances in Adaptive Computation was held at Zhejiang University (Hangzhou, China) to explore these new directions. The conference brought together specialists to discuss modern theories and practical applications of adaptive methods. This volume contains articles reflecting the invited talks given by leading mathematicians at the conference. It is suitable for graduate students and researchers interested in methods of computation.

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

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