Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03.17$<.>)
Общее количество найденных документов : 9
Показаны документы с 1 по 9
1.

Вид документа : Однотомное издание
Шифр издания : В12/Е804
Автор(ы) : Ершов, Юрий Леонидович
Заглавие : Определимость и вычислимость
Выходные данные : Новосибирск: Науч. кн., 1996
Колич.характеристики :286 с
Серия: Сиб. шк. алгебры и логики
Примечания : Библиогр.: с. 277-279. - Предм. указ.: с. 281-284
ISBN, Цена 5-88119-007-6: Б.ц.
ГРНТИ : 27.03.17
ББК : В127
Предметные рубрики: вычислимость в математической логике
Геделя теорема
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : В12/Д261
Автор(ы) : Дегтев, Александр Николаевич
Заглавие : Рекурсивно перечислимые множества и сводимости табличного типа
Выходные данные : М.: НАУКА, 1998
Колич.характеристики :176 с
Примечания : Библиогр.: с. 170-174. - Предм. указ.: с. 175-176
ISBN, Цена 5-02-014843-1: Б.ц.
ГРНТИ : 27.03.17
ББК : В127.1
Предметные рубрики: Рекурсивные функции
Множества, рекурсивно перечислимые
Сводимость, алгоритмическая, табличная
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : В12/К669
Автор(ы) : Кормен, Томас, Лейзерсон, Ч, Ривест, Р
Заглавие : Алгоритмы. Построение и анализ : переводное издание
Выходные данные : М.: МЦНМО, 1999
Колич.характеристики :955 с.: ил
Серия: Клас. учеб.: computer science
Перевод издания: Introduction to algorithms/ Cormen T.H. et al
Примечания : Библиогр.: с. 901-913. - Указ. предм., имен: с. 915-955
ISBN, Цена 5-900916-37-5: Б.ц.
ГРНТИ : 27.03.17
ББК : В127я73
Предметные рубрики: алгоритмы, теория
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : З81/И196
Автор(ы) : Иванищев, Вячеслав Васильевич, Марлей, Владимир Евгеньевич
Заглавие : Введение в теорию алгоритмических сетей
Параллельн. заглавия :Introduction into the theory of algorithmic networks
Выходные данные : СПб.: СПбГТУ, 2000
Колич.характеристики :179 с.: ил
Примечания : Библиогр.: с. 165-179
Цена : 60 р.
ГРНТИ : 27.47 + 27.03.17
ББК : З 81в641 + В127
Предметные рубрики: алгоритмические сети
алгоритмы, синтез
математическое моделирование
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : В12/Е804
Автор(ы) : Ершов, Юрий Леонидович
Заглавие : Определимость и вычислимость . -2-е изд., испр. и доп
Выходные данные : М.: Экономика, 2000
Колич.характеристики :318 с
Примечания : Библиогр.: с. 306-309. - Указ. предм., обозначений: с. 310-314
ISBN, Цена 5-282-02021-1: 90 р.
ГРНТИ : 27.03.17
ББК : В127
Предметные рубрики: вычислимость, определимость, в математической логике
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : З 81/П252
Автор(ы) : Пенроуз, Роджер
Заглавие : Новый ум короля : О компьютерах, мышлении и законах физики
Выходные данные : М.: Едиториал УРСС, 2003
Колич.характеристики :382 с.: ил
Перевод издания: The emperor's new mind/ Penrose R
Примечания : Библиогр.: с. 365-372. - Указ. имен., предм.: с. 373-379
ISBN, Цена 5-354-00005-Х: 100 р.
ГРНТИ : 28.23 + 27.03.17
ББК : З 813 + В31 + В127
Предметные рубрики: Искусственный интеллект
Теоретическая физика
Вычислимость в математической логике
Сложность вычислений алгоритмов
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : З 973.2/М545
Заглавие : Методы предикатного программирования : Сб. науч. работ
Параллельн. заглавия :The predicate programming methods
Выходные данные : Новосибирск: ИСИ, 2003
Колич.характеристики :62 с. ; 21 см
Коллективы : Институт систем информатики им. А.П. Ершова (Новосибирск)
Примечания : Библиогр. в конце ст
Цена : Б.ц.
ГРНТИ : 50.05.03 + 27.03.17 + 27.03.19
УДК : 004.42(082)
ББК : З 973.2-018я43 + В127я43 + В123я43
Предметные рубрики: Программное обеспечение ЭВМ
Предикаты-- рекурсивные
Предикаты-- исчисление
Ключевые слова (''Своб.индексиров.''): компьютеры персональные - программирование
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : Pr1082/Pr1082/172
Автор(ы) : Sjogreen, Bjorn
Заглавие : A new ENO scheme : сборник
Выходные данные : Uppsala, 1996
Колич.характеристики :18 p.: Ill.
Серия: Report/ Uppsala. Universitet. Department of computer science; Vol. 172
Примечания : Bibliogr.: p. 17-18
Цена : 36 р.
ГРНТИ : 27.03.17
ББК : В192.141
Предметные рубрики: Интерполирование-- Функций
Дескрипторы: сб пр--моногр
Ключевые слова (''Своб.индексиров.''): функции--приближенные вычисления
Экземпляры :02 ВМИ(1)
Свободны : 02 ВМИ(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : В12/А955
Автор(ы) : Ахо, Альфред В., Хопкрофт, Джон, Ульман, Джефри Д.
Заглавие : Построение и анализ вычислительных алгоритмов
Выходные данные : М.: Мир, 1979
Колич.характеристики :536 с.: ил.; 22 см
Перевод издания: Aho Alfred A. The design and analysis of Computer algorithms/ Alfred A. Aho, John E. Hopcroft, Jeffrey D. Ullman. -Reading, MA, 1976
Примечания : Библиогр.: с. 502-513. - Указ. имен., предм.: с. 516-532
Цена : Б.ц.
ГРНТИ : 27.03.17
ББК : В127,0 + З 973.2-018
Предметные рубрики: Алгоритмы-- синтез
Экземпляры :02 ВМИ(1)
Свободны : 02 ВМИ(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН