Вып. 161 : Обобщенная вычислимость и определимость; Вычислительные системы
| Parent link: | Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 161 : Обобщенная вычислимость и определимость.— : [Б. и.], 1964-2008 |
|---|---|
| Další autoři: | Ершов Ю. Л. (редактор) |
| Jazyk: | ruština |
| Vydáno: |
1998
|
| Témata: | |
| Médium: | MixedMaterials Kniha |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=10809 |
Podobné jednotky
Определимость и вычислимость
Autor: Ершов Ю. Л. Юрий Леонидович
Vydáno: (Москва, Экономика, 2000)
Autor: Ершов Ю. Л. Юрий Леонидович
Vydáno: (Москва, Экономика, 2000)
Вып. 158 : Модели когнитивных процессов; Вычислительные системы
Vydáno: (1997)
Vydáno: (1997)
Вып. 168 : Модели когнитивных процессов; Вычислительные системы
Vydáno: (2001)
Vydáno: (2001)
Т. 176: Теория сложности вычислений. 4; Записки научных семинаров ЛОМИ
Vydáno: (1989)
Vydáno: (1989)
Вып. 12 : Квадратурные и кубатурные формулы, решение функциональных уравнений; Методы вычислений
Vydáno: (1981)
Vydáno: (1981)
Вып. 15; Методы вычислений
Vydáno: (1988)
Vydáno: (1988)
Математические методы обработки информации и управления: междуведомственный сборник
Vydáno: (Москва, Изд-во МФТИ, 1988)
Vydáno: (Москва, Изд-во МФТИ, 1988)
Вып. 13 : Решение функциональных уравнений и смежные вопросы; Методы вычислений
Vydáno: (1983)
Vydáno: (1983)
Численные методы анализа( (прикладная математика)
Vydáno: (Иркутск, Изд-во СЭИ, 1980)
Vydáno: (Иркутск, Изд-во СЭИ, 1980)
Конструктивные модели
Autor: Гончаров С. С. Сергей Савостьянович
Vydáno: (Новосибирск, Научная книга, 1999)
Autor: Гончаров С. С. Сергей Савостьянович
Vydáno: (Новосибирск, Научная книга, 1999)
Основы техники вычисления; Ч. 1-2; Вычисления с оценкой и без оценки результатов (с номографией)
Autor: Миловидов А. Е.
Vydáno: (Томск, Издатком ВТУЗОВ, 1931)
Autor: Миловидов А. Е.
Vydáno: (Томск, Издатком ВТУЗОВ, 1931)
Вып. 34 : Сборник работ научно-исследовательского вычислительного центра Московского государственного университета; Вычислительные методы и программирование
Vydáno: (1981)
Vydáno: (1981)
О связи между днями года и днями недели: сообщение
Autor: Порецкий П. С. Платон Сергеевич
Vydáno: (Казань, Типография Императорского Казанского Университета, 1886)
Autor: Порецкий П. С. Платон Сергеевич
Vydáno: (Казань, Типография Императорского Казанского Университета, 1886)
Основы теории вычислений: учебное пособие
Autor: Калеева И. Н. Ирина Николаевна
Vydáno: (Москва, Статистика, 1973)
Autor: Калеева И. Н. Ирина Николаевна
Vydáno: (Москва, Статистика, 1973)
Вып. 156 : Структурные алгоритмические свойства вычислимости; Вычислительные системы
Vydáno: (1996)
Vydáno: (1996)
Сборник задач по методам вычислений: учебное пособие
Vydáno: (Минск, Изд-во БГУ, 1983)
Vydáno: (Минск, Изд-во БГУ, 1983)
Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
Autor: Катленд Н. Найджел
Vydáno: (Москва, Мир, 1983)
Autor: Катленд Н. Найджел
Vydáno: (Москва, Мир, 1983)
Вып. 170 : Методологические аспекты когнитивных процессов; Вычислительные системы
Vydáno: (2002)
Vydáno: (2002)
Вып. 165 : Структурные и сложностные проблемы вычислимости; Вычислительные системы
Vydáno: (1999)
Vydáno: (1999)
Вып. 169 : Математические модели в информатике; Вычислительные системы
Vydáno: (2002)
Vydáno: (2002)
Математическая логика: пер. с англ.
Autor: Клини С. К. Стефан Коул
Vydáno: (Москва, Мир, 1973)
Autor: Клини С. К. Стефан Коул
Vydáno: (Москва, Мир, 1973)
Вып. 11 (XX); Многопроцессорные вычислительные структуры
Vydáno: (1989)
Vydáno: (1989)
Теория вычислений для программистов
Autor: Стюарт Т.
Vydáno: (Москва, ДМК Пресс, 2014)
Autor: Стюарт Т.
Vydáno: (Москва, ДМК Пресс, 2014)
Вып. 162 : Измерение и модели когнитивных процессов; Вычислительные системы
Vydáno: (1998)
Vydáno: (1998)
Theory of Computation
Autor: Tourlakis G. George
Vydáno: (Hoboken, John Wiley & Sons, Inc., 2012)
Autor: Tourlakis G. George
Vydáno: (Hoboken, John Wiley & Sons, Inc., 2012)
Программирование и вычислительные методы в химии и химической технологии
Autor: Кафаров В. В. Виктор Вячеславович
Vydáno: (Москва, Наука, 1972)
Autor: Кафаров В. В. Виктор Вячеславович
Vydáno: (Москва, Наука, 1972)
Четырехзначные математические таблицы: для средней школы
Autor: Брадис В. М. Владимир Модестович
Vydáno: (Москва, Просвещение, 1993)
Autor: Брадис В. М. Владимир Модестович
Vydáno: (Москва, Просвещение, 1993)
Вычислимо перечислимые множества и степени: пер. с англ.
Autor: Соар Р. И. Роберт И.
Vydáno: (Казань, Казанское математическое общество, 2000)
Autor: Соар Р. И. Роберт И.
Vydáno: (Казань, Казанское математическое общество, 2000)
Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
Autor: Верещагин Н. К
Vydáno: (Москва, МЦНМО, 1999)
Autor: Верещагин Н. К
Vydáno: (Москва, МЦНМО, 1999)
Вычислительные инварианты в теории алгебраических систем: сборник научных статей
Vydáno: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)
Vydáno: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)
Теория и практика параллельных вычислений: учебное пособие
Autor: Гергель В. П. Виктор Павлович
Vydáno: (Москва, БИНОМ. Лаборатория знаний, 2013)
Autor: Гергель В. П. Виктор Павлович
Vydáno: (Москва, БИНОМ. Лаборатория знаний, 2013)
Вып. 6; Вычислительные процессы и системы
Vydáno: (1988)
Vydáno: (1988)
Методы и средства вычислений с объектами. Аппликативные вычислительные системы
Autor: Вольфенгаген В. Э. Вячеслав Эрнстович
Vydáno: (Москва, JurInfoR Lrd, 2004)
Autor: Вольфенгаген В. Э. Вячеслав Эрнстович
Vydáno: (Москва, JurInfoR Lrd, 2004)
Вып. 8; Вычислительные процессы и системы
Vydáno: (1983)
Vydáno: (1983)
Вып. 7; Вычислительные процессы и системы
Vydáno: (1990)
Vydáno: (1990)
Ч. 1: Задачи, модели, структуры; Вычислительные наноструктуры
Vydáno: (2010)
Vydáno: (2010)
Podobné jednotky
-
Определимость и вычислимость
Autor: Ершов Ю. Л. Юрий Леонидович
Vydáno: (Москва, Экономика, 2000) -
Вып. 158 : Модели когнитивных процессов; Вычислительные системы
Vydáno: (1997) -
Вып. 168 : Модели когнитивных процессов; Вычислительные системы
Vydáno: (2001) -
Т. 176: Теория сложности вычислений. 4; Записки научных семинаров ЛОМИ
Vydáno: (1989) -
Вып. 12 : Квадратурные и кубатурные формулы, решение функциональных уравнений; Методы вычислений
Vydáno: (1981)