Logic, Language, and Computation, Peter Bosch; David Gabelaia; J?r?me Lang

Автор: Anuj Dawar; Ruy de Queiroz
Название: Logic, Language, Information and Computation
ISBN: 3642138233 ISBN-13(EAN): 9783642138232
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this title constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010.

Автор: Margaret Archibald; Vasco Brattka; Valentin F. Gor
Название: Infinity in Logic and Computation
ISBN: 3642030912 ISBN-13(EAN): 9783642030918
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: International Conference ILC 2007 Cape Town South Africa November 35 2007 Revised Selected Papers. .

Автор: Levesque Hector J.
Название: Thinking as Computation: A First Course
ISBN: 0262016990 ISBN-13(EAN): 9780262016995
Издательство: MIT Press
Рейтинг:
Цена: 4967.00 р.
Наличие на складе: Нет в наличии.

Описание: Students explore the idea that thinking is a form of computation by learning to write simple computer programs for tasks that require thought.

Автор: Hager
Название: Introduction to High Performance Computing for Scientists and Engineers
ISBN: 143981192X ISBN-13(EAN): 9781439811924
Издательство: Taylor&Francis
Рейтинг:
Цена: 12095.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Written by HPC experts, this book provides a solid introduction to current mainstream computer architecture, dominant parallel programming models, and useful optimization strategies for scientific HPC. It facilitates an intuitive understanding of performance limitations without relying on heavy computer science knowledge.

Автор: 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. .