Моисеев, Михаил Юрьевич. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа

catalog / TECHNICAL SCIENCES / Mathematical and software of computer systems, complexes and computer networks




  • скачать файл:
  • title:
  • Моисеев, Михаил Юрьевич. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа
  • The number of pages:
  • 200
  • university:
  • С.-Петерб. гос. политехн. ун-т
  • The year of defence:
  • 2011
  • brief description:
  • Моисеев, Михаил Юрьевич. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа : диссертация ... кандидата технических наук : 05.13.11 / Моисеев Михаил Юрьевич; [Место защиты: С.-Петерб. гос. политехн. ун-т].- Санкт-Петербург, 2011.- 174 с.: ил. РГБ ОД, 61 11-5/2079
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




Доставка любой диссертации из России и Украины


THE LAST THESIS

Изучение особенностей пространственной организации хромосом трофоцитов яичников некоторых видов подгруппы "melanogaster" рода Drosophila Митренина, Елизавета Юрьевна
Изучение связи генов дофаминергической системы с особенностями психологических и психопатологических признаков человека Гриценко, Инга Карловна
Изучение трансгенных растений с гетерологичным геном, детерминирующим синтез двунитевой РНК Коростылева, Татьяна Викторовна
Индукция эпигенетической гетерогенности в популяции клеток , содержащих искусственные циклические системы генов Ступак, Евгения Эдуардовна
Исследование локализации гена предрасположенности к каталепсии у мышей с помощью полиморфных микросателлитных маркеров Базовкина, Дарья Владимировна

THE LAST ARTICLES AND ABSTRACTS

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА