Камкин Александр Сергеевич. Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций

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




  • скачать файл:
  • title:
  • Камкин Александр Сергеевич. Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций
  • The number of pages:
  • 200
  • university:
  • Ин-т систем. программирования
  • The year of defence:
  • 2008
  • brief description:
  • Камкин Александр Сергеевич. Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций : диссертация ... кандидата физико-математических наук : 05.13.11 / Камкин Александр Сергеевич; [Место защиты: Ин-т систем. программирования].- Москва, 2008.- 181 с.: ил. РГБ ОД, 61 08-1/691
  • bibliography:
  • -
  • Стоимость доставки:
  • 230.00 руб


SEARCH READY THESIS OR ARTICLE




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


THE LAST THESIS

Исследование и разработка импульсных генераторов мощных линейных индукционных ускорителей Эрмель, Владимир Эдуардович
Исследование радиотехнических параметров и методика настройки резонаторов основной части ускорителя мезонной фабрики ИЯИ АН СССР Кравчук, Леонид Владимирович
Источники высокочастотного питания электрон-позитронных накопителей Горникер, Эдуард Иосифович
Механизм пробоя водяного диэлектрика сильноточных импульсивных ускорителей заряженных частиц Воробьев, Владислав Васильевич
Получение мощного электронного пучка микросекундной длительности для нагрева плазмы Щеглов, Михаил Алексеевич

THE LAST ARTICLES AND ABSTRACTS

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