Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


ЭБС IPRBooks- результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:ВКР (2)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=верификация<.>)
Общее количество найденных документов : 17
Показаны документы с 1 по 10
 1-10    11-17 
1.

Русак С. Н. Моделирование систем управления/Русак С. Н.. - 2015
2.

Тарутин И. Г. Радиационная защита в лучевой терапии/Тарутин И. Г.. - 2015
3.

Гатина Л. И. Социальное прогнозирование и проектирование в экономике/Гатина Л. И.. - 2015
4.

Хащенко В. А. Психология экономического благополучия/Хащенко В. А.. - 2012
5.

Вельдер С. Э. Верификация автоматных программ/Вельдер С. Э.. - 2011
6.

Черемисинов Д. И. Проектирование и анализ параллелизма в процессах и программах/Черемисинов Д. И.. - 2011
7.

Волкова Е. В. Психология специальных способностей. Дифференционно-интеграционный подход/Волкова Е. В.. - 2011
8.

Селиверстова О. Н. Труды по семантике/Селиверстова О. Н.. - 2004
9.

Маглинец Ю. А. Анализ требований к автоматизированным информационным системам/Маглинец Ю. А.. - 2020
10.

Синицын С. В. Верификация программного обеспечения/Синицын С. В.. - 2020
 1-10    11-17 
 
Статистика
за 04.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)