Полное описание
Батаев, А. В.
ГРНТИ УДК 55.47.29 629.73.05:681.3(043) 50.01.81 004.415.53(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар08-2653)
Шифр в сводном ЭК: fa9677cfb9703a864c58d5d47b5e4842
Синицын С. В. Операционные системы : выставочные материалы / С. В. Синицын, А. В. Батаев, Н. Ю. Налютин, 2013. - 297 с. - Текст : непосредственный. Синицын С.В. Операционные системы : выставочные материалы / С. В. Синицын, А. В. Батаев, Н. Ю. Налютин, 2012. - 297 с. - Текст : непосредственный. Батаев А.В. Операционные системы и среды : выставочные материалы / А. В. Батаев, Н. Ю. Налютин, С. В. Синицын, 2017. - 270 с. - Текст : непосредственный. Батаев А.В. Операционные системы и среды : учебник / А. В. Батаев, Н. Ю. Налютин, С. В. Синицын, 2019. - 269, [1] с. - Текст : непосредственный. Батаев А.В. Методы и средства генерации данных для тестирования встроенного бортлового программного обеспечения : автореф. дис. .. канд. техн. наук: 05.13.11 / А. В. Батаев, 2008. - 20 с. - Текст : непосредственный. Батаев А.В. Информатика. Методика создания баз данных в Microsoft Access : учеб. пособие / А. В. Батаев, 2006. - 91 с. - Текст : непосредственный. Батаев А.В. Методы принятия инвестиционно-финансовых программных решений в условиях определенности : учеб. пособие / А. В. Батаев, 2015. - 40 с. - Текст : непосредственный. Банковское дело. Интегрированная банковская система "БИСквит" : учеб. пособие / А. В. Батаев [и др.], 2006. - 108 с. - Текст : непосредственный. Синицын С.В. Операционные системы : учебник / С. В. Синицын, А. В. Батаев, Н. Ю. Налютин, 2010. - 296 с. - Текст : непосредственный. Батаев А.В. Операционные системы и среды : учебник / А. В. Батаев, Н. Ю. Налютин, С. В. Синицын, 2014. - 270 с. - Текст : непосредственный. Батаев А.В. Банковское дело, интегрированные банковские системы : учеб. пособие / А. В. Батаев, А. А. Поповский, 2006. - 80 с. - Текст : непосредственный. Батаев А.В. Биотехническая система управления инвалидным электротранспортным средством : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.09.03 / А. В. Батаев, 1996. - 18 с. - Текст : непосредственный. Батаев А.В. Информатика. Технологии баз данных в информационных экономических системах : учеб. пособие / А. В. Батаев, 2006. - 77 с. - Текст : непосредственный. Батаев А.В. Операционные системы и среды : учебник / А. В. Батаев, Н. Ю. Налютин, С. В. Синицын, 2015. - 270 с. - Текст : непосредственный. Батаев А.В. Операционные системы и среды : учебник / А. В. Батаев, Н. Ю. Налютин, С. В. Синицын, 2016. - 270 с. - Текст : непосредственный. Батаев А.В. Операционные системы и среды : учебник / А. В. Батаев, Н. Ю. Налютин, С. В. Синицын, 2018. - 270 с. - Текст : непосредственный. Скрипкин А.А. Вопросы общей теории центровки самолетов на примере самолетов ЯК-40 и ЯК-42 / А. А. Скрипкин, А. А. Скрипкин, 2014. - 182 с. - Текст : непосредственный. Никольский Б.А. От длинной линии к антенне : выставочные материалы / Б. А. Никольский, 2014. - 97 с. - Текст : непосредственный. Реконструкция сетей авиационной связи. Анализ, синтез и развитие / В. В. Лазарев, Г. Т. Манабаев, М. Н. Носов, А. И. Лубневский, 1991. - 185 с. - Текст : непосредственный. Демченко В.В. Системы жизнеобеспечения экипажей летательных аппаратов / В. В. Демченко, 1992. - 43 с. - Текст : непосредственный. Меркулов В.И. Авиационные системы радиоуправления : монография / В. И. Меркулов, В. Н. Лепин, 1997. - 391 с. - Текст : непосредственный. Методы параметрической оптимизации САУ. Сборник задач по курсу "Теория оптимальных систем управления" / Е. С. Белова, Г. В. Войнич, Г. Н. Лебедев, А. Н. Новиков ; Ред. Г. Н. Лебедев, 1993. - 44 c. - Текст : непосредственный. Щербинин В.В. Построение инвариантных корреляционно-экстремальных систем навигации и наведения летательных аппаратов / В. В. Щербинин, 2011. - 231 с. - Текст : непосредственный. Теория моделирования в контрольно-испытательных работах в производстве бортовых систем летательных аппаратов / В. А. Андреев, В. И. Круглов, А. В. Чернышев, А. Л. Чернышев, 1989. - 80 с. - Текст : непосредственный. Вахитов А.Ф. Вертолет Ка-26, 1973. - 167 с. - Текст : непосредственный. Donaldson B.K. Analysis of aircraft structures : монография / B. K. Donaldson, 1993. - XL,935 p. p. - Текст : непосредственный. Марьин Б.Н. Разработка и исследование высокоэффективных технологических процессов деформирования раздачей трубчатых заготовок : специальность 01.02.04 "Механика деформируемого твердого тела" : автореферат диссертации на соискание ученой степени д-ра техн. наук / Б. Н. Марьин, 1998. - 44 с. - Текст : непосредственный. Вопросы авионики : тр. ГосНИИАС / Гос. НИИ авиац. систем. Вып. 1(21), 2015. - 59 с. - Текст : непосредственный. Коверзнев Е.А. Навигационное обеспечение поисково-спасательных работ в местности со сложным рельефом на базе спутниковых и автономных средств навигации : специальность 05.22.13 "Навигация и управление воздушным движением" : диссертация на соискание ученой степени канд. техн. наук / Е. А. Коверзнев, 2006. - 19 с. - Текст : непосредственный. Ахметов М.И. Синтез бортовых информационно-управляющих систем с параллельной архитектурой / М. И. Ахметов, 2006. - 16 с. - Текст : непосредственный. Самышева Е.Ю. Синтез разрывных управлений и их гиперплоскостей переключений с учетом неопределенных возмущений / Е. Ю. Самышева, 2007. - 17 с. - Текст : непосредственный. Чан Н.К. Релейно-линейное управление самонаведением летательного аппарата на маневрирующий объект при прогнозе его движения / Н. К. Чан, 2007. - 16 с. - Текст : непосредственный. Проектирование приборных комплексов и систем : сборник научных трудов / Ленинградский ин-т авиационного приборостроения, 1989. - 138 с. - Текст : непосредственный. Санников В.А. Математические модели стабилизации движения летательных аппаратов / В. А. Санников, А. С. Шалыгин, 1989. - 90 с. - Текст : непосредственный. Теория и практика применения и совершенствования авиационного оборудования : сборник научных трудов / Московский ин-т инженеров гражданской авиации, 1990. - 116 с. - Текст : непосредственный. Авиационная электротехника. Цепи с несинусоидальными токами. Анализ переходных процессов в цепях классическим методом, 1988. - 88 с. - Текст : непосредственный. Показать все результаты Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Посыпкин М.А. Применение формальных методов для тестирования компиляторов : специальность 05.19.11 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный. Семенова Е.Г. Методология алгоритмизации управления и моделирования процессов оптимизации конструкционно-технологических параметров бортовых комплексов : специальность 05.13.06 "Автоматизация и управление технологическими процессами и производствами(по отраслям)", 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени д-ра техн. наук / Е. Г. Семенова, 2004. - 50 с. - Текст : непосредственный. Голубев А.А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный. Вигура А.Н. Модели и методы тестирования программных систем на основе алгебраического подхода / А. Н. Вигура, 2013. - 24 с. - Текст : непосредственный. Жуликова Н.А. Моделирование бортовых информационно-измерительных систем с использованием сетей Петри-Маркова : специальность 05.11.16 "Информационно-измерительные и управляющие системы (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / Н. А. Жуликова, 2003. - 20 с. - Текст : непосредственный. Kim S.H. Impact of device level faults in a digital avionic processor : сборник научных трудов / S. H. Kim, 1989. - 55 мкфш. - Текст : непосредственный. Сапаров И.Б. Аэрометрические преобразователи информационно-управляющих систем летательных аппаратов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд.техн.наук / И. Б. Сапаров, 1996. - 21 с. - Текст : непосредственный. Полухин П.В. Байесовские модели и алгоритмы управления процессом тестирования веб-приложений методом фаззинга / П. В. Полухин, 2016. - 18 с. - Текст : непосредственный. Воинов Н.В. Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы / Н. В. Воинов, 2011. - 22 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Федотов А.Н. Разработка метода оценки эксплуатируемости программных дефектов / А. Н. Федотов, 2017. - 24 с. - Текст : непосредственный. Морин Е.В. Совершенствование информационного обеспечения испытательных центров и лабораторий в ходе сертификации программных средств / Е. В. Морин, 2018. - 31 с. - Текст : непосредственный. Сафин Л.К. Автоматический статический анализ программных систем, записанных на языках программирования семейства C / Л. К. Сафин, 2018. - 19 с. - Текст : непосредственный. Дудина И.А. Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения : специальность 05.13.11 - "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей": автореферат диссертации на соискание ученой степени кандидата физико-математических наук / И. А. Дудина, 2019. - 26 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
