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

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

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

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

Дата	Автор	Заглавие
1987	Макаров, Виктор Петрович (кандидат физико-математических наук)	Автоматизация разработки синтаксических и семантических анализаторов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 06.13.11 / Макаров Виктор Петрович ; Акад. наук Бел. ССР, Ин-т математики
1983	Макаров, Виктор Петрович (кандидат физико-математических наук)	Об эффективном алгоритме вычисления замыканий множеств LR(1) ― ситуаций / В. П. Макаров
1991	Макаров, Виктор Петрович (кандидат физико-математических наук)	Наследственное описание многосортных теорий / В. П. Макаров
1991	Макаров, Виктор Петрович (кандидат физико-математических наук)	Система TSTEP подготовки программ для программируемых контроллеров / В.П.Макаров, П.М.Никулин
1985	Макаров, Виктор Петрович (кандидат физико-математических наук)	О задаче оптимальной реализации операторов перехода / В.П.Макаров
1987	Макаров, Виктор Петрович (кандидат физико-математических наук)	Исследование программ с незавершающимся выполнением методом символического исполнения / В.П.Макаров
1988	Бобкова, Людмила Петровна (математик)	Леволинейные грамматики с памятью и автоматизация разработки лексических анализаторов / Л. П. Бобкова, В. П. Макаров
1992	Макаров, Виктор Петрович (кандидат физико-математических наук)	Термы в языке спецификаций ЯМС / Макаров Виктор Петрович

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