Полное описание
> Хорошилов, А. В. Спецификация и тестирование компонентов с асинхронным интерфейсом : автореф. дис. ... канд. физ.-мат. наук: 05.13.11 / А. В. Хорошилов. - М., 2006. - 21 с. : ил. - Библиогр.: с. 21 (5 назв.). - Текст : непосредственный. В надзаг.: Рос. АН, Ин-т систем. программирования
ГРНТИ УДК 50.41 004.415.53(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар06-7716)>
Шифр в сводном ЭК: 531190ba4a6b68282a11056748bd164f
Состояние и развитие корпоративной информационно-вычислительной системы Госкомстата России / В. П. Божко, А. Д. Гулидов, Е. В. Пряхина, А. В. Хорошилов, 2003. - 105 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Моделирование и верификация политик безопасности управления доступом в операционных системах / П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин [и др.], 2019. - 215 с. - Текст : непосредственный. Заболотская К.А. Проблемы безопасности шахтерского труда и оказание экстренной медицинской помощи пострадавшим в авариях работникам угольной промышленности Кузбасса (XX в. - первое десятилетие XXI) / К. А. Заболотская, Л. С. Хорошилова, А. В. Хорошилов, 2012. - 158 с. - Текст : непосредственный. Семенова И.В. Коррозия и защита от коррозии : учеб. пособие / И. В. Семенова, Г. М. Флорианович, А. В. Хорошилов, 2006. - 371 с. - Текст : непосредственный. Хорошилов А.В. Оптимальные условия концентрирования 15N азотнокислотным способом разделения изотопов азота при химическом равновесии фаз : автореф. дис. .. канд. хим. наук: 05.17.01 / А. В. Хорошилов, 2007. - 19 с. - Текст : непосредственный. Хорошилов А.В. Современное состояние и перспективы привлечения прямых иностранных инвестиций в экономику России и Китая : автореф. дис. .. канд. экон. наук: 08.00.14 / А. В. Хорошилов, 2003. - 29 с. - Текст : непосредственный. Чередниченко С.А. Аппаратурное оформление исследований процессов тонкого разделения и изучение гидродинамики противоточных колонн : учеб. пособие / С. А. Чередниченко, А. В. Хорошилов, 2014. - 95 с. - Текст : непосредственный. Хорошилов А.В. Фазовые превращения YaBabCucO в интервале температур 1070-1320 К : Автореферат диссертации на соискание ученой степени канд.хим.наук:02.00.04 / А. В. Хорошилов, 1997. - 22 с. - Текст : непосредственный. Чередниченко С.А. Термодинамика и массообмен в процессах тонкого разделения в противоточных колоннах : учеб. пособие / С. А. Чередниченко, А. В. Хорошилов, 2014. - 67 с. - Текст : непосредственный. Предметно-ориентированные экономические информационные системы : учебник / В. П. Божко [и др.]; Под ред. В. П. Божко, А. В. Хорошилова, 2007. - 223 с. - Текст : непосредственный. Хорошилов А.В. Управление информационными ресурсами : учебник / А. В. Хорошилов, С. Н. Селетков, Н. В. Днепровская, 2006. - 270 с. - Текст : непосредственный. Семенова И.В. Коррозия и защита от коррозии / И. В. Семенова, Г. М. Флорианович, А. В. Хорошилов, 2002. - 334 с. - Текст : непосредственный. Введение в информационный бизнес : Учеб.пособие для вузов по направлению "Информ.системы в экономике" и спец."Мировая экономика" / О.В.Голосов,С.А.Охрименко,А.В.Хорошилов и др.;Под ред.В.П.Тихомирова,А.В.Хорошилова, 1996. - 239 c. - Текст : непосредственный. Хорошилова Л.С. Экологические основы природопользования : учеб. пособие / Л. С. Хорошилова, А. В. Аникин, А. В. Хорошилов, 2012. - 195 с. - Текст : непосредственный. Хорошилов А.В. Спецификация и тестирование компонентов с асинхронным интерфейсом : автореф. дис. .. канд. физ.-мат. наук: 05.13.11 / А. В. Хорошилов, 2006. - 21 с. - Текст : непосредственный. Семенова И.В. Опыт внедрения новых конструкций котлов-реакторов в технологию "Haldor Tohsoe" - WSA ("Хальдор Топсе" - ВСА, Дания) для утилизации отходов НПЗ / И. В. Семенова, А. В. Хорошилов, Д. Г. Суровяткина. - Текст : непосредственный // Нестационарные, энерго- и ресурсосберегающие процессы и оборудование в химической, нано- и биотехнологии (НЭРПО-2013). - М. : Изд-во МГОУ, 2013. - с. 261-264 Семенова И.В. Идентификация компонентов шламовых осадков / И. В. Семенова, А. В. Хорошилов, М. В. Тимофеев. - Текст : непосредственный // Энергосбережение и водоподготовка. - М. - 2015. - № 2. - с. 59-62 Семенова И.В. Разновидности соединений кремния в воде / И.В. Семенова, А.В. Хорошилов. - Текст : непосредственный // Известия Академии промышленной экологии. - М. - 2006. - № 4. - с. 14-19 Показать все результаты Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Посыпкин М.А. Применение формальных методов для тестирования компиляторов : специальность 05.19.11 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный. Голубев А.А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный. Вигура А.Н. Модели и методы тестирования программных систем на основе алгебраического подхода / А. Н. Вигура, 2013. - 24 с. - Текст : непосредственный. Полухин П.В. Байесовские модели и алгоритмы управления процессом тестирования веб-приложений методом фаззинга / П. В. Полухин, 2016. - 18 с. - Текст : непосредственный. Воинов Н.В. Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы / Н. В. Воинов, 2011. - 22 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Федотов А.Н. Разработка метода оценки эксплуатируемости программных дефектов / А. Н. Федотов, 2017. - 24 с. - Текст : непосредственный. Морин Е.В. Совершенствование информационного обеспечения испытательных центров и лабораторий в ходе сертификации программных средств / Е. В. Морин, 2018. - 31 с. - Текст : непосредственный. Сафин Л.К. Автоматический статический анализ программных систем, записанных на языках программирования семейства C / Л. К. Сафин, 2018. - 19 с. - Текст : непосредственный. Дудина И.А. Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения : специальность 05.13.11 - "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей": автореферат диссертации на соискание ученой степени кандидата физико-математических наук / И. А. Дудина, 2019. - 26 с. - Текст : непосредственный. Базин А.С. Разработка моделей и алгоритмов тестирования программных комплексов на основе принципа декомпозиции : автореф. дис. .. канд. техн. наук: 05.13.01 / А. С. Базин, 2012. - 23 с. - Текст : непосредственный. Батаев А.В. Методы и средства генерации данных для тестирования встроенного бортлового программного обеспечения : автореф. дис. .. канд. техн. наук: 05.13.11 / А. В. Батаев, 2008. - 20 с. - Текст : непосредственный. Фофанов В.А. Внешнее тестирование интерфейсных библиотек (на примере интерфейса ASIS) : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. А. Фофанов, 2000. - 15 с. - Текст : непосредственный. Благодаренко А.В. Разработка метода, алгоритмов и программ для автоматического поиска уязвимостей программного обеспечения в условиях отсутствия исходного кода : автореф. дис. .. канд. техн. наук: 05.13.19 / А. В. Благодаренко, 2011. - 24 с. - Текст : непосредственный. Гриппа Г.Л. Автоматизация тестирования программных приложений методом ключевых состояний : автореф. дис. .. канд. техн. наук: 05.13.11 / Г. Л. Гриппа, 2006. - 18 с. - Текст : непосредственный. Никифорова Н.Ю. Разработка и исследование методов и средств структурных испытаний программ : автореф. дис. .. канд. техн. наук: 05.13.11 / Н. Ю. Никифорова, 2003. - 18 с. - Текст : непосредственный. Моисеев М.Ю. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа : автореф. дис. .. канд. техн. наук: 05.13.11 / М. Ю. Моисеев, 2011. - 18 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽