Складові частини документа:

• Семенов В.Г. Синтаксическая карта языка программирования АДА. - . - ,
• Вартанян В.М. Определение допустимых значений параметров при синтезе систем заданного качества. - . - ,
• Швырков А.Е., Ващенко Т.С., Ващенко Н.А. Специальная система программирования Аист и ее возможности. - . - ,
• Беспалова В.Г. Критерии выбора языка высокого уровня для многопроцессорных вычислительных систем с программируемой архитектурой. - . - ,
• Ткаченко С.Н., Козий С.П., Ярмонов В.И. Прогнозирование количества дефектов в программных комплексах на ранних стадиях проектирования. - . - ,
• Зотов В.Г., Несвоваль А.Г. Построение математической модели задачи машинного синтеза дискретных корректирующих алгоритмов корневым методом. - . - ,
• Булатов А.А., Зоненко А.В. Автоматизированная система испытаний и оценки надежности программного обеспечения. - . - ,
• Масленникова О.К., Мелюхов О.Ф. Пакет прикладных программ "Интервал". - . - ,
• Клебанов Б.И., Богданович И.А. Средства поддержки создания и сопровождения спецификаций программного продукта. - . - ,
• Просвирницин А.И. Поддержка технологии разработки программного обеспечения средствами языка АДА. - . - ,
• Лаврищева Е.М., Божевольный В.И., Тимченко В.П. Взаимосвязь средств разработки и контроля процесса проектирования программных систем. - . - ,
• Супрун В.П. Преобразование ветвящехся микропрограмм в линейную последовательность базовых микрокоманд. - . - ,
• Баженов А.В., Мужевский В.И. Способ динамического построения программ во встроенной вычислительной системе. - . - ,
• Шишман Ю.Д. Об использовании биологических аналогий для совершенствования проектирования радиотехнических систем. - . - ,
• Ковалевский Э.Г. Принципы разработки унифицированного программного обеспечения в адаптивных семействах навигационной аппаратуры потребителей. - . - ,
• Бельков С.А., Парфенов Ю.П. Базовая модель данных для описания предметной области в интеллектуальной САПР. - . - ,
• Мазурок И.Е. Метод декомпозиции многокритериальной задачипроектирования топологии при создании программного обеспечения САПР. - . - ,
• Косаак О.М., Макаров А.В., Хвищун Л.Ф. Организация моделирования систем автоматического управления с встроенными вычислительными устройствами. - . - ,
• Силаев Е.В. О повышении точности оценки спектра нестационарного процесса. - . - ,
• Шипицын А.Г. Определение периода дискретности вычисляемой информации в бесплатформенной инерциальной навигационной системе. - . - ,
• Суббота А.М., Гуркин О.Г. Повышение точности струнных навигационных приборов. - . - ,
• Абрамов Ю.А., Максимов Ю.Н. Оценка погрешности идентификации динамических характеристик гравиинерциальных измерителей. - . - ,
• Гуркин О.Г., Суббота А.М. Проектирование многофункциональных датчиков. - . - ,
• Кортнева В.С., Максименко И.М. Проектирование динамически настраиваемых гироскопов. - . - ,
• Науменко А.М., Черепащук Г.А. Формирование испытательных сигналов в многоканальных системах автоматического управления. - . - ,
• Попов В.А., Трофименко Е.С. Учет качества в оценке эффективности систем и технологий. - . - ,
• Бусик А.Н., Курапов Ю.М., Хартов В.В. Вопросы автоматизации разработки алгоритмов логического управления. - . - ,
• Безверхий С.А. Анализ результатов синтеза одного класса алгоритмов цифрового управления. - . - ,
• Ощепков А.Н. Исследование влияния управления с прогнозом на устойчивость динамических систем. - . - ,
• Андреев А.Г., Пальчун Б.П. Особенности квалиметрии программного обеспечения вычислительного типа. - . - ,
• Кунгурцев А.Б., Бундюк А.Н. Принцип разработки требований к проектируемым система с ограниченными ресурсами. - . - ,
• Сычев А.В. Построение средств адаптации многоканальных высоконадежных ЦВМ. - . - ,
• Меховской Н.Ф. Условия реализуемости вычислительных систем при совмещении операций процессора и внешнего обмена. - . - ,
• Супрун В.П., Меховской Н.Ф. Организация контроля двухуровневых устройств управления. - . - ,
• Гладков Ю.В. Управление конечным состоянием марковской цепи. - . - ,
• Козлов В.Н. К устойчивости дискретных процессов алгоритмическгого управления. - . - ,
• Белохин О.М., Пархоменко Л.Н. Некоторые особенности применения метода "расчленения ключа" для анализа многотактных цифровых систем. - . - ,
• Гельман Б.Л., Ефремов В.Д., Громов А.Л. Язык проектирования параллельных вычислительных систем. - . - ,
• Борушко Ю.М., Садовничий С.Н. Вопросы моделирования систем управления на летающих моделях. - . - ,
• Барсуков Ан.Г., Барсуков Ал. Г. Метод размещения наборов данных на пакете магнитных дисков. - . - ,
• Гарбарчук В.И., Крушельницкая Т.Л. Теоретико-игровой подход к принятию коллективных решений. - . - ,
• Зародов А.Ф., Солодовников И.В. Управление экспериментом с имитационными моделями сложных динамических объектов. - . - ,

• УДК/UDC/ 6 Прикладні науки. Медицина. Технологія/Прикладные науки. Медицина. Технология/ Applied Sciences. Medicine. Technology/ 62 Машинобудування. Техніка в цілому/Инженерное дело. Техника в целом/Engineering. Technology in general/ 629 Технiка транспортних засобiв/ 629.7 Авіація та космонавтика. Літальні апарати. Ракетна техніка та реактивні снаряди.Астронавтика та космічна техніка/Авиация и космонавтика/Aviation and astronautics. Aircraft. Rocket technology and rockets. Astronautics and .../ 629.7.05 Бортові системи та прилади наведення, керування і навігації/Бортовые системы и приборы наведения, управления и навигации/Aircraft systems and guidance, control and navigation devices
• УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing
• Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ