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

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

Авторов:
761 409

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

Страница 11 из 68324

Реализация функций на полурешетках переключательными схемами
Панкратова, Ирина Анатольевна
дискретные автоматы
К анализу безопасной работы параллельной композиции частичных автоматов
Дарусенкова, Екатерина Владимировна
частичные автоматы
Synchronizing sequences for effective network monitoring: an application to TCP
Suhopluev, M., López, J., Kushik, Natalia G., Schipachev, N.
конечные автоматы
Тестирование робастности веб-сервисов на основе композиций конечных автоматов
Дарусенкова, Екатерина Владимировна, Кондратьева, Ольга Викторовна
автоматы конечные
К верификации логических схем на основе временных автоматов
Кидярова, Галина Владимировна
автоматы временные
К установке сложных систем в известное состояние
Евтушенко, Нина Владимировна, Кушик, Наталья Геннадьевна
недетерминированные автоматы
Нивелир-автомат
Леонович, Иван Иосифович
нивелиры-автоматы
Характеризация живых решений синхронного автоматного уравнения
Вилла, Тизиано, Евтушенко, Нина Владимировна, Жарикова, Светлана Владимировна
конечные автоматы
К вопросу о минимизации в моделях вычислений
Хачатрян, В. Е., Щербинина, Н. В.
двухленточные автоматы
Верификация VHDL-моделей конечных автоматов
Щепанский, В. Е.
конечные автоматы

Страница 11 из 68324

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core