Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 189 (Search time: 0.005 seconds).
Item hits:
Issue DateTitleAuthor(s)
2010DRTLQ-модель для функциональной верификации цифровых систем на основе линейной темпоральной логикиЗайченко, С. А.; Чумаченко, С. В.
2010Адаптивная модель надежности и работоспособности технической системыПодцыкин, Н. С.
2010Анализ автокорреляционных функций случайных сигналовТорба, А. А.; Бобух, В. А.; Торба, А. А.
2010Анализ состояния атмосферы на малых временных интервалахЛитвин-Попович, А. И.; Олейников, В. Н.
2010Анализ модифицированных рекуррентных алгоритмов для идентификации систем, изменяющихся во времениГрицюк, В. И.
2010Аналіз систем показників безпеки інформаціїПотій, О. В.; Пилипенко, Д. Ю.
2010Архитектура подсистемы визуализации данных распределенной имитационной системы моделирования GRIDОлендаренко, С. С.; Волк, М. А.; Гридель, Р. Н.
2010Атака на полный дифференциал уменьшенной версии БСШ RijndaelДолгов, В. И.; Лисицкая, И. В.; Хряпин, Д. Э.
2010Вариации на тему шифра RijndaelДолгов, В. И.; Лисицкая, И. В.; Казимиров, А. В.
2010Дисперсионный анализ в процессах пассивного мониторинга и диагностирования корпоративных компьютерных сетейБабич, А. В.; Емельянов, И. В.