Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
"Руконт"-Национальный цифровой ресурс (5)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>U=519.7<.>)
Общее количество найденных документов
:
12
Показаны документы
с 1 по 12
1..12
1.
519.7
К 70
Коршунов, Ю. М.
Математические основы кибернетики [Текст] : Учеб.пособие / Ю. М. Коршунов. - 2-е изд.,перераб.и доп. - М. : Энергия, 1980. - 424с. - Б. ц.
УДК
519.7
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие
2.
519.7
Л 59
Лингвистическое обеспечение системы
Этап-2 [Text]. - М. : Наука, 1989. - 295с. -
ISBN
5-02-006572-2 : Б. ц.
УДК
519.7
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие
3.
519.7
П 27
Перегудов, Ф. И.
Основы системного анализа [Текст] / Ф. И. Перегудов, Ф. П. Тарасенко. - Томск : Изд-во НТЛ, 2001. - 389с. - Библиогр.в конце гл. -
ISBN
5-89503-115-3 : Б. ц.
УДК
519.7
Рубрики:
Математика--Основы системного анализа
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Доп.точки доступа:
Тарасенко, Ф.П.
Свободных экз. нет
Найти похожие
4.
519.7
С 59
Соколов, А. В.
Математические модели и алгоритмы оптимального управления динамическими структурами данных [Text] / А. В. Соколов. - Петрозаводск : [s. n.], 2002. - 215с. - Библиогр.:с.208-215. -
ISBN
5-8021-0190-3 : Б. ц.
УДК
519.7
Рубрики:
Математические модели--Оптимального управления динамическими структурами данных (мат.кибернетика)
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие
5.
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
Свободных экз. нет
Найти похожие
6.
519.7
К 70
!ozboz_W.pft: FILE NOT FOUND! : Учеб.пособие / Ю. М. Коршунов. - 2-е изд.,перераб.и доп. - М. : Энергия, 1980. - 424с. - Б. ц.
УДК
519.7
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие
7.
519.7
Л 59
Лингвистическое обеспечение системы
Этап-2 [Text]. - М. : Наука, 1989. - 295с. -
ISBN
5-02-006572-2 : Б. ц.
УДК
519.7
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие
8.
519.7
П 27
Перегудов, Ф. И.
Основы системного анализа [Текст] / Ф. И. Перегудов, Ф. П. Тарасенко. - Томск : Изд-во НТЛ, 2001. - 389с. - Библиогр.в конце гл. -
ISBN
5-89503-115-3 : Б. ц.
УДК
519.7
Рубрики:
Математика--Основы системного анализа
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Доп.точки доступа:
Тарасенко, Ф.П.
Свободных экз. нет
Найти похожие
9.
519.7
С 59
Соколов, А. В.
Математические модели и алгоритмы оптимального управления динамическими структурами данных [Text] / А. В. Соколов. - Петрозаводск : [s. n.], 2002. - 215с. - Библиогр.:с.208-215. -
ISBN
5-8021-0190-3 : Б. ц.
УДК
519.7
Рубрики:
Математические модели--Оптимального управления динамическими структурами данных (мат.кибернетика)
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие
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
Свободных экз. нет
Найти похожие
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