Поиск

Материалов:
980 144

Репозиториев:
30

Авторов:
596 024

Автор

Ключевое слово

Тип статьи

DOI

ORCID

Дополнительно:

Период публикации

Репозиторий

По вашему запросу найдено документов: 20432

Страница 1 из 2044

Тестирование JAVA программ с использованием инструмента FSMTest2JUnit

Прокопенко, Светлана Анатольевна, Громов, Максим Леонидович, Шабалдина, Наталия Владимировна, Батрацкий, Сергей Васильевич

К построению параллельной композиции расширенных автоматов

Дарусенкова, Екатерина Владимировна, Прокопенко, Светлана Анатольевна, Шабалдина, Наталия Владимировна

К разработке модуля решения задач обучающей системы по курсу "Аналитическая геометрия"

Беккерман, Екатерина Николаевна, Прокопенко, Светлана Анатольевна, Чепурная, Александра Владимировна

Создание графического интерфейса к программе кодогенерации "Искусственный программист"

Батрацкий, Сергей Васильевич, Прокопенко, Светлана Анатольевна

К разработке программы кодогенерации «Искусственный программист»

Батрацкий, Сергей Васильевич, Прокопенко, Светлана Анатольевна

К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов

Михайлова, Александра Николаевна, Болтова, Виктория Сергеевна, Прокопенко, Светлана Анатольевна, Шабалдина, Наталия Владимировна

Формальное описание решения задачи приведения полного уравнения прямой к уравнению "в отрезках" и его проверки

Тишкова, Валерия Ивановна, Прокопенко, Светлана Анатольевна

Исследование свойства монотонности булевой функции: выпускная бакалаврская работа по направлению подготовки: 03.03.03 - Радиофизика

Корытников, Егор

Синтез и оптимизация цифровых схем : учебно-методическое пособие. Ч. 1

Громов, Максим Леонидович, Прокопенко, Светлана Анатольевна

Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата

Жигулин, Максим Владимирович, Коломеец, Антон Владимирович, Евтушенко, Нина Владимировна, Прокопенко, Светлана Анатольевна

Страница 1 из 2044