A882053-ОХФ Мансуров, Владимир Николаевич. Конструктивные и развивающиеся формальные системы [Текст] / В. Н. Мансуров ; . - Саратов : Издательство Саратовского университета, 1989. - 192, [4] c. - ISBN 5-292-00519-3 : 14.00 р.
Рубрики: математика--математическая логика--математическая кибернетика Кл.слова (ненормированные): формальные системы -- конструктивные формальные системы -- ЭПИ-системы -- бинарные системы -- Тьюринга машина -- алгоритмические языки Экземпляры всего: 1 ОХФ (1) |
A884920-ОХФ Зубов, Иван Владимирович. Методы анализа динамики управляемых систем [Текст] : моногр. / Иван Владимирович Зубов. - Москва : ФИЗМАТЛИТ, 2003. - 223, [1] c. - Библиогр. - ISBN 5-9221-0457-8 (в пер.) : 95.00 р.
Рубрики: автоматика.кибернетика--системы автоматического управления Кл.слова (ненормированные): управляющие системы -- распределенные системы -- Алпунова функции -- устойчивость -- системный анализ -- управляемость Экземпляры всего: 1 ОХФ (1) |
A884927-ОХФ Ломазова, И. А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой [Текст] / И. А. Ломазова. - Москва : Науч. мир, 2004. - 207, [1] c. - Библиогр. - ISBN 5-89176-247-1 (в пер.) : 105.00 р.
Рубрики: математика--комбинаторный анализ--теория графов--математическая кибернетика Кл.слова (ненормированные): Петри сети -- моделирование -- распределенные системы -- многоуровневые системы -- верификация Экземпляры всего: 1 ОХФ (1) |
A960333-ОХФ Винер, Норберт. Творец и Будущее [Текст] : пер. с англ. / Н. Винер. - Москва : АСТ, 2003. - 732, [4] с. - (Philosophy). - ISBN 5-17-019210-X (в пер.) : 174.50 р.
Рубрики: автоматика.кибернетика--математическая кибернетика--США, 19-20 вв., 1894-1964 гг. социология--цивилизация--культура Кл.слова (ненормированные): кибернетика -- общество -- религия -- математика -- персоналии -- коммуникация -- информационное общество Экземпляры всего: 1 ОХФ (1) |
A967226-ОХФ, A967227-ОХФ-ЧЗ-4, A967228-ОХФ, A967229-ОХФ, A968615-ОХФ, A968902-ОХФ-ЧЗ-4 Теория тестирования логических устройств [Текст] / В. Б. Кудрявцев [и др.] ; под ред. В. А. Садовничего. - Москва : ФИЗМАТЛИТ, 2006. - 156, [4] с. : рис., табл. - Библиогр.: с. 152-156. - ISBN 5-9221-0727-5 (в пер.) : 98.23 р., 104.80 р.
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): логические устройства -- конечнозначная логика -- тестовый контроль -- тесты -- сложность контроля -- Поста классы -- кибернетика Доп. точки доступа: Кудрявцев, Валерий Борисович Гасанов, Эльяр Эльдарович Долотова, Оксана Александровна Погосян, Грант Рафаелович Садовничий, В. А. Экземпляры всего: 6 ОХФ (4), ОХФ-ЧЗ-4 (2) |
A975723-ОХФ, A975726-ОХФ Кудрявцев, Валерий Борисович. Теория тестового распознавания [Текст] / В. Б. Кудрявцев, А. Е. Андреев, Э. Э. Гасанов. - Москва : ФИЗМАТЛИТ, 2007. - 320 с. - Библиогр.: с. 317-320 (75 назв.). - ISBN 978-5-9221-0872-0 : 115.00 р.
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): распознавание образов -- тесты -- распознавание тестовое Доп. точки доступа: Андреев, Александр Егорович Гасанов, Эльяр Эльдарович Экземпляры всего: 2 ОХФ (2) |
A992444-ОХФ Рыков, Александр Семенович. Системный анализ: модели и методы принятия решений и поисковой оптимизации [Текст] / А. С. Рыков ; Федер. гос. образоват. учреждение высш. проф. образования "Государственный технологический университет "Московский институт стали и сплавов". - Москва : Издательский Дом МИСиС, 2009. - 607, [1] с. : ил., табл. - Библиогр.: с. 588-599 (271 назв.). - ISBN 978-5-87623-196-3 (в пер.) : 328.00 р.
Рубрики: математика--исследование операций--математическая кибернетика Кл.слова (ненормированные): поисковая оптимизация -- системный анализ -- экспертные оценки -- нечеткая оптимизация -- прямого поиска метод -- деформируемых конфигураций метод -- тест-функции Экземпляры всего: 1 ОХФ (1) |