Об одном подходе к проектированию алгебраических типов данных

by Песчаненко, В.С.
Published 2006

Моделирование графического редактора системы Insertion Modeling System средствами Graphical Modeling Framework Eclipse

by Песчаненко, В.С.
Published 2011

Об одном подходе к проектированию алгебраических типов данных

by Песчаненко, В.С.
Published 2006

Моделирование графического редактора системы Insertion Modeling System средствами Graphical Modeling Framework Eclipse

by Песчаненко, В.С.
Published 2011

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием...

by Львов, М.С., Песчаненко, В.С.
Published 2012

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием...

by Львов, М.С., Песчаненко, В.С.
Published 2012

Алгоритм трансляции APLAN-кода

by Летичевский, А.А., Летичевский, А.А. (мл.), Песчаненко, В.С.
Published 2010

Система доказательного программирования

by Летичевский, А.А. (мл.), Мороховец, М.К., Песчаненко, В.С.
Published 2012

Алгоритм трансляции APLAN-кода

by Летичевский, А.А., Летичевский, А.А. (мл.), Песчаненко, В.С.
Published 2010

Система доказательного программирования

by Летичевский, А.А. (мл.), Мороховец, М.К., Песчаненко, В.С.
Published 2012

Генерация символьных трасс в системе инсерционного моделирования

by Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.
Published 2015

Обзор современных систем и методов верификации формальных моделей

by Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.
Published 2012

Обзор современных систем и методов верификации формальных моделей

by Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.
Published 2012

Генерация символьных трасс в системе инсерционного моделирования

by Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.
Published 2015

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул

by Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.
Published 2018

Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах...

by Летичевський, О.О., Песчаненко, В.С., Харченко, В.С., Волков, В.А., Одарущенко, О.М.
Published 2020

Програмування в обмеженнях у системі інсерційного моделювання

by Летичевський, О.А., Летичевський, О.О., Песчаненко, В.С., Блинов, І.О., Кльонов, Д.М.
Published 2011

Огляд сучасних методів захищеності та безпеки програмних систем

by Летичевський, О.О., Песчаненко, В.С., Гринюк, Я.В., Радченко, В.Ю., Яковлев, В.М.
Published 2019

Програмування в обмеженнях у системі інсерційного моделювання

by Летичевський, О.А., Летичевський, О.О., Песчаненко, В.С., Блинов, І.О., Кльонов, Д.М.
Published 2011

Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах...

by Летичевський, О.О., Песчаненко, В.С., Харченко, В.С., Волков, В.А., Одарущенко, О.М.
Published 2020