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

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

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

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

Дата	Автор	Заглавие
1991	Ильичева, Ольга Андреевна (кандидат физико-математических наук)	Интерпретатор логических спецификаций с диагностикой ошибок
2013	Александреску, Андрей (программист ; род. 1969)	Язык программирования D / Андрей Александреску ; [перевод с английского Н. Данилиной]
2013	Новиков, Евгений Михайлович	Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Новиков Евгений Михайлович ; [Институт системного программирования Российской академии наук]

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