Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Iteration Theories, Stephen L. Bloom, Zoltan Esik


Варианты приобретения
Цена: 12577.00р.   13974.00р. -10%
Кол-во:
Наличие: Есть (1 шт.)
Отгрузка заказа в течение 1 рабочего дня
Добавить в корзину
в Мои желания

Автор: Stephen L. Bloom, Zoltan Esik   (Стивен Л. Блум, Золтан Есик)
Название:  Iteration Theories
Перевод названия: Стивен Л. Блум, Золтан Есик: Теории итераций
ISBN: 9783642780363
Издательство: Springer
Классификация:

ISBN-10: 3642780369
Обложка/Формат: Paperback
Страницы: 630
Вес: 0.90 кг.
Дата издания: 16.12.2011
Серия: Monographs in Theoretical Computer Science. An EATCS Series
Язык: English
Размер: 234 x 156 x 33
Основная тема: Computer Science
Подзаголовок: The Equational Logic of Iterative Processes
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions.


Fine Structure and Iteration Trees

Автор: Mitchell
Название: Fine Structure and Iteration Trees
ISBN: 1107169097 ISBN-13(EAN): 9781107169098
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory using the theory of iteration trees. This work builds upon the existing theory of a model of the form L[E], where E is a coherent sequence of extenders.

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Автор: W. Buchholz; S. Feferman; W. Pohlers; W. Sieg
Название: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
ISBN: 3540111700 ISBN-13(EAN): 9783540111702
Издательство: Springer
Рейтинг:
Цена: 4884.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия