unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ		История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления
Профессионалам
ПоискЭкспорт данных/ Z39.50BelmarcМетодические решения

   Запрос: a001="BY-CNB-ar1589437"
   Записи: 1 - 1 из 1 (стр. 1 из 1)

Сортировать по: 
№Дата Автор Заглавие
2011   Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / Adenliso Simao, Carroll Morgan (eds.)
Записей на стр.

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