
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков Справка

Базовый поиск	Расширенный поиск	Cловари	ГРНТИ	Новые поступления	Профессионалам Поиск Экспорт данных/ Z39.50 Belmarc Методические решения

Запрос: a001="BY-SEK-165793"
Записи: 1 - 3 из 3 (стр. 1 из 1)

Сортировать по:

Дата	Автор	Заглавие
1999	Коган, Борис Исаакович (доктор технических наук ; род. 1947)	Оценка качества и исследование программных продуктов: языково-ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определение / Б.И.Коган, Т.О.Матвеева
1992	Матвеева, Тамара Олеговна	Оптимизация вычислений в системах декларативных продукций на основе анализа информационных графов / Рос.АН,Дальневост.отд-ние,Ин-т автоматики и процессов упр
1997	Коган, Борис Исаакович (доктор технических наук ; род. 1947)	Оценка качества и исследование программных продуктов: языково-ориентированный подход. Формальное специфицирование требований к качеству программных средств / Б.И.Коган, Т.О.Матвеева ; Рос. акад. наук, Дальневост. отд-ние, Ин-т автоматики и процессов упр

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси