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

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

Автомати

Документи:

• Автоматизация экспериментальных исследований [Текст] / Д.А. Кузьмичев, И.А. Радкевич, А.Д. Смирнов. — М. : Наука, 1983. — 391с.
• Автоматизация и оптимизация синтеза комбинационных автоматов [Текст] / МАТИ-РГТУ им.К.Э.Циолковского // Мехатроника, автоматизация, управление. — 2008. — С. 54.
• Автоматизация построения и обработки продукционных правил для диагностики компьютерных систем [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / МОН Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2013. — 181 с.
• Автоматизація побудови та обробки продукційних правил для діагностування комп'ютерних систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / МОН України, Харків. нац. ун-т радіоелектроніки. — Харків, 2013. — 20 с.
• Автомати [Текст] : сб. ст. : пер. с англ. / под ред. А. А. Ляпунова. — Москва : Изд-во иностр. лит., 1956. — 403 с.
• Автоматы и пpогpаммиpуемые матpицы [Текст] / С.И. Баранов, В.Н. Синев. — Минск : Вышэйшая школа, 1980. — 135 с.
• Автоматы и pазумное поведение.Опыт моделиpования [Текст]. — К. : Наук.думка, 1973. — 375с.
• Алгебраическая интерпретация микропрограммного автомата с операционным автоматом переходов [Текст] / Р.М. Бабаков, А.А. Баркалов // Кибернетика и системный анализ. — 2016. — С. 22-29.
• Анализ алгоритмов средствами аппарата сетей Петри [Текст] / З.В. Дударь, А.Г. Кривошей // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.96-104.
• Анализ графовых структур для моделирования цифровых систем [Текст] / В.И. Хаханов, С.В. Чумаченко, К.В. Колесников, А.В. Хаханова // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2002. — 4. — С.92-.98.
• Анализ и разработка методики и алгоритмов имитационного исследования однородных нейроподобных структур [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / Харьк. ин-т инженеров железнодорожного трансп. — Харьков, 1984. — 22 с.
• Анализ и разработка методики и алгоритмов имитационного исследования однородных нейроподобных структур [Текст] : дис. ... канд. техн. наук : 05.13.01 / Харьк. ин-т инженеров ж.-д. трансп. — Харьков, 1984. — 270 с.
• Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L в язык L [Текст] / А.Н. Чеботарев // Кибернетика и системный анализ. — 2013. — С. 3-10.
• Булева алгебpа и конечные автоматы [Текст] : Пеp.с фpанц. — М. : Миp, 1969. — 294с.
• Введение в теорию автоматов [Текст] / В.Б. Кудрявцев, С.В. Алешин, А.С. Подколзин. — М. : Наука, 1985. — 319 с.
• Введение в теорию схем программ [Текст] / Отв.ред.Ершов А.П. — Новосибирск : Наука, 1978. — 257с.
• Введение в теоpию конечных автоматов [Текст] / Н.Е. Кобpинский, Б.А. Тpахтенбpот. — М. : Физматгиз, 1962. — 404 с.
• Введение в теоpию конечных автоматов [Текст] : пеp.с англ. / А. Гилл. — М. : Наука, 1966. — 272 с.
• Векторно-логическая инфраструктура встроенного тестирования цифровых систем на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / МОНМС Украины, Харьк. нац. ун-т радиоэлектроники. — Харків, 2011. — 182 с.
• Векторно-логічна інфраструктура вбудованого тестування цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / МОНМС України, Харків. нац. ун-т радіоелектроніки. — Харків, 2012. — 20 с.
• Вероятностные автоматы [Текст] / Д.А. Поспелов. — М. : Энергия, 1970. — 88с.
• Визначення кореляцій між вмістом важких металів у грунтах різних екосистем при вирішенні задач математичного моделювання в екологічному моніторінгу [Текст] / Т.В. Козуля, Л.В. Глушкова, З.В. Штітельман // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2004. — 4. — С.159-164.
• В поисках роботов [Текст] / А.Д. Коут. — М. : Мир, 1970. — 208 с.
• Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах [Текст] / С.Н. Белан, Р.Л. Моторнюк // Кибернетика и системный анализ. — 2013. — С. 11-18.
• Вычислительная техника и вопросы кибернетики [Текст] : межвуз. сб. / Ленингр. гос. ун-т. — Ленинград : ЛГУ, 1990. — 216 с.
• Двоичные динамические системы [Текст] : Пер.с нем. / Д. Бохманн, Х. Постхоф. — М. : Энергоатомиздат, 1986. — 400с.
• Дедуктивно-паралельне моделювання несправностей на моделях цифрових систем, що реконфігуруються [Текст] : автореф. дис. ... канд. техн. наук : 05.13.13 "Обчислювальні машини, системи та мережі" / Харків. нац. ун-т радіоелектроніки. — Харків, 2002. — 20 с.
• Декомпозиция конечных автоматов [Текст] / Г.П. Агибалов, Н.В. Евтушенко. — Томск : Изд-во Томского ун-та, 1985. — 127с.
• Диагностирование ПЛИС на основе моделей клеточных автоматов [Текст] / М.А. Бережная, Л.В. Дербунович // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2002. — 3. — С.79-82.
• Динамика логических устройств и систем [Текст] / В.И. Левин. — М. : Энергия, 1980. — 224 с.
• Доопределение частично заданных законов функционирования дискретных динамических систем с использованием сплайнов [Текст] / А.С Епифанов // Радіоелектронні і комп'ютерні системи. — 2013. — С. 250-254.
• Эвристическое многоальтернативное проектирование компьютерных систем обработки данных [Текст] / В.П. Авраменко, В.В. Тулупов // Бионика интеллекта : научно-технический журнал. — Харьков, 2008. — 1. — С. 45-51.
• Экспеpименты с автоматами [Текст] / АН УССР;Ин-т пpикл.математики и механики. — К. : Наук.думка, 1973. — 144с.
• Интегральные роботы [Текст] / под ред. Г. Е. Поздняка. — М. : Мир, 1973. — 421 с.
• Интегральные роботы [Текст] / под ред. Г. Е. Поздняка. — М. : Мир, 1975. — 528 с.
• Интеллектуальная рекрутинговая система [Текст] / Б.В. Шамша, Т.Б. Шатовская, А.Ю. Гуд // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С. 49-54.
• Интеллектуальное диагностирование цифровых систем на основе моделей структурного уровня [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / МОНМС Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2011. — 172 с.
• Инфраструктура встроенного диагностирования HDL- моделей цифровых систем на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / МОНМС Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2011. — 150 с.
• Использование метода байесовских статистических рещений для выбора варианта технологического процесса [Текст] / И.Ш. Невлюдов, М.А. Омаров, В.А. Паладин, Е.А. РазумовФризюк // Вопросы проектирования и производства конструкций летательных аппаратов : сб. науч. тр.: спец. вып. / Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2010. — С. 173-180.
• Использование согласования логических спецификаций автоматов при решении игоровых задач [Текст] / А.Н. Чеботарев // Кибернетика и системный анализ. — 2014. — С. 3-13.
• Исследование отрицательной дисперсии в чирпинговых зеркалах произвольного порядка [Текст] / В.В. Лысак, И.А. Сухоиванов, С.О. Якушев, А.В. Шулика // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2004. — 3. — С.54-59.
• Исследования по теории автоматов и моделированию биологических систем [Текст] / М.Л. Цетлин. — М. : Наука, 1969. — 316с.
• Інтелектуальне діагностування цифрових систем на основі моделей структурного рівня [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / МОНМС України, Харків. нац. ун-т радіоелектроніки. — Харків, 2011. — 19 с.
• Інформаційні особливості визначення оцінки відповідності стану экологічності системних об’єктів [Текст] / Т.В. Козуля, Н.В. Шаронова, М.О. Білова, М.М. Козуля // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. — К., 2016. — №2. — С. 45-57.
• Інфраструктура убудованого діагностування HDL- моделей цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / МОНМС України, Харків. нац. ун-т радіоелектроніки. — Харків, 2011. — 20 с.
• Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / МОНМС України, Харків. нац. ун-т радіоелектроніки. — Харків, 2012. — 20 с.
• Квантовые модели вычислительных процессов для тестирования цифровых систем на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / МОНМС Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2012. — 182 с.
• Квантовые модели диагностирования цифровых систем [Текст] / Аммар Багдади, В.И. Хаханов, Е.И. Литвинова та ін. // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2013. — 2. — С. 35-43.
• Квантовый компьюринг для проектирования цифровых систем [Текст] / Е.И. Литвинова, И.В. Хаханов // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2015. — 4. — С. 42-45.
• Киберсервисы активного управления университетом [Текст] / В.И. Хаханов, А.С. Мищенко, С.В. Чумаченко, С.А. Зайченко // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2014. — 4. — С. 56-61.

1   2    3    4