Полное описание
Тихомиров, В. А.
ГРНТИ УДК 50.41 004.416.6(043) 004.415.5(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар09-8037)
Шифр в сводном ЭК: b4575c87be80c482b4a97290c7ca2900
Основы научной работы и методология диссертационного исследования / Г. И. Андреев, В. В. Барвиненко, В. С. Верба [и др.], 2012. - 295 с. - Текст : непосредственный. Ершова Е.А. Физические основы электроники : выставочные материалы / Е. А. Ершова, И. В. Ходыкина, В. А. Тихомиров, 2015. - 170 с. - Текст : непосредственный. Тихомиров В.А. Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / В. А. Тихомиров, 2009. - 19 с. - Текст : непосредственный. Тихомиров В.А. Разработка простейших приложений для мобильных устройств : выставочные материалы / В. А. Тихомиров, 2013. - 133 с. - Текст : непосредственный. Основы управления предприятием : Учеб. пособие / Г.И. Андреев, В.И. Волчихин, В.А. Миронов, В.А. Тихомиров. Кн. 2 : Модели и методы управления в условиях неопределенности / Г. И. Андреев [и др.], 2006. - 301 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Андреев Г.И. Основы теории принятия решений : монография / Г. И. Андреев, П. А. Созинов, В. А. Тихомиров, 2017. - 643 с. - Текст : непосредственный. Петрова А.Н. Проектирование баз данных : учебное пособие / А. Н. Петрова, В. Е. Степаненко ; Ред. В. А. Тихомиров, 2018. - 103 с. - Текст : непосредственный. Тихомиров В.А. Операционные системы и сети : лаб. практикум / В. А. Тихомиров, 2016. - 117 с. - Текст : непосредственный. Интеллектуальная собственность: управление на всех этапах жизненного цикла / А. А. Абрамян, Г. И. Андреев, В. А. Солодовников, В. А. Тихомиров, 2007. - 354 с. - Текст : непосредственный. Волчихин В.И. Концепция информационно-вероятностного подхода в теории принятия решений : Учеб. пособие для студентов по спец. "Роботы и робототехн. системы" и "Автономн. информ. и управляющие системы" / В. И. Волчихин, А. И. Годунов, В. А. Тихомиров, 2000. - 204 с. - Текст : непосредственный. Оценка интеллектуальной собственности : Учеб.пособие / С.А.Смирнов,Г.И.Андреев,В.В.Витчинка,В.А.Тихомиров;Под ред.С.А.Смирнова, 2002. - 351 с. - Текст : непосредственный. Показать все результаты Баженова И.Ю. 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 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. П. Былинович, 1998. - 23 с. - Текст : непосредственный. Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный. Поляков С.Д. Разработка нормативно-методического и информационного обеспечения процесса сертификации программной продукции : специальность 05.02.23 "Стандартизация и управление качеством продукции" : диссертация на соискание ученой степени канд. техн. наук / С. Д. Поляков, 2007. - 22 с. - Текст : непосредственный. Тихомиров В.А. Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / В. А. Тихомиров, 2009. - 19 с. - Текст : непосредственный. Кузьмин Е.В. Алгоритмические свойства формальных моделей параллельных и распределенных систем : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени д-ра физ.-мат. наук / Е. В. Кузьмин, 2011. - 43 с. - Текст : непосредственный. Суркова А.С. Концептуальный анализ, принципы моделирования и оптимизация алгоритмов синтеза текстовых структур / А. С. Суркова, 2017. - 39 с. - Текст : непосредственный. Мордань В.О. Методы верификации программ на основе композиции задач достижимости / В. О. Мордань, 2017. - 26 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Ермаков А.Д. Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации / А. Д. Ермаков, 2017. - 20 с. - Текст : непосредственный. Морозов С.А. Метод оценки и средства улучшения качества программно-аппаратных комплексов центров хранения и обработки данных / С. А. Морозов, 2018. - 17 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
