Материалов:
1 005 021

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

Авторов:
761 409

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

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

Исследование графа взаимодействующими автоматами
Бурдонов, Игорь Борисович, Косачев, Александр Сергеевич
О синхронной композиции детерминированных автоматов
Евтушенко, Нина Владимировна, Косачев, Александр Сергеевич, Шнитман, Виктор Зиновьевич, Бурдонов, Игорь Борисович
Обобщенная модель системы автоматов
Бурдонов, Игорь Борисович, Косачев, Александр Сергеевич
Семантики взаимодействия с отказами, дивергенцией и разрушением. 2. Условия конечного полного тестирования
Косачев, Александр Сергеевич, Бурдонов, Игорь Борисович
Тестирование системы автоматов
Бурдонов, Игорь Борисович, Косачев, Александр Сергеевич
Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 1. Гипотеза о безопасности и безопасная конформность
Бурдонов, Игорь Борисович, Косачев, Александр Сергеевич
К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов
Евтушенко, Нина Владимировна, Бурдонов, Игорь Борисович, Косачев, Александр Сергеевич, Кушик, Наталья Геннадьевна
Разработка веб-приложения «CHECKLIST»: выпускная бакалаврская работа по направлению подготовки: 02.03.02 - Фундаментальная информатика и информационные технологии
Косачев, Иван Васильевич
Геохимическое исследование образцов пород из разных интервалов отбора Семилукско-Мендымских и Данково-Лебедянских доманиковых отложений Ромашкинского месторождения
Михайлова, Анастасия Николаевна, Косачев, Игорь Павлович, Морозов, Владимир Петрович, Вахин, Алексей Владимирович, Назимов, Нафис Анасович, Сотников, Олег Сергеевич, Хисамов, Раис Салихович, Каюкова, Галина Петровна
Заметки о верониках Сибири
Косачев, Петр Алексеевич, Эбель, Александр Леонович

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

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core