Приложение
для AndroidПолное описание
Громов, М. Л. Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореф. дис. ... канд. физ.-мат. наук: 05.13.01 / М. Л. Громов. - 2009. - 18 с. - Библиогр.: с. 18 (10 назв.). - Текст : непосредственный.
| ГРНТИ | УДК | |
| 28.25 | 519.718.7(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар10-3092)
Шифр в сводном ЭК: ade6c252b3c1a48d4a7fcf1c03d11ebe
Основы программирования на языке СИ : учебное пособие / А. И. Солдатов [и др.], 2018. - 127 с. - Текст : непосредственный.Громов М.Л. Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореф. дис. .. канд. физ.-мат. наук: 05.13.01 / М. Л. Громов, 2009. - 18 с. - Текст : непосредственный.
Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 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 с. - Текст : непосредственный.
Показать все результатыКоломеец А.В. Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов / А. В. Коломеец, 2010. - 18 с. - Текст : непосредственный.Прокопенко С.А. Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд.техн.наук / С. А. Прокопенко, 2000. - 22 с. - Текст : непосредственный.
Подольская О.В. Оценки сложности булевых функций в некоторых бесконечных базисах / О. В. Подольская, 2017. - 12 с. - Текст : непосредственный.Ветрова М.В. Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов : автореф. дис. .. канд. техн. наук: 05.13.01 / М. В. Ветрова, 2003. - 20 с. - Текст : непосредственный.Коляда С.С. Верхние оценки длины проверяющих тестов для схем из функциональных элементов : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / С. С. Коляда, 2013. - 14 с. - Текст : непосредственный.Бородина Ю.В. Синтез легкотестируемых схем при константных неисправностях на выходах элементов : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Ю. В. Бородина, 2008. - 10 с. - Текст : непосредственный.Дорофеева М.Ю. Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем : автореф. дис. .. канд. техн. наук: 05.13.01 / М. Ю. Дорофеева, 2007. - 18 с. - Текст : непосредственный.Тренькаев В.Н. Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / В. Н. Тренькаев, 2000. - 23 с. - Текст : непосредственный.Морозов Е.В. Об оценках функций Шеннона длин тестов при некоторых неисправностях входов схем : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Е. В. Морозов, 2015. - 12 с. - Текст : непосредственный.Громов М.Л. Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореф. дис. .. канд. физ.-мат. наук: 05.13.01 / М. Л. Громов, 2009. - 18 с. - Текст : непосредственный.Беджанова С.Р. Тесты схем для некоторых классов булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / С. Р. Беджанова, 2011. - 12 с. - Текст : непосредственный.Пономаренко А.В. Универсальное тестирование в частных классах автоматов : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / А. В. Пономаренко, 2007. - 20 с. - Текст : непосредственный.Чистиков Д.В. Сложность тестирования бесповторных функций : автореф. дис. .. канд. физ.мат. науки: 01.01.09 / Д. В. Чистиков, 2011. - 16 с. - Текст : непосредственный.Попков, Кирилл Андреевич. О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов : специальность 01.01.09 - Дискретная математика и математическая кибернетика: автореферат диссертации на соискание ученой степени доктора физико-математических наук / Попков Кирилл Андреевич, 2021. - 34 с. - Текст : непосредственный.Антюфеев, Григорий Валерьевич. Оценки длин минимальных тестов для аргументов функций при постановке констант, алгебраических операциях и сдвигах : специальность 1.2.3 - теоретическая информатика, кибернетика: автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Антюфеев Григорий Валерьевич, 2024. - 16 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽