Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=аппаратные системы<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.


    Алексеева, М. М.
    Метод проверки на модели (model-checking) для определения корректности сложных систем [Текст] / М. М. Алексеева, Е. А. Дашкова // Дистанционное и виртуальное обучение. - 2011. - № 12. - С. 50-56. - Библиогр.: с. 55 (4 назв. ) . - ISSN 1561-2449
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
программные системы -- аппаратные системы -- автоматное программирование -- корректность программного обеспечения -- корректность алгоритмов -- верификация -- технологии программирования -- системное моделирование -- проектирование систем
Аннотация: Метод формальной верификации как один из подходов к достижению корректности сложных систем.


Доп.точки доступа:
Дашкова, Е. А.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
2.


   
    Oracle представляет в России стратегию в области SPARC-технологий [Текст] // Банковские технологии. - 2012. - № 11. - С. 6
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
компании -- SPARC-технологии -- аппаратные системы
Аннотация: Об анонсе продуктовой стратегии в области SPARC-технологий и новых возможностей аппаратных систем для заказчиков в СНГ и России.


Доп.точки доступа:
Oracle, компания
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
3.


   
    Премьеры Oracle OpenWorld 2012 в России [Текст] // Банковские технологии. - 2012. - № 12. - С. 17
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
форумы -- компании -- аппаратные системы -- программные системы
Аннотация: О работе форума Oracle Day 2012, где были анонсированы в России новейшие разработки по всем продуктовым направлениям, ранее представленные на международной конференции Oracle OpenWorld 2012.


Доп.точки доступа:
Oracle Day 2012, форум; Oracle, компания
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
4.


   
    Построение гибкой ИТ-инфраструктуры становится реальностью [Текст] // Аналитический банковский журнал. - 2012. - № 9/10. - С. 31 . - ISSN 2076-9504
УДК
^a658
ББК 65.291
Рубрики: Экономика
   Экономика организации (предприятия, фирмы) в целом
Кл.слова (ненормированные):
ИТ-компании -- аппаратные системы -- SPARC-технологии
Аннотация: Краткая информация о возможностях аппаратных систем на базе SPARC-технологий.


Доп.точки доступа:
Oracle, ИТ-компания
Нет сведений об экземплярах (Источник в БД не найден)

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