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

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

書目詳細資料
Parent link:	Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 161 : Обобщенная вычислимость и определимость.— : [Б. и.], 1964-2008
其他作者:	Ершов Ю. Л. (редактор)
語言:	俄语
出版:	1998
主題:	Математические вычисления вычислительные системы вычислительная математика вычислимость определимость
格式:	圖書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=10809

相似書籍

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

Вып. 158 : Модели когнитивных процессов; Вычислительные системы
出版: (1997)

Вып. 168 : Модели когнитивных процессов; Вычислительные системы
出版: (2001)

Т. 176: Теория сложности вычислений. 4; Записки научных семинаров ЛОМИ
出版: (1989)

Вып. 12 : Квадратурные и кубатурные формулы, решение функциональных уравнений; Методы вычислений
出版: (1981)

Вып. 15; Методы вычислений
出版: (1988)

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

Математические методы обработки информации и управления: междуведомственный сборник
出版: (Москва, Изд-во МФТИ, 1988)

Вып. 13 : Решение функциональных уравнений и смежные вопросы; Методы вычислений
出版: (1983)

Численные методы анализа( (прикладная математика)
出版: (Иркутск, Изд-во СЭИ, 1980)

Основы техники вычисления; Ч. 1-2; Вычисления с оценкой и без оценки результатов (с номографией)
由: Миловидов А. Е.
出版: (Томск, Издатком ВТУЗОВ, 1931)

Вып. 34 : Сборник работ научно-исследовательского вычислительного центра Московского государственного университета; Вычислительные методы и программирование
出版: (1981)

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

О связи между днями года и днями недели: сообщение
由: Порецкий П. С. Платон Сергеевич
出版: (Казань, Типография Императорского Казанского Университета, 1886)

Основы теории вычислений: учебное пособие
由: Калеева И. Н. Ирина Николаевна
出版: (Москва, Статистика, 1973)

Сборник задач по методам вычислений: учебное пособие
出版: (Минск, Изд-во БГУ, 1983)

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

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

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

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

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

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

Вып. 11 (XX); Многопроцессорные вычислительные структуры
出版: (1989)

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

Вып. 162 : Измерение и модели когнитивных процессов; Вычислительные системы
出版: (1998)

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

Theory of Computation
由: Tourlakis G. George
出版: (Hoboken, John Wiley & Sons, Inc., 2012)

Методы и средства вычислений с объектами. Аппликативные вычислительные системы
由: Вольфенгаген В. Э. Вячеслав Эрнстович
出版: (Москва, JurInfoR Lrd, 2004)

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

Программирование и вычислительные методы в химии и химической технологии
由: Кафаров В. В. Виктор Вячеславович
出版: (Москва, Наука, 1972)

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

Четырехзначные математические таблицы: для средней школы
由: Брадис В. М. Владимир Модестович
出版: (Москва, Просвещение, 1993)

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

Вычислительные устройства на скаляторах
由: Пухов Г. Е. Георгий Евгеньевич
出版: (Киев, Технiка, 1983)

Вып. 7; Вычислительные процессы и системы
出版: (1990)

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

Ч. 1: Задачи, модели, структуры; Вычислительные наноструктуры
出版: (2010)

Вып. 154 : Сплайны и их приложения; Вычислительные системы
出版: (1995)

Теория и практика параллельных вычислений: учебное пособие
由: Гергель В. П. Виктор Павлович
出版: (Москва, БИНОМ. Лаборатория знаний, 2013)

Вып. 2; Вычислительные процессы и системы
出版: (1985)