Текущий раздел
Направление

Дисциплина
Автор: Васильев Павел Константинович
Тема диссертации: Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
Описание диссертации : Васильев Павел Константинович. Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : диссертация ... кандидата физико-математических наук : 05.13.11 / Васильев Павел Константинович; [Место защиты: С.-Петерб. гос. ун-т].- Санкт-Петербург, 2008.- 151 с.: ил. РГБ ОД, 61 09-1/17
Год защиты:
2008


Направление
Инженерная геометрия и компьютерная графика || Машиностроение и машиноведение || Обработка конструкционных материалов в машиностроении || Энергетическое, металлургическое и химическое машиностроение || Транспортное, горное и строительное машиностроение || Авиационная и ракетно-космическая техника || Кораблестроение || Электротехника || Приборостроение, метрология и информационно-измерительные приборы и системы || Радиотехника и связь || Информатика, вычислительная техника и управление || Энергетика || Металлургия || Xимическая технология || Технология продовольственных продуктов || Технология материалов и изделий текстильной и легкой промышленности || Процессы и машины агроинженерных систем || Технология, машины и оборудование лесозаготовок, лесного хозяйства, деревопереработки и химической переработки биомассы дерева || Транспорт || Строительство || Документальная информация || Безопасность деятельности человека || Электроника ||

Научный портал "ЗНАНИЕ", 2011
О проекте || Наши услуги || Контактная информация
 
Рейтинг@Mail.ru Rambler's Top100