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

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

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

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

Дата	Автор	Заглавие
2017	Татарников, Андрей Дмитриевич	Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Татарников Андрей Дмитриевич ; [Институт системного программирования им. В. П. Иванникова Российской академии наук]
2008	Васильев, Павел Константинович	Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Васильев Павел Константинович ; Санкт-Петербургский государственный университет
2000	Шалфеева, Елена Арефьевна (доктор технических наук)	Разработка и исследование методов и средств формального специфицирования моделей и метрик программ : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.11 / Шалфеева Елена Арефьевна ; [Ин-т автоматики и процессов упр. (ИАПУ) ДВО РАН]
2010	Томилов, Иван Николаевич (кандидат технических наук)	Синтаксически ориентированные и графические средства описания и анализа моделей гибридных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Томилов Иван Николаевич ; [Государственное образовательное учреждение высшего профессионального образования "Новосибирский государственный технический университет"]
2012	Чупилко, Михаил Михайлович	Динамическая верификация цифровой аппаратуры на основе формальных спецификаций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Чупилко Михаил Михайлович ; Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук
2016	Бессонов, Алексей Владимирович	Символьная спецификация и анализ программных моделей гибридных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Бессонов Алексей Владимирович ; [Новосибирский государственный технический университет]
2004	Budnikas, Germanas	Development and analysis of aggregate specifications using knowledge bases = Agregatinių specifikacijų sudarymas ir analizė panaudojant žinių bazes : summary of doctoral dissertation physical sciences, informatics (09P) / Germanas Budnikas ; Kaunas University of Technology

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