Формальная верификация процессора с устройствами поддержки виртуальной памяти

Далингер Яков. Формальная верификация процессора с устройствами поддержки виртуальной памяти : диссертация ... кандидата технических наук : 05.00.00 / Далингер Яков; [Место защиты: Ун-т Саарланда].- Саарбрюккен, 2006.- 152 с.: ил. РГБ ОД, 61 09-5/3001
Автор
Далингер Яков
Год
2006

  • 99 000 UZS

Рекомендуем вам товары

Разработка способа развертывания участка сложной поверхности с помощью торсового посредника для проектирования изделий индустрии моды
99 000 UZS
Автор
Павлова Светлана Владимировна
Количество страниц
Год
2010
Геометрическое моделирование деятельности организаций по данным пассивного эксперимента
99 000 UZS
Автор
Куликова Оксана Михайловна
Количество страниц
Год
2006
Теоретико-конструктивные основы моделирования нечетких множеств в инженерной геометрии и их применение
99 000 UZS
Автор
Лукина Ольга Викторовна
Количество страниц
Год
2006
Геометрическое моделирование линейчатого метрического пространства в инженерной геометрии и ее приложениях
99 000 UZS
Автор
Панчук Константин Леонидович
Количество страниц
Год
2009
Разработка оптимизационной модели процесса соединения текстильных материалов на основе чертежа Радищева многомерного пространства
99 000 UZS
Автор
Устинова Ольга Владимировна
Количество страниц
Год
2006
Новостной блок
Модули для Opencart 2, Опенкарт 3