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

Базы данных

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

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

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

    Ершов, Юрий Леонидович.
    Определимость и вычислимость [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 1996. - 286 с. - (Сиб. шк. алгебры и логики)
Библиогр.: с. 277-279. - Предм. указ.: с. 281-284
27.03.17
ББК В127
Рубрики: вычислимость в математической логике
   Геделя теорема
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 4-11-97
Найти похожие
2.
   В12
   Д261
В12 / Д261-02

    Дегтев, Александр Николаевич.
    Рекурсивно перечислимые множества и сводимости табличного типа [Текст] / А. Н. Дегтев. - М. : НАУКА, 1998. - 176 с.
Библиогр.: с. 170-174. - Предм. указ.: с. 175-176
27.03.17
ББК В127.1
Рубрики: Рекурсивные функции
   Множества, рекурсивно перечислимые
   Сводимость, алгоритмическая, табличная
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 20-9-99но
Найти похожие
3.
   В12
   К669

    Кормен, Томас.
    Алгоритмы. Построение и анализ [Текст] : переводное издание / Т. Кормен, Ч. Лейзерсон, Р. Ривест. - М. : МЦНМО, 1999. - 955 с. : ил. - (Клас. учеб.: computer science). - Пер. изд. : Introduction to algorithms/ Cormen T.H. et al
Библиогр.: с. 901-913. - Указ. предм., имен: с. 915-955
27.03.17
ББК В127я73
Рубрики: алгоритмы, теория
Дескрипторы: моногр


Доп.точки доступа:
Лейзерсон, Ч; Ривест, Р
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 90-11-2000
Найти похожие
4.
   З81
   И196

    Иванищев, Вячеслав Васильевич.
    Введение в теорию алгоритмических сетей [Текст] = Introduction into the theory of algorithmic networks / В. В. Иванищев, В. Е. Марлей. - СПб. : СПбГТУ, 2000. - 179 с. : ил
Библиогр.: с. 165-179
27.47
27.03.17
ББК З 81в641 + В127
Рубрики: алгоритмические сети
   алгоритмы, синтез
   математическое моделирование
Дескрипторы: моногр


Доп.точки доступа:
Марлей, Владимир Евгеньевич
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 94-16-2002
Найти похожие
5.
   В12
   Е804

    Ершов, Юрий Леонидович.
    Определимость и вычислимость [Текст] / Ю.Л. Ершов; Ин-т математики СО РАН, Новосиб. гос. ун-т, Ин-т дискрет. математики и информатики. - 2-е изд., испр. и доп. - М. : Экономика, 2000. - 318 с.
Библиогр.: с. 306-309. - Указ. предм., обозначений: с. 310-314
27.03.17
ББК В127
Рубрики: вычислимость, определимость, в математической логике
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 108-8-2001
Найти похожие
6.
   З 81
   П252

    Пенроуз, Роджер.
    Новый ум короля [Текст] : о компьютерах, мышлении и законах физики / Р. Пенроуз; Пер. с англ. под общ. ред. Малышенко В.О. - М. : Едиториал УРСС, 2003. - 382 с. : ил. - Пер. изд. : The emperor's new mind/ Penrose R
Библиогр.: с. 365-372. - Указ. имен., предм.: с. 373-379
28.23
27.03.17
ББК З 813 + В31 + В127
Рубрики: Искусственный интеллект
   Теоретическая физика
   Вычислимость в математической логике
   Сложность вычислений алгоритмов
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 27-13-2004
Найти похожие
7.
   З 973.2
   М545

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


Доп.точки доступа:
Шелехов, В.И. \ред.\; Институт систем информатики им. А.П. Ершова (Новосибирск)
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 49-19-2004
Найти похожие
8.
   Pr1082
   Pr1082/172
Pr1082/172 / Pr1082/172-02 ВМИ

    Sjogreen, Bjorn.
    A new ENO scheme [Text] : сборник / B. Sjogreen. - Uppsala : [s. n.], 1996. - 18 p. : Ill. - (Report / Uppsala. Universitet. Department of computer science ; vol. 172)
Bibliogr.: p. 17-18
Перевод заглавия: Новая существенно неосциллирующая ENO схема
27.03.17
ББК В192.141
Рубрики: Интерполирование--Функций
Кл.слова (ненормированные):
функции -- приближенные вычисления
Дескрипторы: сб пр -- моногр

Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 70-20-2001+02
Найти похожие
9.
   В12
   А955
В12 / А955-02 ВМИ

    Ахо, Альфред В..
    Построение и анализ вычислительных алгоритмов / А. В. Ахо, Д. Хопкрофт, Д. Д. Ульман ; пер. с англ. А. О. Слисенко, под ред. Ю. В. Матиясевича. - М. : Мир, 1979. - 536 с. : ил. ; 22 см. - Библиогр.: с. 502-513. - Указ. имен., предм.: с. 516-532. - Пер. изд. : The design and analysis of Computer algorithms / Alfred A. Aho, John E. Hopcroft, Jeffrey D. Ullman. - Reading, MA, 1976. - 26000 экз.. -
ГРНТИ
27.03.17
ББК В127,0 + З 973.2-018
Рубрики: Алгоритмы--синтез


Доп.точки доступа:
Хопкрофт, Джон; Ульман, Джефри Д.; Слисенко, А.О. \пер.\; Матиясевич, Ю.В. \ред.\; Aho, Alfred A. ; Hopcroft, John E. ; Ullman, Jeffrey D.
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 19-10-2002но
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН