Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>R=27.03.17$<.>)
Общее количество найденных документов
:
9
Показаны документы
с 1 по 9
1.
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
Найти похожие
2.
В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
Найти похожие
3.
З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
Найти похожие
4.
З 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
Найти похожие
5.
З 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
Найти похожие
6.
В12
Е804
Ершов, Юрий Леонидович
.
Определимость и вычислимость [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 1996. - 286 с. - (Сиб. шк. алгебры и логики)
Библиогр.: с. 277-279. - Предм. указ.: с. 281-284
27.03.17
ББК
В127
Рубрики:
вычислимость в математической логике
Геделя теорема
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
4-11-97
Найти похожие
7.
В12
Е804
Ершов, Юрий Леонидович
.
Определимость и вычислимость [Текст] / Ю.Л. Ершов; Ин-т математики СО РАН, Новосиб. гос. ун-т, Ин-т дискрет. математики и информатики. - 2-е изд., испр. и доп. - М. : Экономика, 2000. - 318 с.
Библиогр.: с. 306-309. - Указ. предм., обозначений: с. 310-314
27.03.17
ББК
В127
Рубрики:
вычислимость, определимость, в математической логике
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
108-8-2001
Найти похожие
8.
В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но
Найти похожие
9.
В12
Д261
В12 / Д261-02
Дегтев, Александр Николаевич
.
Рекурсивно перечислимые множества и сводимости табличного типа [Текст] / А. Н. Дегтев. - М. : НАУКА, 1998. - 176 с.
Библиогр.: с. 170-174. - Предм. указ.: с. 175-176
27.03.17
ББК
В127.1
Рубрики:
Рекурсивные функции
Множества, рекурсивно перечислимые
Сводимость, алгоритмическая, табличная
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
20-9-99но
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН