Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:База данных нормативных документов (1)
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ИНЖЕНЕРИЯ<.>)
Общее количество найденных документов : 69
Показаны документы с 1 по 20
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
Шифр: П004589/2023/14/3
   Журнал

Программная инженерия [Текст] : теоретический и прикладной научно-технический журнал/ Российская Академия Наук (М.), Отделение математических наук, Российская академия наук (М.), Отделение нанотехнологий и информационных технологий, Московский государственный университет (М.), Московский государственный технологический университет (М.), (М.). - М. : Новые технологии, сентябрь 2010 - . - ISSN 2220-3397. - Периодичность неизвестна
2023г. т.14 N 3 . - 6400.45, р.
Содержание:
Герштейн, А. М. Простой способ повышения безопасности дорожного движения за счет обхода опасных участков маршрута / А. М. Герштейн, А. Н. Терехов. - С.103-109
Кл.слова: транспорт, маршрутизация, испытания статистические
Акопов, А. С. Агентное моделирование динамики взаимодействующих беспилотных автомобилей с использованием FLAME GPU / А. С. Акопов, Л. А. Бекларян. - С.110-122
Кл.слова: системы транспортные, маршруты альтернативные, аварийность
Костенко, К. И. Принципы кастомизации формализованных моделей сложноорганизованных интеллектуальных систем / К. И. Костенко. - С.123-136
Кл.слова: гомоморфизм модели, расширение модели, детализация модели
Туровский, Я. А. Сравнение подходов к отслеживанию распределения внимания операторов с использованием окулографических интерфейсов / Я. А. Туровский, В. Ю. Алексеев. - С.137-145
Кл.слова: окулография, окулоинтерфейс, мониторинг области внимания
Алексеева, Т. Р. Развитие инструментальных средств компьютерного моделирования объектов инфраструктурного строительства / Т. Р. Алексеева, С. Е. Алексеев. - С.146-152
Кл.слова: инженерия программная, водоснабжение, водоотведение
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
2.
004
М 250


    Маран, Михкель Михкелевич.
    Программная инженерия [Электронный ресурс] : учебное пособие для вузов / М. М. Маран. - 3-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line : ил. - (Высшее образование). - Библиогр.: с. 194. - ISBN 978-5-8114-9223-4 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/189470#1
Постоянная гиперссылка
3.
Шифр: П004589/2022/13/6
   Журнал

Программная инженерия [Текст] : теоретический и прикладной научно-технический журнал/ Российская Академия Наук (М.), Отделение математических наук, Российская академия наук (М.), Отделение нанотехнологий и информационных технологий, Московский государственный университет (М.), Московский государственный технологический университет (М.), (М.). - М. : Новые технологии, сентябрь 2010 - . - ISSN 2220-3397. - Периодичность неизвестна
2022г. т.13 N 6 . - 4815.12, р.
Содержание:
Романова, Д. С. Методы редукции параллелизма в процессе высокоуровневого синтеза цифровых интегральных схем / Д. С. Романова, О. В. Непомнящий, А. И. Легалов. - С.259-271
Кл.слова: программы, алгоритмы, язык функционально-потоковый
Третьяк, А. В. Разработка системы символьных макрокоманд (симкоманд) процессора / А. В. Третьяк, Е. А. Верещагина, П. В. Струк. - С.272-276
Кл.слова: язык ассемблера, синтаксис, симкоманды
Авдошин, С. М. Программные инженеры будущего: требования к навыкам / С. М. Авдошин, Е. Ю. Песоцкая, Д. М. Куруппуге. - С.277-285
Кл.слова: инженерия программная, технологии, образование
Боргест, Н. М. Использование технологии виртуальной реальности при проектировании сложных систем / Н. М. Боргест, С. А. Власов. - С.286-290
Кл.слова: робот-проектант, тезаурус, самолет
Козицын, А. С. Алгоритмы тематического поиска данных в наукометрических системах / А. С. Козицын. - С.291-300
Кл.слова: анализ тематический, журналы, библиография
Пальчевский, Е. В. Система поддержки принятия решений на основе применения нейронной сети второго поколения / Е. В. Пальчевский, В. В. Антонов. - С.301-308
Кл.слова: прогнозирование, анализ интеллектуальный, данные ретроспективные
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
4.
Шифр: П004589/2022/13/4
   Журнал

Программная инженерия [Текст] : теоретический и прикладной научно-технический журнал/ Российская Академия Наук (М.), Отделение математических наук, Российская академия наук (М.), Отделение нанотехнологий и информационных технологий, Московский государственный университет (М.), Московский государственный технологический университет (М.), (М.). - М. : Новые технологии, сентябрь 2010 - . - ISSN 2220-3397. - Периодичность неизвестна
2022г. т.13 N 4 . - 4815.12, р.
Содержание:
Шелехов, В. И. Автоматное программирование на базе системы моделирования и верификации Event-B / В. И. Шелехов. - С.155-167
Кл.слова: уточнение, требования, трансформации программ
Годунов, А. Н. Конфигурируемая тестовая система для ОСРВ семейства Багет / А. Н. Годунов, И. И. Хоменков, В. Г. Щепков. - С.168-177
Кл.слова: тестирование, автоматизация программирования, языки программирования
Евгенев, Г. Б. Российская технология индустрии 5.0 Метаонтология / Г. Б. Евгенев. - С.178-186
Кл.слова: производства цифровые, системы интегрированные, системы интеллектуальные
Гайдамака, К. И. Применение методов машинного обучения без учителя для обеспечения непротиворечивости знаний / К. И. Гайдамака, А. Д. Белоногова. - С.187-199
Кл.слова: кластеризация, управление требованиями, инженерия требований
Федотов, И. А. Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра / И. А. Федотов, А. С. Хританков, М. Д. Обидаре. - С.200-208
Кл.слова: консенсус, блокчейн, проверка моделей статистическая
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
5.
004
Б 877


    Брежнев, Руслан Владимирович.
    Методы и средства проектирования информационных систем и технологий [Электронный ресурс] : учебное пособие / Р. В. Брежнев ; рец.: Ю. А. Маглинец, Д. А. Коченов ; ред. Т. М. Пыжик ; Министерство науки и высшего образования Российской Федерации, Сибирский федеральный университет. - Электрон. текстовые дан. - Красноярск : СФУ, 2021. - on-line : рис., табл. - Библиогр.: с. 210-212. - ISBN 978-5-7638-4416-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/181656#1
Постоянная гиперссылка
6.
621.38
К 820


    Кривин, Николай Николаевич.
    Введение в методологию системо- и схемотехнического проектирования электронных и радиоэлектронных средств [Текст] : учебное пособие / Н. Н. Кривин ; рец.: С. А. Русановский, Ф. А. Губарев ; Министерство науки и высшего образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники (ТУСУР) (Томск). - Томск : Издательство ТУСУРа, 2020. - 250 с. : рис., табл. - Библиогр.: с. 224. - ISBN 978-5-86889-895-2 : 457.67 р., 248.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (3 экз.)
Свободны: счз1 (1), аунл (3)
Постоянная гиперссылка
7.
60
Б 637


   
    Биотехнология [Электронный ресурс] : учебник и практикум для вузов / Е. А. Живухина [и др.] ; ред.: Н. В. Загоскина, Л. В. Назаренко. - 3-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2021. - on-line : рис., табл., схемы. - (Высшее образование). - Библиогр.: с. 375-381. - ISBN 978-5-534-13546-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/biotehnologiya-477128#page/1
Постоянная гиперссылка
8.
60
Ч-572


    Чечина, Ольга Николаевна.
    Общая биотехнология [Электронный ресурс] : учебное пособие для вузов / О. Н. Чечина ; рец. О. Н. Макурина. - 3-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2021. - on-line : табл., рис., схемы. - (Высшее образование). - Библиогр.: с. 260-265. - ISBN 978-5-534-13660-9 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/obschaya-biotehnologiya-474715#page/1
Постоянная гиперссылка
9.
А
Л 278


    Латыпова, Виктория Александровна.
    Методы поддержки принятия решений при управлении решением сложных открытых задач на основе интеллектуального анализа сообщений об ошибках [Текст] : автореф. дис. на соиск. ученой степ. канд. технич. наук. Спец. 05.13.10 - Управление в социальных и экономических системах / В. А. Латыпова ; науч. рук. В. В. Мартынов. - Уфа, 2021. - 17 с. : схемы. - Библиогр.: с. 15-16

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка
10.
Шифр: П004589/2021/12/3
   Журнал

Программная инженерия [Текст] : теоретический и прикладной научно-технический журнал/ Российская Академия Наук (М.), Отделение математических наук, Российская академия наук (М.), Отделение нанотехнологий и информационных технологий, Московский государственный университет (М.), Московский государственный технологический университет (М.), (М.). - М. : Новые технологии, сентябрь 2010 - . - ISSN 2220-3397. - Периодичность неизвестна
2021г. т.12 N 3 . - 4180.04, р.
Содержание:
Грибова, В. В. Разработка решателей задач на основе управляющих графов для систем с базами знаний / В. В. Грибова, В. А. Тимчено, Е. А. Шалфеева. - С.115-126
Кл.слова: инженерия программная, методология разработки программ, операции над информацией
Шелехов, В. И. Методы трансформации и дедуктивной верификации программы инвертирования списков / В. И. Шелехов. - С.127-139
Кл.слова: программирование функциональное, алгебраический тип данных, список односвязный
Паринов, С. И. Тематическое моделирование контекстов цитирований из научных публикаций: структура научного потребления автора / С. И. Паринов. - С.140-149
Кл.слова: проект Сиртек, топики, анализ наукометрический
Галатенко, А. В. Об одной модели безопасного функционирования компьютерных систем / А. В. Галатенко. - С.150-156
Кл.слова: автоматы конечные, языки регулярные, эксперименты кратные условные
Костенко, К. И. Инварианты ядра фундаментальной модели интеллектуальной системы / К. И. Костенко. - С.157-168
Кл.слова: формализм знаний, онтология, цель когнитивная
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
11.
004
Л 135


    Лаврищева, Екатерина Михайловна.
    Программная инженерия. Парадигмы, технологии и CASE-средства [Электронный ресурс] : учебник для вузов / Е. М. Лаврищева ; рец.: Н. С. Никитенко, М. М. Глибовец, С. А. Лукьяненко. - 2-е изд., испр. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл., схемы. - (Высшее образование). - Библиогр.: с. 275-280. - ISBN 978-5-534-01056-5 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/programmnaya-inzheneriya-paradigmy-tehnologii-i-case-sredstva-452156#page/1
Постоянная гиперссылка
12.
519
Р 650


    Розов, Алексей Константинович.
    Оптимальное управление стохастическими и детерминированными системами [Текст] : научное издание / А. К. Розов ; ред. Е. В. Шарова. - СПб. : Политехника, 2020. - 136 с. : рис. - (Прикладная математика). - Библиогр.: с. 135. - ISBN 978-5-7325-1156-7 : 284.46 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (5 экз.)
Свободны: счз1 (1), аунл (5)
Постоянная гиперссылка
13.
001
Г 703


    Горохов, Андрей Витальевич.
    Основы системного анализа [Электронный ресурс] : учебное пособие для вузов / А. В. Горохов ; рец.: В. Г. Наводнов, И. Г. Сидоркина ; Поволжский государственный технологический университет (Йошкар-Ола). - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line. - (Высшее образование). - Библиогр.: с. 138-139. - ISBN 978-5-534-09459-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/osnovy-sistemnogo-analiza-454041#page/1
Постоянная гиперссылка
14.
004
Ч-503


    Черткова, Елена Александровна.
    Программная инженерия. Визуальное моделирование программных систем [Электронный ресурс] : учебник для вузов / Е. А. Черткова ; рец. И. В. Ретинская. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., схемы. - (Высшее образование). - Библиогр. в конце разд. - Библиогр.: с. 146. - ISBN 978-5-534-09172-4 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/programmnaya-inzheneriya-vizualnoe-modelirovanie-programmnyh-sistem-452749#page/1
Постоянная гиперссылка
15.
004
А 579


    Альсова, Ольга Константиновна.
    Имитационное моделирование систем в среде ExtendSim [Электронный ресурс] : учебное пособие для вузов / О. К. Альсова ; рец.: В. М. Зыбарев, М. Г. Гриф. - 2-е изд. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл., граф., схемы. - (Высшее образование). - Библиогр.: с. 110-111. - ISBN 978-5-534-08248-7 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/imitacionnoe-modelirovanie-sistem-v-srede-extendsim-455293#page/1
Постоянная гиперссылка
16.
004
З-143


    Загорулько, Юрий Алексеевич.
    Искусственный интеллект. Инженерия знаний [Электронный ресурс] : учебное пособие для вузов / Ю. А. Загорулько, Г. Б. Загорулько ; рец. Ф. А. Мурзин ; Новосибирский государственный университет. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : ил. - (Высшее образование). - Библиогр.: с. 88-90. - ISBN 978-5-534-07198-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/iskusstvennyy-intellekt-inzheneriya-znaniy-455500#page/1
Постоянная гиперссылка
17.
004
Л 135


    Лаврищева, Екатерина Михайловна.
    Программная инженерия и технологии программирования сложных систем [Электронный ресурс] : учебник для вузов / Е. М. Лаврищева ; рец.: А. К. Петренко, И. Б. Петров ; Институт системного программирования РАН, Московский физико-технический институт (государственный университет). - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., схемы, табл. - (Высшее образование). - Библиогр.: с. 424. - ISBN 978-5-534-07604-2 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/programmnaya-inzheneriya-i-tehnologii-programmirovaniya-slozhnyh-sistem-452137#page/1
Постоянная гиперссылка
18.
005
К 841


    Круи, Мишель.
    Основы риск-менеджмента [Электронный ресурс] / М. Круи, Д. Галай, Р. Марк ; науч. ред. В. Б. Минасян = The essentials of risk management / M. Crouhy, D. Galai, R. Mark : учебное пособие. - Электрон. текстовые дан. - М. : Юрайт, 2019. - on-line : рис., табл. - (Бакалавр. Академический курс). - ISBN 978-5-534-02578-1 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/osnovy-risk-menedzhmenta-431722#page/1
Постоянная гиперссылка
19.
Шифр: В507988/2019/3
   Журнал

Вопросы защиты информации : научно-практический журнал/ Всероссийский НИИ межотраслевой информации (М.), Федеральный информационно-аналитический центр оборонной промышленности. - М. : ВИМИ, 1974 - . - ISSN 2073-2600. - Выходит ежеквартально
2019г. N 3 . - 2408.51, р.
Содержание:
Каннер, А. М. Разграничение доступа в Linux при использовании средства виртуализации kvm / А. М. Каннер. - С.3-7
Кл.слова: Аккорд-X, Аккорд-KVM, материалы
Оголюк, А. А. Обнаружение интернет-мошенничества с некоторой вероятностью / А. А. Оголюк, Т. С. Платонов, Н. М. Малкина. - С.8-13
Кл.слова: веб-приложение, атака, запрос
Москвитин, Г. И. Показатели эффективности обнаружения компьютерных атак в локальных вычислительных сетях общего назначения / Г. И. Москвитин, М. М. Тараскин. - С.14-17
Кл.слова: классификация, система, блок-схема
Конявская, С. В. Бесфакторная классификация аутентифицирующих данных / С. В. Конявская. - С.18-25
Кл.слова: фактор, метод, материалы
Молдовян, Д. Н. Протокол бесключевого шифрования на основе скрытой задачи дискретного логарифмирования / Д. Н. Молдовян. - С.26-32
Кл.слова: защита, информация, криптография
Капгер, И. В. Метод стеганографического встраивания цифровых водяных знаков в изображениях формата JPEG / И. В. Капгер, Ю. А. Диметренко, А. И. Капгер. - С.33-38
Кл.слова: ЦВЗ, автор, права
Василец, В. И. Вероятностный подход к априорной оценке защищенности информационной сферы промышленного производства, размещаемого в индустриальном парке РФ / В. И. Василец, В. Э. Скворцов. - С.39-42
Кл.слова: сигнал, носитель, энтропия
Карачанская, Е. В. Многофункциональный генератор паролей / Е. В. Карачанская, М. А. Костров. - С.43-48
Кл.слова: защита, надежность, алгоритм
Лукинова, О. В. О требованиях к компетенциям специалистов в области информационной безопасности в условиях цифровизации экономики / О. В. Лукинова. - С.49-54
Кл.слова: подготовка, инженерия, знание
Потехецкий, С. В. Проблемные вопросы подготовки кадров в сфере информационной безопасности / С. В. Потехецкий, И. В. Капгер. - С.55-58
Кл.слова: образование, система, деградация
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
20.
004
М 152


    Макаров, Сергей Львович.
    Arduino Uno и Raspberry Pi З: от схемотехники к интернету вещей [Электронный ресурс] : учебное пособие / С. Л. Макаров ; ред. Д. А. Мовчан ; рец.: Л. С. Восков, А. Колесников. - Электрон. текстовые дан. - М. : ДМК Пресс, 2019. - on-line : рис., схемы. - Библиогр.: с. 203-204. - ISBN 978-5-97060-730-5 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/116131/#1
Постоянная гиперссылка
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Статистика
за 26.06.2024
Число запросов 91138
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)