Авторизация
Фамилия
Пароль
 

Базы данных

Вид поиска


Выберите поиск:
в найденном
Что искать:
 Найдено в других БД:Авторефераты (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=519.7<.>)
Общее количество найденных документов : 23
Показаны документы с 1 по 10
 1-10    11-20   21-23 
1.
   519.7
   В 493


    Виноградов, Юрий Иванович.
    Метод функционального нормирования для краевых задач теории оболочек : Классические формы оболочек, метод обеспечения устойчивости счета, алгоритмы решения краевых задач, результаты расчетов / Ю.И. Виноградов, Г.Б. Меньков; Под ред. В.П. Георгиевского. - москва : Эдиториал УРСС, 2001. - 160 с. - ISBN 5836002037 : 112.80 р.
ГРНТИ
УДК
Рубрики: Математическая кибернетика--Теория оболочек--Краевые задачи
Кл.слова (ненормированные):
Краевые задачи механики -- Теория оболочек -- Дифференциальные уравнения -- Деформирование оболочек -- Функциональное нормирование -- Устойчивость счета -- Алгоритмы решения


Доп.точки доступа:
Меньков, Г.Б.
Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

2.
   519.7
   М 30


    Марченков, Сергей Серафимович.
    S-классификация функций трехзначной логики : научное издание / С.С. Марченков. - москва : ФИЗМАТЛИТ, 2001. - 79 с. - ISBN 5922101528 : 79.74 р.
ГРНТИ
УДК
Рубрики: Математическая кибернетика--S-классификация
Кл.слова (ненормированные):
Математическая кибернетика -- S-классификация -- Функции трехзначной логики -- S-замкнутые классы

Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

3.
   519.7
   Х781


    Хопкрофт, Джон.
    Введение в теорию автоматов, языков и вычислений : Пер. с англ. / Д.Э. Хопкрофт, Р. Мотвани, Д.Д. Ульман. - 2-е изд. - москва : Вильямс, 2002. - 527 с. : ил. - ISBN 5845902614 : 249.90 р.
ГРНТИ
УДК
Рубрики: Теория автоматов
Кл.слова (ненормированные):
теория автоматов -- автоматы -- конечные автоматы -- регулярные языки -- контекстно-свободные грамматики -- контекстно-свободные языки -- машины Тьюринга


Доп.точки доступа:
Мотвани, Раджив; Ульман, Джеффри
Экземпляры всего: 3
чз (2), зал ППС (1)
Свободны: чз (2), зал ППС (1)
Найти похожие

4.
   519.7
   Л74


    Ломазова, И. А.
    Вложенные сети Петри : Моделирование и анализ распределенных систем с объектной структурой / И.А. Ломазова. - М. : Научный мир, 2004. - 207 с. : ил. - ISBN 5891762471 : 214.55 р.
ГРНТИ
УДК
Рубрики: Математическая кибернетика--Сети Петри
Кл.слова (ненормированные):
сети Петри -- вложенные сети Петри -- распределенные системы

Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

5.
   519.7
   И73


   
    Интеллектное управление динамическими системами : научное издание / С. Н. Васильев [и др.]. - М. : ФИЗМАТЛИТ, 2000. - 352 с. : ил. - (Федеральная целевая программа "Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы"). - ISBN 5-9221-0050-5 : 100 р.
ГРНТИ
УДК
Рубрики: Кибернетика--Динамические системы--Интеллектное управление
Кл.слова (ненормированные):
интеллектное управление динамическими системами -- динамические системы -- логический вывод -- порождение гипотез -- системный анализ -- семантика сложных антропоцентрических систем -- интеллектуализация решения задач -- задачи среднего уровня управления -- задачи нижнего уровня управления


Доп.точки доступа:
Васильев, Станислав Николаевич; Жерлов, Александр Константинович; Федосов, Евгений Александрович; Федунов, Борис Евгеньевич
Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

6.
   681.3
   К91


    Кун, С. Ю.
    Матричные процессоры на СБИС : научное издание / С. Ю. Кун ; Пер. с англ. Ю. Г. Дадаева. - М. : Мир, 1991. - 672 с. : ил. - Б. ц.
ГРНТИ
УДК
Рубрики: Информационные технологии--Процессоры матричные
Кл.слова (ненормированные):
матричные процессоры -- СБИС


Доп.точки доступа:
Дадаев, Ю.Г. \пер.\
Экземпляры всего: 6
кх (4), аб (2)
Свободны: кх (4), аб (2)
Найти похожие

7.
   512
   П395


    Плоткин, Б. И.
    Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин. - Москва : Наука, 1991. - 448 с. : ил. - Б. ц.
ГРНТИ
УДК
Рубрики: Математическая логика
Кл.слова (ненормированные):
алгебраическая логика -- универсальная алгебра

Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

8.
   519.7
   Ч-573


    Чечкин, Александр Витальевич.
    Математическая информатика / А. В. Чечкин. - Москва : Наука, 1991. - 411, [1] с. : ил. ; 22. - Библиогр.: с. 403-409. - 5700 экз.. - ISBN 5-02-014136-4 (в пер.) : 5.40 р.
ГРНТИ
УДК
Рубрики: Вычислительная математика--Математическая информатика
Дескрипторы: математическая информатика -- математические основы -- антенны -- экспертные системы

Экземпляры всего: 2
зал ППС (1), чз (1)
Свободны: зал ППС (1), чз (1)
Найти похожие

9.
   518
   Б924


    Бусленко, Н. П.
    Математическое моделирование производственных процессов на цифровых вычислительных машинах / Н. П. Бусленко ; при участии З. И. Шарагиной. - Москва : Наука, 1964. - 362 с. - Б. ц.
ГРНТИ
УДК
Рубрики: Математическая кибернетика--Моделирование производственных процессов
Кл.слова (ненормированные):
математическое моделирование производственных процессов -- цифровые вычислительные машины

Экземпляры всего: 6
кх (6)
Свободны: кх (6)
Найти похожие

10.
   Г568
   517.2


    Гноенский, Л. С.
    Математические основы теории управляемых систем / Л. С. Гноенский, Г. А. Каменский, Л. Э. Эльсгольц. - Москва : Наука, 1969. - 512 с. - (Физико-математическая библиотека инженера). - Библиогр.: с. 503-507. - Б. ц.
ГРНТИ
УДК
Рубрики: Математическая кибернетика--Теория управляемых систем
Кл.слова (ненормированные):
теория управляемых систем


Доп.точки доступа:
Каменский, Г. А.; Эльсгольц, Л. Э.
Экземпляры всего: 2
кх (2)
Свободны: кх (2)
Найти похожие

 1-10    11-20   21-23 
 
ссылка на мобильную версию электронного каталога