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

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

Bibliografske podrobnosti
Parent link:	Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 165 : Структурные и сложностные проблемы вычислимости.— : [Б. и.], 1964-2008
Jezik:	ruščina
Izdano:	1999
Teme:	Вычислимость, теория проблемы вычислительные системы функции свойства алгоритмы спецификации моделирование
Format:	Knjiga
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=23085

Podobne knjige/članki

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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