Вып. 165 : Структурные и сложностные проблемы вычислимости; Вычислительные системы

Вып. 165 : Структурные и сложностные проблемы вычислимости; Вычислительные системы

Bibliographic Details
Parent link:	Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 165 : Структурные и сложностные проблемы вычислимости.— : [Б. и.], 1964-2008
Language:	Russian
Published:	1999
Subjects:	Вычислимость, теория проблемы вычислительные системы функции свойства алгоритмы спецификации моделирование
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=23085

Similar Items

Вып. 156 : Структурные алгоритмические свойства вычислимости; Вычислительные системы
Published: (1996)

Курс математической логики и теории вычислимости: учебное пособие для вузов
by: Герасимов А. С. Александр Сергеевич
Published: (Санкт-Петербург, Лань, 2014)

Вып. 161 : Обобщенная вычислимость и определимость; Вычислительные системы
Published: (1998)

Вычислительные инварианты в теории алгебраических систем: сборник научных статей
Published: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)

Вычислимое и невычислимое
by: Манин Ю. И. Юрий Иванович
Published: (Москва, Сов. радио, 1980)

Основы теории алгоритмов и рекурсивных функций
by: Людковский С. В.
Published: (Москва, РТУ МИРЭА, 2022)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
by: Верещагин Н. К
Published: (Москва, МЦНМО, 1999)

Граф-схемы и алгоритмы: учебное пособие
by: Блох А. Ш. Абрам Шлемович
Published: (Минск, Вышэйшая школа, 1987)

Вып. 146 : Логика и семантическое программирование; Вычислительные системы
Published: (1992)

Теория алгоритмов: учебник
by: Матрос Д. Ш. Дмитрий Шаевич
Published: (Москва, БИНОМ. Лаборатория знаний, 2008)

Атлас добровольного спасателя. Первая медицинская помощь на месте происшествия: учебное пособие
by: Бубнов В. Г. Валерий Георгиевич
Published: (Москва, АСТ, 2008)

Верификация и тестирование сложных программных средств; Информационные технологии; № 7
by: Липаев В. В.
Published: (2004)

Вып. 170 : Методологические аспекты когнитивных процессов; Вычислительные системы
Published: (2002)

Вып. 124 : Языки спецификаций и логическое программирование; Вычислительные системы
Published: (1988)

Математическая логика: пер. с англ.
by: Клини С. К. Стефан Коул
Published: (Москва, Мир, 1973)

Системная информатика: Сборник научных трудов; Вып. 7; Проблемы теории и методологии создания параллельных и распределенных систем
Published: (Новосибирск, Наука, 2000)

Полиномиальные достаточные условия реализуемости гиперграфа на плоскости; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 2: Математика и механика. Физика
by: Быкова В. В.
Published: (2009)

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
by: Катленд Н. Найджел
Published: (Москва, Мир, 1983)

Вып. 169 : Математические модели в информатике; Вычислительные системы
Published: (2002)

Определимость и вычислимость
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Экономика, 2000)

Вычислимо перечислимые множества и степени: пер. с англ.
by: Соар Р. И. Роберт И.
Published: (Казань, Казанское математическое общество, 2000)

Сложностные проблемы математической логики: сборник научных трудов
Published: (Калинин, [Б. и.], 1985)

Практикум по теории алгоритмов учебное пособие для вузов
by: Тихомирова А. Н.
Published: (Москва, НИЯУ МИФИ, 2011)

Конструктивные модели
by: Гончаров С. С. Сергей Савостьянович
Published: (Новосибирск, Научная книга, 1999)

Современная прикладная алгебра: учебное пособие; пер. с англ.
by: Биркгоф Г. Гаррет
Published: (СПб. [и др.], Лань, 2005)

Общая теория систем: математические основы: пер. с англ.
by: Месарович М.
Published: (Москва, Мир, 1978)

Действие электрического тока на человека и первая помощь пострадавшим
by: Долин П. А. Петр Алексеевич
Published: (Москва, Энергия, 1972)

Вып. 6; Исследования по информатике
Published: (2003)

Вып. 4; Вычислительные процессы и системы
Published: (1986)

Вып. 5; Вычислительные процессы и системы
Published: (1987)

Теория вычислений для программистов
by: Стюарт Т.
Published: (Москва, ДМК Пресс, 2014)

Вычислительные методы: учебное пособие
by: Амосов А. А. Андрей Авенирович
Published: (Москва, Изд-во МЭИ, 2008)

Вычислительные методы: учебное пособие
by: Амосов А. А. Андрей Авенирович
Published: (Санкт-Петербург, Лань, 2014)

Вып. 11; Математические вопросы кибернетики
Published: (2002)

Первая медицинская помощь: учебник для медицинских и фармацевтических училищ
by: Буянов В. М. Валентин Михайлович
Published: (Москва, Медицина, 1978)

[Вып. 160]: Отказоустойчивые параллельные вычислительные системы реального времени; Вопросы кибернетики
Published: (1990)

Защита от шума. СНиП 23-03-2003
Published: (Москва, Минрегион России, 2011)

Вып. 6; Вычислительные процессы и системы
Published: (1988)

Технологии информационного моделирования зданий в инвестиционно-строительной деятельности учебно-методическое пособие
by: Суркова Л. Е.
Published: (Москва, МИСИ – МГСУ, 2021)

Вып. 8; Вычислительные процессы и системы
Published: (1983)