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