Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Теорія керуючих систем: математичні аспекти

Автомати

Документи:

• Киберфизические системы как технологии киберуправления (аналитический обзор) [Текст] / В.И. Хаханов, В.И. Обризан, А.С. Мищенко, И.В. Филипенко // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2014. — 1. — С. 39-45.
• Киберфизические структуры для анализа больших данных [Текст] / В.И. Хаханов, Е.И. Литвинова, С.А. Зайченко та ін. // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2015. — 2. — С. 25-29.
• Кинетические модели развития дефектов, возникающих в производстве электронной техники [Текст] / И.Ш. Невлюдов, Е.П. Второв, Ю.М. Роздоловский // Прикладная радиоэлектроника : научно-технический журнал. — Х., 2004. — 1. — С.71-74.
• Кодирование состояний и надежность автоматов [Текст] / Ю.Л. Сагалович. — М. : Связь, 1975. — 208с.
• Коллективное поведение автоматов [Текст] / В.И. Варшавский. — М. : Наука, 1973. — 407 с.
• Композиционный подход к проектированию реактивных алгоритмов [Текст] / А.Н. Чеботарев // . — С. 14-27.
• Компонентная технология программирования для описания моделей цифровых устройств [Текст] / Г.Ф. Дюбко // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.55-61.
• Конечные автоматы [Текст] : (Поведение и синтез) / Б.А. Трахтенброт, Я.М. Бардзинь. — М. : Наука, 1970. — 400 с.
• Контpоль и пpеобpазование дискpетных автоматов [Текст] / АН УССР;Ин-т пpикладной математики и механики. — К. : Наук.думка. — 174с.
• Кубитные модели и методы анализа и диагностирования цифровых устройств [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / М-во образования и науки Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2014. — 187 с.
• Кубітні моделі та методи аналізу і діагностування цифрових пристроїв [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. — Харків, 2015. — 20 с.
• Кубічне моделювання несправностей для аналізу якості тестів при проектуванні цифрових систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 "Системи автоматизації проектувальних робіт" / Харків. нац. ун-т радіоелектроніки. — Харків, 2001. — 19 с.
• Логика. Автоматы. Алгоритмы [Текст] / М.А. Айзерман, Л.А. Гусев, Л.И. Розоноэр, др. и. — М. : Физматгиз, 1963. — 556 с.
• Логический ассоциативный мультипроцессор для анализа информации [Текст] / М.Ф. Бондаренко, В.И. Хаханов // Бионика интеллекта : научно-технический журнал. — Харьков, 2010. — 2(73). — С. 116-128.
• Логическое моделирование и тестирование цифровых устройств [Текст] : [моногр.] / ИПММ НАН Украины, ДонНТУ. — Донецк : ДонНТУ, 2005. — 436 с.
• Математические основы проектирования рекурсивных автоматов с программируемой логикой [Текст] / под ред. В. Я. Жихарева. — Х. : Факт, 1999. — 144 с.
• Метод восстановления работоспособности памяти с помощью резервных элементов [Текст] / В.И. Хаханов, Е.И. Литвинова, К.Л. Мостовая, А.Н. Парфентий // Радиоэлектроника и информатика : научно-технический журнал. — Харьков : ХНУРЭ, 2007. — 1. — С. 39-44.
• Методи діагностики комп'ютерних систем та мереж з використовуванням експертних систем реального часу [Текст] : автореф. дис. ... канд. техн. наук. : 05.13.13 "Обчислювальні машини, системи та мережі" / МОН України, Харків. нац. ун-т радіоелектроніки. — Харьков, 2007. — 20 с.
• Методи і алгоритми оцінки тестопридатності цифрових пристроїв на етапі проектування [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 "Системи автоматизації проектувальних робіт" / Харків. держ. техн. ун-т радіоелектроніки. — Харків, 2000. — 16 с.
• Методи комп'ютерної ідентифікації зображень рухомих об'єктів на основі клітинних автоматів з гексагональним покриттям [Текст] : автореф. дис. ... канд. техн. наук : 05.13.04 "Комп'ютерні системи та компоненти" / Держ. екон.-технол. ун-т трансп. — Київ, 2013. — 20 с.
• Методи комп'ютерної ідентифікації зображень рухомих об'єктів на основі клітинних автоматів з гексагональним покриттям [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 - комп'ют. системи та компоненти / Держ. екон. - технол. ун-т трансп. — К., 2013. — 21 с.
• Методи логічного проектування дискретних пристроїв з убудованими засобами діагностування [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 "Системи автоматизації проектувальних робіт" / Харків. нац. ун-т радіоелектроніки. — Харків, 2003. — 20 с.
• Методи, моделі і поцедури синтезу організаційної структури логістичних інформаційних систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / Харків. нац. ун-т радіоелектроніки. — Харків, 2003. — 19 с.
• Методи та засоби розробки відмовостійких систем на ПЛІС з автоматно-мовною диверсністю [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та комплекси" / МОНМС України, Нац. техн. ун-т "Харків. політех. ін-т". — Харків, 2012. — 20 с.
• Методи функціонального тестування критичних систем керування [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / МОН України, Харків. нац. ун-т радіоелектроніки. — Харків, 2013. — 19 с.
• Метод непрерывного мониторинга при обнаружении отказов маршрутизаторов [Текст] / Д.И. Алексеев, А.И. Гриценко // Автоматизированные системы управления и приборы автоматики. Вып. 144 ; МОН Украины, Харьк. нац. ун-т радиоэлектроники; редкол.: В. В. Семенец ( гл.ред. ) и др. - Харьков : ХНУРЭ , 2008. — С. 140-144.
• Методологія формування клітинних автоматів для побудови високоефективних апаратно-програмних компонентів комп'ютерної обробки та розпізнавання зображень [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.05 - комп'ют. системи та компоненти / М-во освіти і науки, молоді та спорту України, Нац. авіац. ун-т. — К., 2012. — 39 с.
• Метод разработки информационной системы на основе преобразования моделей [Текст] / В.С. Сугробов // Автоматизированные системы управления и приборы автоматики. Вып. 144 ; МОН Украины, Харьк. нац. ун-т радиоэлектроники; редкол.: В. В. Семенец ( гл.ред. ) и др. - Харьков : ХНУРЭ , 2008. — С. 101-107.
• Метод формирования и описания политики доступа к ресурсам в компьютерной сети [Текст] / В.И. Саенко, А.С. Голубев // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2004. — 4. — С.134-139.
• Методы диагностики компьютерных систем и сетей с применением экспертных систем реального времени [Текст] : дис. ... канд. техн. наук : 05.13.13 "Вычислительные машины, системы и сети" / МОН Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2007. — 178 с.
• Методы и алгоритмы оценки тестопригодности цифровых устройств на этапе проектирования [Текст] : дис. ... канд. техн. наук : 05.13.12 "Системы автоматизации проектных работ" / Харьк. гос. техн. ун-т радиоэлектроники. — Харьков, 1999. — 192 с.
• Методы логического проектирования дискретных устройств со встроенными средствами диагностирования [Текст] : дис. ... канд. техн. наук : 05.13.12 "Системы автоматизации проектных работ" / Харьк. нац. ун-т радиоэлектроники. — Харьков, 2003. — 195 с.
• Методы, модели и процедуры синтеза организационной структуры логистических информационных систем [Текст] : дис. ... канд. техн. наук : 05.13.12 / Харьк. нац. ун-т радиоэлектроники. — Харьков, 2002. — 166 с.
• Методы реализации конечных автоматов на сдвиговых регистрах [Текст] / В.В. Девятков. — М. : Энергия, 1974. — 80 с.
• Методы функционального тестирования критических систем управления [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / МОНМС Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2013. — 179 с.
• Методы pеализации конечных автоматов на сдвиговых pегистpах [Текст] / В.В. Девятков. — М. : Энеpгия, 1974. — 80с.
• Метрика для анализа big data [Текст] / В.И. Хаханов, А.С. Мищенко, В.И. Обризан, Bani Tamer // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2014. — 2. — С. 26-29.
• Модели и методы аппаратного моделирования цифровых устройств на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.13 "Вычислительные системы и сети" / Харьк. нац. ун-т радиоэлектроники. — Харьков, 2007. — 190 с.
• Модели и методы аппаратного моделированния неисправностей цифровых систем на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.13 "Вычислительные машины, системы и сети" / Харьк. нац. ун-т радиоэлектроники. — Харьков, 2007. — 168 с.
• Модели и методы функциональной верификации цифровых систем на основе темпоральных ассерций [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / Харьк. нац. ун-т радиоэлектроники. — Харьков, 2010. — 250 с.
• Модели и средства контроля прохождения материальных объектов в иерархических системах [Текст] / В.М. Кузьменко, С.В. Кузьменко // Прикладная радиоэлектроника : научно-технический журнал. — Х., 2004. — 3. — С.43-47.
• Модели, методы и средства классификационного моделирования многокритериальных задач принятия решений [Текст] / О.А. Нестеренко, Е.Ю. Глубокая, О.Н. Лепеха // Бионика интеллекта : научно-технический журнал. — Харьков, 2006. — 2. — С. 71-76.
• Модели представления данных в World Wide Web [Текст] / М.Ф. Бондаренко, А.С. Коряк, С.А. Рошка, И.В. Томич // Радиоэлектроника и информатика : научно-технический журнал. — Харьков : ХНУРЭ, 2005. — 2. — С.64-68.
• Модели прийняття управлінського рішення і концепція корпоративної екологічної системи [Текст] / Т.В. Козуля, Н.В. Шаронова // Бионика интеллекта : научно-технический журнал. — Харьков, 2005. — 1. — С.31-36.
• Моделирование взаимодействия ультракоротких лазерных импульсов с чирпированным зеркалом [Текст] / С.О. Якушев, С.И. Петров, А.В. Шулика // Радиотехника : всеукр. межвед. науч.-техн. сб. / МО Украины, Харьк. техн. ун-т радиоэлектроники; редкол. : М. Ф. Бондаренко (отв.ред.) и др. — Харьков : ХТУРЭ, 1996. — С. 82-89.
• Моделирование корреляционного алгоритма распознавания образов с помощью конечного автомата [Текст] / В.Б. Климушев, М.А. Буколова // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.80-87.
• Моделирование оперативного управления бизнес-процессами с помощью регулярных выражений алгебры событий [Текст] / В.П. Авраменко, В.В. Калачева, И.Г. Кротюк // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.112-119.
• Модели цифровых устройств и методы их анализа в автоматизированной системе диагностического обеспечения [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 "Управление в технических системах" / Харьк. ин-т радиоэлектроники. — Харьков, 1985. — 24 с.
• Моделі інфраструктури сервісного обслуговування цифрових систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Харків. нац. ун-т радіоелектроніки. — Харків, 2009. — 20 с.
• Моделі й методи функціональної верифікації цифрових систем на основі темпоральних асерцій [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Харків. нац. ун-т радіоелектроніки. — Харків, 2011. — 20 с.

1    2   3    4