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

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

Автомати

Документи:

• Моделі та методи апаратного моделювання несправностей цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.13 "Обчислювальні машини, системи та мережі" / Харків. нац. ун-т радіоелектроніки. — Харків, 2007. — 21 c.
• Моделі та методи апаратного моделювання цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.13 "Обчислювальні машини, системи і мережі" / Харків. нац. ун-т радіоелектроніки. — Харків, 2007. — 20 с.
• Моделі та методи апаратного моделювання цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.13 "Обчислювальні машини, системи та мережі" / Харків. нац. ун-т радіоелектроніки. — Харків, 2007. — 20 с.
• Может ли машина мыслить? С приложением статьи Д. Неймана. Общая и логическая теория автоматов [Текст] : пер. с англ. / А. Тьюринг. — М. : Физматгиз, 1960. — 112 с.
• Мозг,машина и математика [Текст] : Пер.с англ. / М.А. Арбиб. — М. : Наука, 1968. — 224с.
• Мультипроцессорные модели решения систем булевых уравнений большой размерности [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / Харьк. нац. ун-т радиоэлектроники. — Харків, 2008. — 147 с.
• Мышление и автоматы [Текст] / Д.А. Поспелов, В.Н. Пушкин. — М. : Советское радио, 1972. — 224 с.
• Несколько замечаний о проблеме Коллатца [Текст] / И.К. Рысцов // Кибернетика и системный анализ. — 2013. — С. 32-46.
• Облачная инфраструктура мониторинга и управления дорожным движением [Текст] / В.И. Хаханов, И.П. Энглези, Е.И. Литвинова та ін. // Радіоелектронні і комп'ютерні системи. — 2013. — С. 106-111.
• О минимизации автоматов алгоритмом Хопкрофта [Текст] / А.Н. Чеботарев // Управляющие системы и машины  : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 61-70.
• Операция свертки процессов [Текст] / В.А. Горбачев, Т.В. Гриценко // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.62-67.
• Основные теоремы для построения геометрических образов автоматных отображений [Текст] / В.А. Твердохлебов // Радіоелектронні і комп'ютерні системи. — 2013. — С. 379-384.
• Основы дискретной автоматики : Статика и динамика дискретных автоматов [Текст] / В.Н. Рогинский. — М. : Связь, 1975. — 430с.
• Основы общей теории конечных автоматов [Текст] / Ленингр.ун-т. — Л. : ЛГУ, 1975. — 279с.
• Основы теоpии веpоятностных автоматов [Текст] / Р.Г. Бухаpаев. — М. : Наука, 1985. — 287с.
• Пневматические системы управления приводом машин-автоматов. (Методы построения) [Текст] / С.А. Юдицкий. — М. : Энергия, 1968. — 88 с.
• Повышение качества теста на основе технологии BOUNDARY Scan [Текст] / В.И. Хаханов, М.А. Каминская, А.А. Егоров, И.А. Побеженко // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2004. — 3. — С.85-90.
• Подход к оценке производительности web-базированных информационных систем [Текст] / А.В. Петриченко, Д.В. Мантула, Е.Е. Малафеев // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С. 75-81.
• Полная система эквивалентных преобразований для многоленточных автоматов [Текст] / В.Е. Хачатрян // Программирование. 1 , 2003. — С.62-77.
• Порівняльний аналіз алгоритмів потокового симетричного шифрування (за результатами виконання проекту eSTREAM) [Текст] / І.Д. Горбенко, А.В. Нейванов // Прикладная радиоэлектроника : научно-технический журнал. — Харьков, 2008. — 3. — С. 233-239.
• Преобразование автомата типа Мили в автомат типа Мура путем расщепления внутренних состояний [Текст] / А.С. Климович, В.В. Соловьев // Известия РАН.Теория и системы управления  : научный журнал / РАН. Известия АН. — С. 70-79.
• Применение аппарата сетей Петри для проектирования обобщенной многопользовательской системы [Текст] / С.М. Вороной, С.С. Еськов // . — С. 349-354.
• Применение конвейеризации для увеличения быстродействия логических схем [Текст] / П.Н. Бибило, Н.А. Кириенко // Управляющие системы и машины  : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 40-43.
• Применение нейронных сетей для классификации стохастических объектов [Текст] / Б.В. Шамша, О.С. Морозова // Автоматизированные системы управления и приборы автоматики. Вып. 144 ; МОН Украины, Харьк. нац. ун-т радиоэлектроники; редкол.: В. В. Семенец ( гл.ред. ) и др. - Харьков : ХНУРЭ , 2008. — С. 176-181.
• Примитивные и непроводимые автоматы [Текст] / И.К. Рысцов // Кибернетика и системный анализ. — 2015. — С. 19-27.
• Проблемы синтеза цифровых автоматов [Текст] : сб. ст. / отв. ред. В. Г. Лазарев, А. Д. Закревский, АН СССР, Ин-т проблем передачи информации. — Москва : Наука, 1967. — 151 с.
• Проектирование моделей цифровых автоматов для генерации тестов в среде ACTIVE-HDL [Текст] : дис. ... канд. техн. наук : 05.13.12 / Харьк. гос. техн. ун-т радиоэлектроники. — Харьков, 2000. — 228 с.
• Проектування моделей цифрових автоматів для генерації тестів у середовищі ACTIVE-HDL [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 "Системи автоматизації проектувальних робіт" / Харків. держ. техн. ун-т радіоелектроніки. — Харків, 2000. — 19 с.
• Про побудову двосторонніх наближень до додатного розв'язку еліптичної крайової задачі з експоненціальною мажорантою [Текст] / В.С. Луханін // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2015. — 2. — С. 16-18.
• Пространственно-временная декомпозиция и структурный анализ и синтез стохастических систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 "Теоретическая кибернетика и теория информации", 05.13.05 "Элементы и устройства вычислительной техники и систем управления" / ОЛИ Проблем Управления (автоматики и телемеханики). — Москва, 1982. — 35 с.
• Процедуры импликации на арифметических операциях при синтезе тестов верификации [Текст] / В.А. Рустинов, Е.Е. Сыревич, А.В. Сыревич, Д.И. Чегликов // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.4-13.
• Разработка методов синтеза конечных автоматов с учетом особенностей их матричной реализации [Текст] : автореф. дис. ...канд. техн. наук : 05.13.01 "Техническая кибернетика и теория информации" / Ин-т электроники и вычислительной техники АН Латвийской ССР. — Рига, 1982. — 23 с.
• Разработка моделей и алгоритмов диагностирования при проектировании локальных вычислительных сетей [Текст] : дис. ... канд. техн. наук : 05.13.12 "Системы автоматизации проектных работ" / Харьк. гос. техн. ун-т радиоэлектроники. — Харьков, 2001. — 170 с.
• Реализация бисимметрических булевых функций логическими схемами [Текст] / Белорусский государственный университет. // Известия высших учебных заведений. Приборостроение. / МО РФ, СПб ГУИТМО. — С. 17-25.
• Розробка моделей і алгоритмів діагностування при проектуванні локальних обчислювальних мереж [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 "Системи автоматизації проектувальних робіт" / Харків. нац. ун-т радіоелектроніки. — Харків, 2001. — 19 с.
• Розробка моделей та архітектур високопродуктивних клітинних автоматів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / М-во освіти і науки України, ДВНЗ "Донец. нац. техн. ун-т". — Красноармійськ, 2015. — 23 с.
• Сети связи и дискретные устройства управления [Текст] / ред. В. Г. Лазарев ; АН СССР; Ин-т проблем передачи информации. — М. : Наука, 1976. — 152 с.
• Синтез апостериорных оценок истиности суждений в интегрированных базах знаний: стохастический вариант [Текст] / Санкт-Петербургский институт информатики и автоматизации РАН // Известия высших учебных заведений. Приборостроение. / МО РФ, СПб ГУИТМО. — С. 39-44.
• Синтез асинхронных автоматов на ЭВМ [Текст] / под ред. А. Д. Закревского. — Минск : Наука и техника, 1975. — 183с.
• Синтез дискретних пристроїв на основі використання булевих функцій в ортогональній формі представлення [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / М-во освіти і науки України, Черкас. держ. технол. ун-т. — Черкаси, 2016. — 20 с.
• Синтез микpопpогpаммных автоматов [Текст] / С.И. Баpанов. — Л. : Энеpгия, 1974. — 216с.
• Синтез управляющих автоматов [Текст] / В.Г. Лазарев, Е.И. Пийль. — 2-е изд., испр. — М. : Энергия, 1978. — 408 с.
• Синтез управляющих автоматов [Текст] / В.Г. Лазарев, Е.И. Пийль. — 3-е изд.,перераб.и доп. — М. : Энергоатомиздат, 1989. — 328 с.
• Синтез управляющих автоматов [Текст] / В.Г. Лазарев, Е.И. Пийль. — М. : Энергия, 1970. — 400с.
• Синтез управляющих автоматов [Текст] / В.Г. Лазарев, Е.И. Пийль. — М. : Энергия, 1977. — 400 с.
• Синтез цифровых автоматов [Текст] / В.М. Глушков. — М. : Физматгиз, 1962. — 476 с.
• Системні моделі аналізу тестопридатності при проектуванні цифрових структур на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи і компоненти" / Харків. нац. ун-т радіоелектроніки. — Харків, 2008. — 20 с.
• Системні моделі проектування та верифікації вейвлет-перетворення стандарту JPEG2000 [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Харків. нац. ун-т радіоелектроніки. — Харків, 2010. — 20 с.
• Системные модели анализа тестопригодности при проектировании цифровых структур на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / МОН Украины, Харьк. нац. ун-т радиоэлектроники. — Харків, 2009. — 187 с.
• Согласование взаимодействующих автоматов [Текст] / А.Н. Чеботарев // Кибернетика и системный анализ. — 2015. — С. 13-25.

1    2    3   4