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

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

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

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

Дата	Автор	Заглавие
1993		Проблемы теоретического и экспериментального программирования = Problems of theoretical and experimental programming : Сб. науч. тр. / Рос. АН, Сиб. отд-ние, Ин-т систем информатики ; Под ред. В.А.Непомнящего
1979		Языки и системы программирования : сб. науч. тр. / АН СССР, Сиб. отд-ние, ВЦ
1988	Непомнящий, Валерий Александрович (кандидат физико-математических наук ; род. 1939)	Прикладные методы верификации программ
1991		Современные направления исследований в системной информатике : сб. науч. тр. / АН СССР, Сиб. отд-ние, Ин-т систем. информ
1976		Проблемы программирования : сборник трудов / АН СССР, Сиб. отд-ние, Вычислит. центр

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