Полное описание
Скляревич, А. Н.
Рубрики: Автоматов теория
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-96/50934)
Шифр в сводном ЭК: 67292bc94165b47a1e22021e9afcaab2
Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный. Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный. Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный. Илясов С.А. Распознавание некоторых свойств автоматных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / С. А. Илясов, 2006. - 9 с. - Текст : непосредственный. Encyclopedia of algorithms / Ed. M.-Y. Kao, 2008. - LIII, 1166 p. - Текст : электронный. Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный. Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный. Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный. Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный. Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный. Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный. Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный. Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный. Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный. Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный. Основы алгоритмизации и программирования : выставочные материалы / Хакасский гос. ун-т им. Н. Ф. Катанова (Абакан), 2014. - 113 с. - Текст : непосредственный. Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный. Показать все результаты Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный. Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный. Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный. Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный. Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный. Автоматы и разумное поведение. Опыт моделирования, 1973. - 375 с. - Текст : непосредственный. Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный. Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный. Епифанов А.С. Анализ фазовых картин дискретных динамических систем / А. С. Епифанов, 2008. - 155 с. - Текст : непосредственный. Твердохлебов В.А. Геометрические образы законов функционирования автоматов / В. А. Твердохлебов, 2008. - 182 с. - Текст : непосредственный. Fehler in Automaten / Hrsg.: D. Bochmann, R. Ubar, 1989. - 216 S. - Текст : непосредственный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Фрид А.И. Избранные лекции по теории автоматов / А. И. Фрид, 2005. - 260 с. - Текст : непосредственный. Богомолов А.М. Автоматные модели и рекурсивный конструктивизм / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов, 1992. - 75 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Коломеец А.В. Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов / А. В. Коломеец, 2010. - 18 с. - Текст : непосредственный. Прокопенко С.А. Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд.техн.наук / С. А. Прокопенко, 2000. - 22 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Подольская О.В. Оценки сложности булевых функций в некоторых бесконечных базисах / О. В. Подольская, 2017. - 12 с. - Текст : непосредственный. Попков К.А. Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов / К. А. Попков, 2018. - 32 с. - Текст : непосредственный. Попков К.А. Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов / К. А. Попков, 2018. - 24 с. - Текст : непосредственный. Ветрова М.В. Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов : автореф. дис. .. канд. техн. наук: 05.13.01 / М. В. Ветрова, 2003. - 20 с. - Текст : непосредственный. Попков К.А. Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе / К. А. Попков, 2018. - 7 с. - Текст : непосредственный. Коляда С.С. Верхние оценки длины проверяющих тестов для схем из функциональных элементов : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / С. С. Коляда, 2013. - 14 с. - Текст : непосредственный. Бородина Ю.В. Синтез легкотестируемых схем при константных неисправностях на выходах элементов : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Ю. В. Бородина, 2008. - 10 с. - Текст : непосредственный. Дорофеева М.Ю. Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем : автореф. дис. .. канд. техн. наук: 05.13.01 / М. Ю. Дорофеева, 2007. - 18 с. - Текст : непосредственный. Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе "конъюнкция-отрицание" / К. А. Попков, 2017. - 31 с. - Текст : непосредственный. Тренькаев В.Н. Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / В. Н. Тренькаев, 2000. - 23 с. - Текст : непосредственный. Попков К.А. Синтез легкотестируемых схем при однотипных константных неисправностях на входах и выходах элементов / К. А. Попков, 2018. - 18 с. - Текст : непосредственный. Морозов Е.В. Об оценках функций Шеннона длин тестов при некоторых неисправностях входов схем : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Е. В. Морозов, 2015. - 12 с. - Текст : непосредственный. Попков К.А. Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов / К. А. Попков, 2017. - 16 с. - Текст : непосредственный. Попков К.А. Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов / К. А. Попков, 2017. - 10 с. - Текст : непосредственный. Громов М.Л. Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореф. дис. .. канд. физ.-мат. наук: 05.13.01 / М. Л. Громов, 2009. - 18 с. - Текст : непосредственный. Беджанова С.Р. Тесты схем для некоторых классов булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / С. Р. Беджанова, 2011. - 12 с. - Текст : непосредственный. Скляревич А.Н. Рекуррентный синтез минимальных диагностических тестов комбинационных автоматов на одиночные неисправности / А.Н.Скляревич, 1996. - 101 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
