Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка von Чеботарев, А.Н.

Volltext

Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний von Кургаев, А.Ф., Григорьев, С.Н.

Volltext

Теория и программные реализации r-алгоритмов Шора von Стецюк, П.И.

Volltext

О растяжении времени в дифференциальных играх с импульсными управлениями von Чикрий, Г.Ц.

Volltext

Использование конической регуляризации при вычислении лагранжевых оценок в задачах квадратичной оптимизации... von Лаптин, Ю.П., Березовский, О.А.

Volltext

Метод искусственного расширения пространства в задачах размещения геометрических объектов von Яковлев, С.В.

Volltext

Решения некоторых задач дробно-дифференциальной фильтрационной динамики на основе модели с ABC-дробной производной... von Булавацкий, В.М.

Volltext

О задачах управления динамикой неполно определенных трехмерных упругих тел. II. Случай дискретно заданного желаемого состояния... von Стоян, В.А.

Volltext

Совершенные паросочетания и полиматроиды von Шарифов, Ф.А.

Volltext

Повышение эффективности чебышевской сегментной дробно-рациональной аппроксимации von Вакал, Л.П., Каленчук-Порханова, А.А., Вакал, Е.С.

Volltext

Модель работы локального планировщика на основе решения задач нелинейного булевого программирования... von Листровая, Е.С., Брыксин, В.А., Курцев, М.С.

Volltext

Определение стационарных характеристик некоторых систем обслуживания с эрланговскими распределениями... von Жерновый, Ю.В.

Volltext

Интенсивность пересечений заданного уровня однородным случайным полем von Евграфов, Д.В.

Volltext

Протоколи для інтеграції мобільних пристроїв із станціями надання послуг через бездротовий зв’язок... von Яценко, К.І.

Volltext

Формирование матрицы выигрышей в формализованной игре между судовладельцем и менеджерской компанией... von Мелешенко, Е.С.

Volltext

Индексные структуры для быстрого поиска по сходству бинарных векторов von Рачковский, Д.А.

Volltext

Титульная страница и содержание

Volltext

Кибер-физические системы von Летичевский, А.А., Летичевский, А.А. мл., Скобелев, В.Г., Волков, В.А.

Volltext

Кодирование деревьев с помощью линейных рекуррентных последовательностей von Анисимов, А.В.

Volltext

Методы построения систем анализа и синтеза коммуникационной информации von Кривонос, Ю.Г., Крак, Ю.В., Бармак, А.В., Куляс, А.И.

Volltext