Журналы онлайн 100PDF
Назад

Программные продукты и системы №4 (2019)

Обложка Программные продукты и системы №4 (2019)
142
Номер:
4
Год:
Страниц:
238
Формат:
pdf
Язык:
русский
, ,
Читайте в выпуске: 

Эволюция и особенности гиперконвергентных инфраструктур. Верификация моделей систем на базе эквациональной характеристики формул CTL. Метод трансляции первопорядковых логических формул в позитивно-образованные формулы. Интеллектуальный сбор информации из распределенных источников.

Читать Программные продукты и системы онлайн
Скачать: 
Ссылка 1 Ссылка 2
Поделиться
Похожие записи