Вы здесь

Главная

Проблемы теоретического и экспериментального программирования: Сборник научных трудов

Связанные издания:

Алгоритм верификации свойств поведения временных сетей Петри
Анализ свойств плотности структур событий
Информационные зависимости в программном конвейере, вносимые ссылками на массив
Исследование алгоритмов, выполняю их сложные ассоциативные поиски в системах вертикальной обработки
Моделирование причинно-следственной структуры Чайя в терминах регулярных сетей Петри
Обеспечение устойчивости функционирования вычислительного комплекса на основе использования механизмов виртуальной памяти
Объектно-ориентированный подход в проектировании программного обеспечения встроенных систем
Отображение схемы объектно-оринтированной базы данных в файловую структуру СУД ДВВВ
Поливариантный анализ периода связывания
Приведение формул алгебры AFP к каноническому виду
Реализация метода оценки формул пропозициональной динамической логики с неподвижными точками на конечных моделях
Реализация системы проектирования сетевых моделей в MS-Windows