Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 4
Отмеченные записи: 0
1.
Подробнее
М 482
Мельников, Владимир Павлович.
Информационные технологии : учебник / В. П. Мельников. - Москва : Академия, 2008. - 425 с. - (Высшее профессиональное образование) (Информатика и вычислительная техника.). - Библиогр. : с. 417-419. - Приложение : с. 414-416.. - ISBN 9785769539503
Рубрики: информационные технологии--учебные издания для вузов
Кл.слова (ненормированные):
информационные технологии прикладные -- информатизация -- информационная безопасность -- информационные технологии управления предприятиями -- информационные технологии в банковской деятельности -- информационные технологии в социальном менеджменте -- информационные технологии в медицине -- информационные технологии в библиотечном деле -- информационные технологии финансового управления -- информационные технологии социального страхования -- информационные технологии в налоговой деятельности -- модели программного обеспечения -- защита программного обеспечения -- информатизация общества -- информациология -- информационные процессы -- информационные ресурсы -- информационные связи -- программное обеспечение информационных технологий -- программные средства информационных технологий -- жизненный цикл программного обеспечения
Экземпляры всего: 28
Ч/З о. Русский (1), Ч/З центральный (ДВГТУ, ауд. 300) (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1), Абонемент 402 (25)
Свободны: Ч/З о. Русский (1), Ч/З центральный (ДВГТУ, ауд. 300) (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1), Абонемент 402 (25)
М 482
Мельников, Владимир Павлович.
Информационные технологии : учебник / В. П. Мельников. - Москва : Академия, 2008. - 425 с. - (Высшее профессиональное образование) (Информатика и вычислительная техника.). - Библиогр. : с. 417-419. - Приложение : с. 414-416.. - ISBN 9785769539503
| УДК |
Рубрики: информационные технологии--учебные издания для вузов
Кл.слова (ненормированные):
информационные технологии прикладные -- информатизация -- информационная безопасность -- информационные технологии управления предприятиями -- информационные технологии в банковской деятельности -- информационные технологии в социальном менеджменте -- информационные технологии в медицине -- информационные технологии в библиотечном деле -- информационные технологии финансового управления -- информационные технологии социального страхования -- информационные технологии в налоговой деятельности -- модели программного обеспечения -- защита программного обеспечения -- информатизация общества -- информациология -- информационные процессы -- информационные ресурсы -- информационные связи -- программное обеспечение информационных технологий -- программные средства информационных технологий -- жизненный цикл программного обеспечения
Экземпляры всего: 28
Ч/З о. Русский (1), Ч/З центральный (ДВГТУ, ауд. 300) (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1), Абонемент 402 (25)
Свободны: Ч/З о. Русский (1), Ч/З центральный (ДВГТУ, ауд. 300) (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1), Абонемент 402 (25)
2.
Подробнее
Воевода, А. А.
Символьные метки в сетях Петри при анализе программ / А. А. Воевода, Д. О. Романников. // Новосибирский государственный технический университет. Сборник научных трудов НГТУ. № 2 (80). - [Новосибирск] : [Изд-во Новосибирского технического университета], 2015.
Кл.слова (ненормированные):
программное обеспечение -- тестирование -- входные интервалы -- формальная верификация -- динамическая верификация -- верификация -- проверка моделей -- модели программного обеспечения -- графы -- тотальная корректность программ
Доп.точки доступа:
Романников, Д. О.
Воевода, А. А.
Символьные метки в сетях Петри при анализе программ / А. А. Воевода, Д. О. Романников. // Новосибирский государственный технический университет. Сборник научных трудов НГТУ. № 2 (80). - [Новосибирск] : [Изд-во Новосибирского технического университета], 2015.
Кл.слова (ненормированные):
программное обеспечение -- тестирование -- входные интервалы -- формальная верификация -- динамическая верификация -- верификация -- проверка моделей -- модели программного обеспечения -- графы -- тотальная корректность программ
Доп.точки доступа:
Романников, Д. О.
3.
Подробнее
Мельников, Владимир Павлович.
Информационные технологии : учебник для вузов / В. П. Мельников. - 2-е изд., стер. - Москва : Академия, 2009. - 425 с. : ил., табл. - (Высшее профессиональное образование). - Библиогр. : с. 417-419. - Приложение : с. 414-416.. - ISBN 9785769566462
Рубрики: информационные технологии--учебные издания для вузов
Кл.слова (ненормированные):
информатизация общества -- информациология -- информационные процессы -- информационные ресурсы -- информационные связи -- программное обеспечение информационных технологий -- программные средства информационных технологий -- жизненный цикл программного обеспечения -- информационные технологии управления предприятиями -- информационные технологии в банковской деятельности -- информационные технологии в социальном менеджменте -- информационные технологии в медицине -- информационные технологии в библиотечном деле -- информационные технологии финансового управления -- информационные технологии социального страхования -- информационные технологии в налоговой деятельности -- модели программного обеспечения -- информационная безопасность -- защита программного обеспечения -- информационные технологии прикладные -- медицина
Экземпляры всего: 9
Ч/З о. Русский (2), Книгохранение (1), Абонемент 402 (5), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Свободны: Ч/З о. Русский (2), Книгохранение (1), Абонемент 402 (5), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Мельников, Владимир Павлович.
Информационные технологии : учебник для вузов / В. П. Мельников. - 2-е изд., стер. - Москва : Академия, 2009. - 425 с. : ил., табл. - (Высшее профессиональное образование). - Библиогр. : с. 417-419. - Приложение : с. 414-416.. - ISBN 9785769566462
| УДК |
Рубрики: информационные технологии--учебные издания для вузов
Кл.слова (ненормированные):
информатизация общества -- информациология -- информационные процессы -- информационные ресурсы -- информационные связи -- программное обеспечение информационных технологий -- программные средства информационных технологий -- жизненный цикл программного обеспечения -- информационные технологии управления предприятиями -- информационные технологии в банковской деятельности -- информационные технологии в социальном менеджменте -- информационные технологии в медицине -- информационные технологии в библиотечном деле -- информационные технологии финансового управления -- информационные технологии социального страхования -- информационные технологии в налоговой деятельности -- модели программного обеспечения -- информационная безопасность -- защита программного обеспечения -- информационные технологии прикладные -- медицина
Экземпляры всего: 9
Ч/З о. Русский (2), Книгохранение (1), Абонемент 402 (5), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Свободны: Ч/З о. Русский (2), Книгохранение (1), Абонемент 402 (5), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
4.
Подробнее
Воевода, А. А.
Алгоритм анализа массива в программе с использованием произвольных проверок / А. А. Воевода, Д. О. Романников. // Новосибирский государственный технический университет. Сборник научных трудов НГТУ. № 4 (82). - [Новосибирск] : [Изд-во Новосибирского технического университета], 2015.
Кл.слова (ненормированные):
современные информационные технологии -- программное обеспечение -- тестирование -- входные интервалы -- формальная верификация -- динамическая верификация -- верификация -- проверка моделей -- модели программного обеспечения -- графы -- тотальная корректность программ
Доп.точки доступа:
Романников, Д. О.
Воевода, А. А.
Алгоритм анализа массива в программе с использованием произвольных проверок / А. А. Воевода, Д. О. Романников. // Новосибирский государственный технический университет. Сборник научных трудов НГТУ. № 4 (82). - [Новосибирск] : [Изд-во Новосибирского технического университета], 2015.
Кл.слова (ненормированные):
современные информационные технологии -- программное обеспечение -- тестирование -- входные интервалы -- формальная верификация -- динамическая верификация -- верификация -- проверка моделей -- модели программного обеспечения -- графы -- тотальная корректность программ
Доп.точки доступа:
Романников, Д. О.
Страница 1, Результатов: 4