Библиотечная система. Международный университет природы, общества и человека "Дубна"
  Главная     Поиск       Новости     Консультация     Часы работы     О нас     О сайте     Блог Мишки Б.     Напишите нам  
Авторизация
№ карты:
Фамилия:
   Помощь
Помощь
Общая схема поиска литературы

Руководство по поиску в электронном каталоге

Правила использования информационных ресурсов
Электронный каталог
Расширенный поиск
Поиск по отраслевой классификации
Поиск по словарям
NEW!Новые поступления
Электронные версии
Журналы и газеты
 Подписка 2019
 Каталог периодики
 Заказ журналов
Рекомендуемая литература
Издания университета

Библиотека Чечельницкого А.М.
Библиотека Пономарёва В.С.
Редкий фонд
Выставки
Ресурсы интернета

Besucherzahler mail order brides
счетчик посещений

Библиографическое описание

32.973
С 888
Книга

Стюарт Т. Теория вычислений для программистов / Стюарт Том; Пер.с англ. А.А.Слинкин. - М.: ДМК Пресс, 2014. - 384с.: ил. - Предм.указ.:с.378. - ISBN 978-5-94074-979-0.

Отраслевые рубрики: вычислительная техника, программирование

Ключевые слова: Ruby, автоматы с магазинной памятью, вычисления, вычислимость, денотационная семантика, конечные автоматы, лямбда-исчисление, машина Тьюринга, неразрешимые проблемы, операционная семантика, программы, процедуры, разрешимость, регулярные выражения, семантика программирования, структуры данных, теория вычислений, универсальность, формальная семантика

Сигла храненияВсего экз.В наличииЗаказано
абонемент220


отобрать


Назад