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

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

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

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

Дата	Автор	Заглавие
2012	Антипова, Екатерина Владимировна	Автоматизация проектирования аппаратно-зависимых программных реализаций автоматных диаграмм : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.12 Системы автоматизации проектирования (промышленность) / Антипова Екатерина Владимировна ; [Ульяновский государственный технический университет]
2008	Кубасов, Сергей Валерьевич	Верификация автоматных программ в контексте синхронного программирования : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Кубасов Сергей Валерьевич ; [Ярославский государственный университет им. П. Г. Демидова]
2010	Игнатьев, Алексей Сергеевич	Методы обращения дискретных функций с применением двоичных решающих диаграмм : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Игнатьев Алексей Сергеевич ; [Учреждение Российской академии наук Институт динамики систем и теории управления Сибирского отделения РАН]
2010	Поликарпова, Надежда Игоревна	Автоматное программирование / Н. Поликарпова, А. Шалыто
2019	Свердлов, Сергей Залманович	Языки программирования и методы трансляции : учебное пособие / С. З. Свердлов

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