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

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

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

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

№	Дата	Автор	Заглавие
	1994	Сабельфельд, Виктор Карлович	Анализ свойств и эквивалентные преобразования на моделях программ : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 05.13.11 / Рос. АН, Сиб. отд-ние, Вычисл. центр
	1991	Котов, Вадим Евгеньевич (доктор физико-математических наук, информатика ; род. 1938)	Теория схем программ

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