Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Найдено в других БД:

"Руконт"-Национальный цифровой ресурс (5)

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=519.7<.>)
Общее количество найденных документов : 12 Показаны документы с 1 по 12

1..12

519.7
К 70

Коршунов, Ю. М.
Математические основы кибернетики [Текст] : Учеб.пособие / Ю. М. Коршунов. - 2-е изд.,перераб.и доп. - М. : Энергия, 1980. - 424с. - Б. ц.

УДК

519.7

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

519.7
Л 59

Лингвистическое обеспечение системы Этап-2 [Text]. - М. : Наука, 1989. - 295с. - ISBN 5-02-006572-2 : Б. ц.

УДК

519.7

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

519.7
П 27

Перегудов, Ф. И.
Основы системного анализа [Текст] / Ф. И. Перегудов, Ф. П. Тарасенко. - Томск : Изд-во НТЛ, 2001. - 389с. - Библиогр.в конце гл. - ISBN 5-89503-115-3 : Б. ц.

УДК

519.7

Рубрики: Математика--Основы системного анализа

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10

Доп.точки доступа:
Тарасенко, Ф.П.
Свободных экз. нет
Найти похожие

519.7
С 59

Соколов, А. В.
Математические модели и алгоритмы оптимального управления динамическими структурами данных [Text] / А. В. Соколов. - Петрозаводск : [s. n.], 2002. - 215с. - Библиогр.:с.208-215. - ISBN 5-8021-0190-3 : Б. ц.

УДК

519.7

Рубрики: Математические модели--Оптимального управления динамическими структурами данных (мат.кибернетика)

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

519.7
D74

Dorf,, R. C.
Modern Control Systems [Text] / R. C. Dorf,. - New York : Addison-Wesley Publishing Company, 1990. - 603 p. - ISBN 0-201-14278-3 : Б. ц.

УДК

519.7

Рубрики: Математика--Математическая кибернетика
Кл.слова (ненормированные):
современные контрольные системы

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

УДК

519.7

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

519.7
Л 59

Лингвистическое обеспечение системы Этап-2 [Text]. - М. : Наука, 1989. - 295с. - ISBN 5-02-006572-2 : Б. ц.

УДК

519.7

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

УДК

519.7

УДК

519.7

10.

519.7
D74

Dorf,, R. C.
Modern Control Systems [Text] / R. C. Dorf,. - New York : Addison-Wesley Publishing Company, 1990. - 603 p. - ISBN 0-201-14278-3 : Б. ц.

УДК

519.7

11.

519.7
Ф19

Фалевич, Б. Я.
Теория алгоритмов [Текст] : учеб. пособие для вузов / Б.Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. - (Для вузов). - Библиогр.: с.160. - ISBN 5-217-03249-9 : 88.00 р.

ГРНТИ	28.25.23
УДК	519.7

Кл.слова (ненормированные):
МАССОВАЯ ПРОБЛЕМА -- МАШИНЫ -- ТЬЮРИНГА -- ДВОИЧНОЕ -- КОДИРОВАНИЕ -- МОДЕЛИРОВАНИЕ -- СЛОВ АЛФАВИТа -- самоприменимость -- ЗАПИСЬ -- МАРКОВА -- КОНЕЧНЫЕ АВТОМАТЫ -- РЕКУРСИВНЫЕ -- ФУНКЦИИ -- МНОЖЕСТВ -- ПРЕДИКАТЫ -- ГРАФОВ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

12.

519.7
К29

Катленд, Н.
Вычислимость. Введение в теорию рекурсивных функций [Текст] : пер. с англ. / Н. Катленд. - М. : Мир, 1983. - 256 с. : ил. - Библиогр.: с. 252. - 1.00 р.

ГРНТИ	27
УДК	519.7

Кл.слова (ненормированные):
ВЫЧИСЛИМЫЕ -- тезис Чёрча -- символы Поста и Маркова -- НУМЕРАЦИЯ -- УНИВЕРСАЛЬНЫЕ -- ПРОГРАММЫ -- РАЗРЕШИМОСТЬ -- НЕРАЗРЕШИМОСТЬ -- МНОЖЕСТВА -- алгоритм Штурма -- теорема Гёделя -- теорема Майхилла -- СВОДИМОСТЬ -- ФОРМАЛЬНАЯ АРИФМЕТИКА

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

1..12